Unambiguous UML composite structures: The OMEGA2 experience

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

Volumn 6543 LNCS, Issue , 2011, Pages 418-430

  Ober, Iulian ^a   Dragomir, Iulia ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

HIERARCHICAL COMPONENT MODEL; HIERARCHICAL COMPOSITE; RULE SET; UML PROFILES;

COMPUTER SCIENCE; HIERARCHICAL SYSTEMS; SEMANTICS; SOFTWARE ARCHITECTURE;

STRUCTURE (COMPOSITION);

EID: 78751671484     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-18381-2_35     Document Type: Conference Paper

References (19)

1. Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 237-267. Springer, Heidelberg (2004)
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
3. Cuccuru, A., Ǵerard, S., Radermacher, A.: Meaningful composite structures. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 828-842. Springer, Heidelberg (2008)
4. Damm, W., Josko, B., Pnueli, A., Votintseva, A.: A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. 55(1-3), 81-115 (2005)
5. Dragomir, I., Ober, I.: Well-formedness and typing rules for UML composite structures (November 2010), http://arxiv.org/abs/1010.6155
6. Hooman, J., Kugler, H., Ober, I., Votintseva, A., Yushtein, Y.: Supporting UMLbased development of embedded systems by formal techniques. Software and System Modeling 7(2), 131-155 (2008)
7. IBM. Rational rhapsody v7.5. reference manuals, http://www.ibm.com/ developerworks/rational/
8. ITU-T. Languages for telecommunications applications - Specification and Description Language (SDL). ITU-T Revised Recommendation Z.100 (1999)
9. Topcased. Topcased toolset, http://www.topcased.org
10. Nipkow, T., von Oheimb, D.: Javalight is type-safe - definitely. In: POPL, pp. 161-170 (1998)
11. Ober, I., Dragomir, I.: OMEGA2: A new version of the profile and the tools. In: 14th IEEE International Conference on Engineering of Complex Computer Systems, UML & AADL track, pp. 373-378. IEEE, Los Alamitos (2010)
12. Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. STTT 8(2), 128-145 (2006)
13. Oliver, I., Luukkala, V.: On UML's Composite Structure Diagram. In: 5th Workshop on System Analysis and Modelling (SAM) (June 2006)
14. Object Management Group - Systems Modeling Language (SysML), v1.1.(2008), http://www.omg.org/spec/SysML/1.1/
15. Object Management Group - UML profile for modeling and analysis of real-time and embedded systems (MARTE) (June 2008), http://www.omgmarte.org/ Documents/Specifications/08-06-09.pdf
16. Object Management Group - Unified Modeling Language (version 2.2) (February 2009), http://www.omg.org/spec/UML/2.2
17. Paulson, L.C.: Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow). In: Isabelle. LNCS, vol. 828, Springer, Heidelberg (1994)
18. SAE. Architecture analysis and design language (AADL) (November 2004), http://www.sae.org/technical/standards/AS5506/1
19. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley Professional Computing, John Wiley (1994)