Abstract
Enterprise modelling contributes to understand enterprise structure by providing an explicit description of enterprise processes. Among many key issues in an engineering project, formalisation appears to be a suitable technique to check the global consistency between all the various specifications a system is intended to cover. This paper deals with the use of UML semantics representa-tion by means of stereotypes and OCL invariant formalisation to cope with a global consistency of the UML definition.
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
References
Abrial J.R. (1996), The B Book: Assigning Programs to Meanings. Cambridge Univ. Press. AMICE, (1993), CIMOSA: Open System Architecture for CIM,Springer-Verlag.
CEN, (1995), European Pre-Standard ENV 12204, Advanced Manufacturing Technology, Systems Architecture, Constructs for Enterprise Modelling, TC 310/WGI (currently under revision).
IFAC/IFIP Task Force (2001), “Architectures for Enterprise Integration”,UEML Interest Group.
ISO 10303, (1994), STEP, Standard for the Exchange of Product Model data,TC 184 SC4.
Kosanke, K. Vemadat F.B. Zelm, M. (1999), CIMOSA enterprise engineering and integra-tion, Computers in Industry, Volume 40, Issues 2–3, Pages 83–97.
MOF Specifications, (1997), Joint Revised Submission, OMG Document ad
Panetto H. Mayer F. Lhoste P. (2000), Unified Modeling Language for meta–modelling: to–wards constructs definitions,Proceedings of AS1’2000, ISBN 960–530–050–8.
sNets Formalism, (1998), technical report, LRGS, Université de Nantes.
UML 1.4, (2001), Unified Modeling Language,Object Management Group standard.
Vemadat, F.B. (1998), The CIMOSA languages, Handbook of Information Systems. P. Ber-nus, K Mertins and G. Schmidt ( Eds. ), 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
Panetto, H. (2003). UML Semantics Representation of Enterprise Modelling Constructs. 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_38
Download citation
DOI: https://doi.org/10.1007/978-0-387-35621-1_38
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5151-2
Online ISBN: 978-0-387-35621-1
eBook Packages: Springer Book Archive