INTEGRATING UML COMPOSITE STRUCTURES AND FUML

Size: px

Start display at page:

Download "INTEGRATING UML COMPOSITE STRUCTURES AND FUML"

Maud Anthony
6 years ago
Views:

1 INTEGRATING UML COMPOSITE STRUCTURES AND FUML Alessandro Gerlinger Romero Klaus Schneider Maurício Gonçalves Vieira Ferreira Brazilian National Institute for Space Research INPE Brazil Department of Computer Science University of Kaiserslautern Germany 40 th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014 Nový Smokovec, High Tatras, Slovakia, January 25-30, 2014 Slide 1 of 23

2 Agenda Introduction Motivation Goal Context CompositeStructure4fUML Design Decisions Abstract Syntax Static Semantics Evaluation Conclusion Slide 2 of 23

3 Agenda Introduction Motivation Goal Context CompositeStructure4fUML Design Decisions Abstract Syntax Static Semantics Evaluation Conclusion Slide 3 of 23

Motivation Complex System Disorder Structure UML Composite Structures Variety Analysis fuml precise semantics for UML composite structures and their extensions (e.g.

4 Motivation Complex System Disorder Structure UML Composite Structures Variety Analysis fuml precise semantics for UML composite structures and their extensions (e.g., profiles) to enable execution, model checking, and reduce ambiguities in UML models. OMG Precise Semantics of UML Composite Structures - Request For Proposal (2013) pg. 1. Sources: Picture: Concepts: Warfield, J.N., Staley, M. M. (1996) Slide 4 of 23

5 Goal precise semantics for UML composite structures and their extensions (e.g., profiles) to enable execution, model checking, and reduce ambiguities in UML models. OMG Precise Semantics of UML Composite Structures - Request For Proposal (2013) pg. 1. Question: How can we reduce ambiguities in UML Composite Structures and allow analysis through simulation? Goal: define a meta-model to integrate UML Composite Structures into fuml, and declare static semantics for this meta-model. The initial results show that the rules defined for static semantics are sound. Slide 5 of 23

6 Agenda Introduction Motivation Goal Context CompositeStructure4fUML Design Decisions Abstract Syntax Static Semantics Evaluation Conclusion Slide 6 of 23

7 UML Composite Structures A composition of interconnected elements, representing run-time instances collaborating over commnunication links to achieve some common objective OMG Unified Modeling Language Superstructure: Version: (2011) pg What kind of features should Arm define? What is the expected behavior regarding the mismatching multiplicity?... Once defined, how can we analyse? Slide 7 of 23

8 fuml - 1/3 fuml is a subset of UML consisting of the key parts of UML activities and classes. any UML model involving concepts which are not part of the foundational subset could be transformed into a semantically equivalent fuml model. OMG Precise Semantics of UML Composite Structures - Request For Proposal (2013) pg. 19. Slide 8 of 23

9 fuml - 2/3 - Static Semantics The most common example is static type checking, which requires matching expression types to be declared variable types. The checking of such contextsensitive constraints is known as static semantics In this specification, static semantics are not considered to be part of the execution semantics to be specified. OMG Semantics of a Foundational Subset for Executable UML Models: Version 1.1 RTF Beta (2012) pg. 87. What makes connectable elements compatible is a semantic variation point. OMG Unified Modeling Language Superstructure: Version: (2011) pg Slide 9 of 23

10 fuml - 3/3 - Base semantics fuml defines two semantics, the formal one (base semantics) is encoded using CLIF (Common Logic Interchange Format). What is the purpose of the base semantics? OMG answer The conformance for an interpreter would be demonstrated by a formal proof that it respects all the definitions of the base semantics. Another possible answer It can be extended and used to evaluate static semantics formally. Slide 10 of 23

11 Agenda Introduction Motivation Goal Context CompositeStructure4fUML Design Decisions Abstract Syntax Static Semantics Evaluation Conclusion Slide 11 of 23

12 Design Decisions Constraint 1 One active object cannot access data that is managed by another active object (shared data between processes are forbidden). Slide 12 of 23

13 Abstract Syntax - 1/2 - Meta-Model Slide 13 of 23

14 Abstract Syntax - 2/2 - Embedded Abstract Syntax Slide 14 of 23

15 Static Semantics - 1/3 As the static semantic rules for CompositeStructure4fUML are neither part of fuml nor defined by UML, they can be defined using CLIF through the embedding technique. CLIF offers the logic syntax, the static semantics rules provide a set of inference rules and axioms that together with user axioms (describing composite structures) form a mathematical theory, which can be used for analysis. The goal is to check if all axioms are consistent (eliminating ambiguities in Composite Structures). Slide 15 of 23

16 Static Semantics - 2/3 Slide 16 of 23

17 Static Semantics - 3/3 Slide 17 of 23

18 Evaluation - 1/2 - Embedding a Composite Structure Slide 18 of 23

Evaluation - 2/2 Model Finder http://www.informatik.uni-bremen.

19 Evaluation - 2/2 Model Finder Slide 19 of 23

20 Agenda Introduction Motivation Goal Context CompositeStructure4fUML Design Decisions Abstract Syntax Static Semantics Evaluation Conclusion Slide 20 of 23

21 Conclusions UML Composite Structures are a central thecnique to handle complexity in large systems. How can we reduce ambiguities in UML Composite Structures and allow analysis through simulation? Use the proposed meta-model to design models or as a target meta-model for a transformation; Embed these models into CLIF; Apply the proposed static semantics on the embedded version of the models (formal analysis); Use the dynamic semantics specified by fuml for model execution (analysis through simulation). The initial results show that the rules defined for static semantics are sound. Moreover, we invite you to analyse these rules, which are available at: Slide 21 of 23

22 Acknowledgment Slide 22 of 23

23 INTEGRATING UML COMPOSITE STRUCTURES AND FUML Alessandro Gerlinger Romero Klaus Schneider Maurício Gonçalves Vieira Ferreira Brazilian National Institute for Space Research INPE Brazil Department of Computer Science University of Kaiserslautern Germany 40 th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014 Nový Smokovec, High Tatras, Slovakia, January 25-30, 2014 Slide 23 of 23

Towards the Applicability of Alf to Model Cyber-Physical Systems

Preprints of the Federated Conference on Computer Science and Information Systems pp. 1469 1476 Towards the Applicability of Alf to Model Cyber-Physical Systems Alessandro Gerlinger Romero Brazilian National