Consistent modeling using multiple UML profiles

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6394 LNCS, Issue PART 1, 2010, Pages 392-406

  Noyrit, Florian ^a   Gérard, Sébastien ^a   Terrier, François ^a   Selic, Bran ^b  

^a DIF   (France)

^b Malina Software Corp   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX TECHNICAL SYSTEMS; DOMAIN SPECIFIC LANGUAGES; MULTIPLE DOMAINS; UML PROFILES;

PROBLEM ORIENTED LANGUAGES; UNIFIED MODELING LANGUAGE;

MODELS;

EID: 78349294609     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16145-2_27     Document Type: Conference Paper

References (25)

1. 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/
2. 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)
3. Ullmann, S.: Semantics: an introduction to the science of meaning. Barnes & Noble (1962)
4. Object Management Group: Object Constraint Language (OCL) - Version 2.0 - formal/2006-05-01 (2006), http://www.omg.org/spec/OCL/2.0/
5. Guarino, N.: Formal Ontology and Information Systems (1998)
6. 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)
7. 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)
8. ISO/IEC: ISO/IEC 24707 - Information technology - Common Logic (CL): a framework for a family of logicbased languages (2007)
9. 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/
10. 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/
11. Web Ontology Language (OWL), http://www.w3.org/2004/OWL/
12. Object Management Group: Ontology Definition Metamodel (ODM) - Version 1.0 - formal/2009-05-01 (2009), http://www.omg.org/spec/ODM/1.0/
13. 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)
14. ATESST: EAST-ADL 2.0 Specification (2008)
15. ATLAS Transformation Language (ATL), http://www.eclipse.org/m2m/atl/
16. 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/
17. 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)
18. 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)
19. Ciocoiu, M., Nau, D.S.: Ontology-based semantics. In: Principles of Knowledge Representation and Reasoning - International Conference, pp. 539-546 (2000)
20. NIST: ISO 18629-11 - Process Specification Language, PSL (2005)
21. Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., Schneider, L.: Sweetening ontologies with DOLCE (2002)
22. Niles, I., Pease, A.: Towards a standard upper ontology. In: FOIS 2001. ACM, New York (2001)
23. 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)
24. Del Fabro, M.D., Bézivin, J., Valduriez, P.: Weaving Models with the Eclipse AMW plugin. In: Eclipse Modeling Symposium, Eclipse Summit Europe (2006)
25. Garcés, K., Jouault, F., Cointe, P., Bézivin, J.: A domain specific language for expressing model matching. In: IDM 2009 (2009)