Abstract
The paper provides a summary of the discussions held in a working group during ICEIMT Workshop 4 (Enterprise Integration Principles and Fundamentals). The topic of the working group was “Formal Semantics of Enterprise Models”. In the paper, we suggest that enterprise integration is currently hindered by shortcomings of enterprise modelling languages (section 1), that a better language should be defined and that its semantics should be defined in terms of a formal theory (section 2). The paper concludes with two proposals for research and standardisation projects (section 3).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
CENENV 12 204: Computer-Integrated Manufacturing - Systems Architecture. - Constructs for Enterprise Modelling. CEN/CENELEC, Brussels, December 1995.
F. Vemadat, Enterprise modelling languages, These Proceedings, 1997.
Mark S. Fox and Michael Gruninger, Ontologies for Enterprise Integration, in Proc. of the 2nd Int. Conf. on Cooperative Information Systems (CoopIS’94), pp. 82–89, Michael Brodie and Mathias Jarke and Michael Papazoglou, Eds, University of Toronto, 1994.
Laresgoiti I., Anjewierden A., Bernaras A., Corera J., Schreiber A.Th. and Wielinga B.J., Ontologies as Vehicles for Reuse: a mini-experiment, in Proceedings of Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW’96), Banff, Alberta, Canada, November 9–14, 1996.
Giorgio Bruno and Rakesh Agarwal, Making CIMOSA operational, in Proc. of the European Workshop on integrated manufacturing systems engineering (IMSE’94), Grenoble, December 12–14, 1994.
S.P. Reid and S.K. Banerjee, A supporting Enterprise Infrastructure Using STEP Technologies, In Information Infrastructure Systems for Manufacturing, Goosenaerts, Kimura and Wortmann, Eds, Chapman & Hall, 1997.
Ashley McClenaghan, Distributed Systems: Architecture Driven Specification using Extended LOTOS, PhD thesis, Technical Report CSM-120, Dep. of CS and Mathematics, University of Stirling, December 1993.
Eric Dubois and Michael Petit, Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA, in Proc. of the European Workshop on integrated manufacturing systems engineering (IMSE’94), Grenoble, December 12–14, 1994.
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
Petit, M., Goossenaerts, J., Gruninger, M., Nell, J.G., Vernadat, F.B. (1997). Formal Semantics of Enterprise 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_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-60889-6_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63402-7
Online ISBN: 978-3-642-60889-6
eBook Packages: Springer Book Archive