Abstract
The design of complex technical system invariably involves multiple domain-specific languages to cover the many different facets of such systems. However, unless the languages are designed to be used in combination, this typically leads to conflicting specifications that are difficult to reconcile due to the ontological and other differences between the languages used. In this paper, we describe a pragmatic but systematic approach to resolving this problem for the special but common case in which the domain-specific languages are all defined as UML profiles.
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
Object Management Group: Semantics of a Foundational Subset for Executable UML Models - Beta2 - ptc/2009-10-05 (2009), http://www.omg.org/spec/FUML/1.0/Beta2/
Selic, B.V.: On the semantic foundations of standard UML 2.0. In: Formal Methods for the Design of Real-Time Systems, pp. 181–199 (2004)
Ullmann, S.: Semantics: an introduction to the science of meaning. Barnes & Noble (1962)
Object Management Group: Object Constraint Language (OCL) - Version 2.0 - formal/2006-05-01 (2006), http://www.omg.org/spec/OCL/2.0/
Guarino, N.: Formal Ontology and Information Systems (1998)
Guizzardi, G.: On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models. In: Databases and information systems IV: selected papers from the Seventh International Baltic Conference, DB&IS 2006. p. 18. Ios Pr. Inc. (2007)
Baader, F., Calvanese, D., McGuinness, D.L., Patel-Schneider, P., Nardi, D.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2003)
ISO/IEC: ISO/IEC 24707 - Information technology - Common Logic (CL): a framework for a family of logicbased languages (2007)
Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems - Version 1.0 - formal/2009-11-02 (2009), http://www.omg.org/spec/MARTE/1.0/
Object Management Group: OMG Systems Modeling Language (OMG SysML) - Version 1.1 - formal/2008-11-01 (2008), http://www.omg.org/spec/SysML/1.1/
Web Ontology Language (OWL), http://www.w3.org/2004/OWL/
Object Management Group: Ontology Definition Metamodel (ODM) - Version 1.0 - formal/2009-05-01 (2009), http://www.omg.org/spec/ODM/1.0/
Espinoza, H., Cancila, D., Selic, B., Gérard, S.: Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems. In: Model Driven Architecture-Foundations and Applications, pp. 98–113. Springer, Heidelberg (2009)
ATESST: EAST-ADL 2.0 Specification (2008)
ATLAS Transformation Language (ATL), http://www.eclipse.org/m2m/atl/
Object Management Group: MOF 2.0 Query/View/Transformation Specification (QVT) - Version 1.0 - formal/08-04-03 (2008), http://www.omg.org/spec/QVT/1.0/
Euzenat, J.: An API for ontology alignment. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 698–712. Springer, Heidelberg (2004)
Kappel, G., Kargl, H., Kramler, G., Schauerhuber, A., Seidl, M., Strommer, M., Wimmer, M.: Matching metamodels with semantic systems-an experience report. In: BTW 2007 Workshop Model Management und Metadaten-Verwaltung, Aachen (2007)
Ciocoiu, M., Nau, D.S.: Ontology-based semantics. In: Principles of Knowledge Representation and Reasoning - International Conference, pp. 539–546 (2000)
NIST: ISO 18629-11 - Process Specification Language, PSL (2005)
Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE (2002)
Niles, I., Pease, A.: Towards a standard upper ontology. In: FOIS 2001. ACM, New York (2001)
Noy, N.F., Musen, M.A.: The PROMPT suite: interactive tools for ontology merging and mapping. International Journal of Human-Computer Studies, 983–1024 (2003)
Del Fabro, M.D., Bézivin, J., Valduriez, P.: Weaving Models with the Eclipse AMW plugin. In: Eclipse Modeling Symposium, Eclipse Summit Europe (2006)
Garcés, K., Jouault, F., Cointe, P., Bézivin, J.: A domain specific language for expressing model matching. In: IDM 2009 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Noyrit, F., Gérard, S., Terrier, F., Selic, B. (2010). Consistent Modeling Using Multiple UML Profiles. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds) Model Driven Engineering Languages and Systems. MODELS 2010. Lecture Notes in Computer Science, vol 6394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16145-2_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-16145-2_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16144-5
Online ISBN: 978-3-642-16145-2
eBook Packages: Computer ScienceComputer Science (R0)