Abstract
To cope with the complexity of large systems, one usually makes use of hierarchical structures in their models. To detect and to remove design errors as soon as possible, these models must be analyzed in early stages of the development process. For example, UML models can be analyzed through simulation using the semantics of a foundational subset for executable UML models (fUML). However, the composite structures used to describe the hierarchy of systems in UML is not covered by fUML. In this paper, we therefore propose a complementary meta-model for fUML covering parts of UML’s composite structures, and elaborate the rules previously defined in the literature for static semantics. These rules are described in an axiomatic way using first-order logic so that a large set of tools can be used for analysis. Our preliminary evaluation provides results about the applicability of the meta-model and the soundness of the rules.
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
Bock, C.: UML 2 Composition Model. Journal of Object Technology 3(10), 47–73 (2004)
Cuccuru, A., Gérard, S., Radermacher, A.: Meaningful composite structures. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 828–842. Springer, Heidelberg (2008)
International Organization for Standardization (ISO): Information technology - Common Logic (CL): a framework for a family of logic-based languages (2007)
Ober, I., Dragomir, I.: Unambiguos UML Composite Structures: The OMEGA2 Experience. In: Černá, I., Gyimóthy, T., Hromkovič, J., Jefferey, K., Králović, R., Vukolić, M., Wolf, S. (eds.) SOFSEM 2011. LNCS, vol. 6543, pp. 418–430. Springer, Heidelberg (2011)
Ober, I., Ober, I., Dragomir, I., Aboussoror, E.: UML/SysML semantic tunings. Journal Innovations in Systems and Software Engineering, 257–264 (2011)
Oliver, I., Luukkala, V.: On UMLs Composite Structure Diagram. In: 5th Workshop on System Analysis and Modelling, SAM (2006)
Object Management Group (OMG): Unified Modeling Language Superstructure: Version: 2.4.1. USA: OMG, 2011 (2011), http://www.omg.org/spec/UML/2.4.1/ (access: April 14, 2013)
Object Management Group (OMG): Semantics of a Foundational Subset for Executable UML Models: Version 1.1 RTF Beta. USA: OMG, 2012 (2012), http://www.omg.org/spec/FUML/ (access: April 24, 2013)
Object Management Group (OMG): Concrete Syntax for UML Action Language (Action Language for Foundational UML - ALF): Version: 1.0.1 - Beta. USA: OMG, 2013 (2013), http://www.omg.org/spec/ALF/ (access: April 27, 2013)
Object Management Group (OMG): Precise Semantics of UML Composite Structures - Request For Proposal - OMG Document: ad/2011-12-07. USA: OMG, 2013 (2013), http://www.omg.org/cgi-bin/doc?ad/11-12-07/ (access: August 25, 2013)
Romero, A., Schneider, K., Ferreira, M.G.V.: Support files (2013), http://es.cs.uni-kl.de/people/romero/sofsem2014.zip (access: October 14, 2013)
Warfield, J.N., Staley, M.M.: Structural thinking: Organizing complexity through disciplined activity. Journal Systems Research 13, 47–67 (1996)
World Wide Web Consortium (W3C): An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL (March 2001). W3C Note December 18, 2001, http://www.w3.org/TR/daml+oil-axioms (access: June 23, 2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Gerlinger Romero, A., Schneider, K., Gonçalves Vieira Ferreira, M. (2014). Integrating UML Composite Structures and fUML. In: Geffert, V., Preneel, B., Rovan, B., Štuller, J., Tjoa, A.M. (eds) SOFSEM 2014: Theory and Practice of Computer Science. SOFSEM 2014. Lecture Notes in Computer Science, vol 8327. Springer, Cham. https://doi.org/10.1007/978-3-319-04298-5_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-04298-5_24
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04297-8
Online ISBN: 978-3-319-04298-5
eBook Packages: Computer ScienceComputer Science (R0)