Abstract
The paper is a response to the call for a common underlying domain theory to address the mismatch between syntax and semantics of enterprise modelling languages. To this end, we propose categorical morphisms of object interactions as a strong candidate theory on which all modelling constructs can potentially be mapped. Implications of such a framework are fundamental properties of models such as genericity of modelling, modelling environments and model correctness. Semantics of particular modelling languages and architectures can be obtained as specialisations of the general theory. Basic features of CIMOSA are derived as an example.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35621-1_43
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bernus, P. Nemes, L. Morris, R. (1996), “The meaning of an Enterprise Model”, in Bernus, Nemes, ( Eds. ), Modelling and Methodologies for Enterprise Integration
Chapman and Hall. CEN (1995), ENV 12204, “Constructs for Enterprise Modelling” TC 310/WG1.
CIMOSA Association, (1996), “CIMOSA, Technical Baseline”,private publication.
Ehrich, H.D. Goguen, J.A. Sernadas, A. (1990), “A Categorial Theory of Objects as Observed Processes”,in Foundations of Object-Oriented Languages, REX School/Workshop Proceedings.
Goranson, H.T. (1997), “ICEIMT in Perspective — 92 to 97”,in Enterprise Engineering and Integration, Proceedings of ICEIMT’97, Springer-Verlag.
Goranson, H.T. (Ed.) Huhns. M, Nell, J.G. Panetto, H. Tormo Carb6, G. Wunram, M. (2002), “A Merged Future for Knowledge Management and Enterprise Modeling”,this conf.
Hoare, C.A.R., (1985), “Communicating Sequential Processes”
Prentice-Hall. Hollocks, B.W. (Ed), Goranson H.T., Shorter D.N., Vernadat F.B. (1997), “Assessing Enter-prise Integration for Competitive Advantage — Workshop 2, Working Group I ”,in Enter-prise Engineering and Integration, Proceedings of ICE1MT’97, Springer-Verlag.
Kotsiopoulos, I.L. (1993), “Theoretical aspects of CIMOSA modelling”,CIM Europe Con-ference, Amsterdam, in Kooij C., MacConaill, P.A., Bastos J. (Eds.),“Realising C1M’s in-dustrial potential”, IOS PRESS.
Kotsiopoulos, I.L. (1996), “Objects and Environments in Dynamic CIMOSA Models”, in Bernus, P. Nemes, L. (Eds.), “Modelling and Methodologies for Enterprise Integration”, IFIP TC5 Working Conference on Modelling and Methodologies for Enterprise Integra-tion, IFIP/IFAC Task Force, Heron Island, Australia, Chapman and Hall.
Kotsiopoulos, I.L. (1999), “Railway Operating Procedures: Regulating a Safety-Critical Enterprise”,Computers in Industry, 40.
Kotsiopoulos, I.L. (Ed.), Engel, T. Jaekel, F-W. Kosanke, K. Mendez, J-C. Ortiz Bas, A. Petit
Raynaud, P. (2002), “Steps in Enterprise Modelling — A Roadmap”,this conference.
Petit M (Ed.), Goossenaerts, J. Gruninger, M. Nell, J.G. Vernadat, F.B. (1997), “Formal Se-mantics of Enterprise Models — Workshop 4, Working Group 2”,in Enterprise Engineer-ing and Integration, Proceedings of ICEIMT’97, Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Kotsiopoulos, I.L. (2003). Language Semantics. In: Kosanke, K., Jochem, R., Nell, J.G., Bas, A.O. (eds) Enterprise Inter- and Intra-Organizational Integration. ICEIMT 2002. IFIP — The International Federation for Information Processing, vol 108. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35621-1_39
Download citation
DOI: https://doi.org/10.1007/978-0-387-35621-1_39
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5151-2
Online ISBN: 978-0-387-35621-1
eBook Packages: Springer Book Archive