Abstract
An operational semantics is defined for enterprise formulae (EF) -a language for specifying enterprise models- and artefact possible lives models (APLM) -a language for specifying product (life cycle) models-. The semantics is explained by means of the MiViPoRo framework. The conceptual background for the paper is drawn from early definitions of syntax and semantics, and from work on the operational semantics of programming languages. The operational semantics of EF and APLM involves the possible flows of proxies in a network of cells.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Goossenaerts, J., Gruninger, M., Nell, J.G., Petit, M., Vernadat, F., Formal semantics of Enterprise Models, Workshop 4, working Group2, Part I of this volume.
Goossenaerts, J., Enterprise Formulae and Information Infrastructures for Manufacturing. In: Yoshikawa, H., Goossenaerts, J. (eds.): Information Infrastructure Systems for Manufacturing, IFIP Transactions B-14, Ellesmere Science B.V. (North Holland), Amsterdam, 1993.
Goossenaerts, J., A Framework for Connecting Work and Information Infrastructure. In: Goossenaerts, J., Kimura, F., Wortmann, J.C. (eds): Information Infrastructure Systems for Manufacturing, Chapman & Hall, 1997.
Morris, C.W., Foundations of the Theory of Signs. University of Chicago Press, Chicago, 1938.
Tarski, A., Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica, (1, pp.261–405), 1936. English translation by Woodger, J.H.: The Concept of Truth in Formalized Languages. in: Tarski, A., Logic, Semantics, Meta-mathematics.s papers from 1923 to 1938, The Clarendon Press, Oxford, 1956.
Kripke, S.A., Semantical Analysis of Modal Logic I, Normal Propositional Calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9 (pp. 67–96) 1963.
Cousot, P., Methods and logic for Proving Programs. In: J. van Lewes, Handbook of Theoretical Computer Science, Volume B, Ellesmere, Amsterdam & The MIT Press, Cambridge, Massachusetts, 1990.
Schemer, A.-W., Business Process Engineering - Reference Models for Industrial Enterprises, Springier Overflag, Berlin, 1994.
Goossenaerts, J., Björner, D., Inter-flow systems for manufacturing: concepts and a construction. In: Ladet, P., Vernadat, F.B. (eds): Integrated Manufacturing Systems Engineering, Chapman&Hall, London, England,1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 ECSC-EC-EAEC, Brussels-Luxembourg
About this chapter
Cite this chapter
Goossenaerts, J. (1997). Proxy Possible Flow Semantics for Enterprise Formulae and Artefact Possible Lives Models. In: Kosanke, K., Nell, J.G. (eds) Enterprise Engineering and Integration. Research Reports Esprit. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60889-6_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-60889-6_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63402-7
Online ISBN: 978-3-642-60889-6
eBook Packages: Springer Book Archive