TY - GEN
T1 - A concrete syntax for UML 2.1 action semantics using +CAL
AU - Perseil, Isabelle
AU - Pautet, Laurent
PY - 2008/1/1
Y1 - 2008/1/1
N2 - Since UML 1.4 (the Unified Modeling Language, version 1.4), executable UML relies on the Precise Action Semantics for UML. The role of the action semantics is to provide the specification of actions. The UML has actions and activities, but no standard concrete syntax for describing them. Therefore, an action language is required to map higherlevel constructs to the actions. This action language has to encompass both primitive actions and the control mechanisms provided by behaviors. In our paper, we present the advantages of adopting a more generic action language, in order to raise the level of abstraction. For the particular domaine of Distributed Real-time Embedded (DRE) Systems, we have identified a need for formal verifications that leads us to implement a generic action language with formal features.
AB - Since UML 1.4 (the Unified Modeling Language, version 1.4), executable UML relies on the Precise Action Semantics for UML. The role of the action semantics is to provide the specification of actions. The UML has actions and activities, but no standard concrete syntax for describing them. Therefore, an action language is required to map higherlevel constructs to the actions. This action language has to encompass both primitive actions and the control mechanisms provided by behaviors. In our paper, we present the advantages of adopting a more generic action language, in order to raise the level of abstraction. For the particular domaine of Distributed Real-time Embedded (DRE) Systems, we have identified a need for formal verifications that leads us to implement a generic action language with formal features.
UR - https://www.scopus.com/pages/publications/44149127778
U2 - 10.1109/ICECCS.2008.34
DO - 10.1109/ICECCS.2008.34
M3 - Conference contribution
AN - SCOPUS:44149127778
SN - 0769531393
SN - 9780769531397
T3 - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
SP - 217
EP - 221
BT - Proceedings - Thirteenth IEEE International Conference on the Engineering of Complex Computer Systems, ICECCS 2008
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 13th IEEE International Conference on the Engineering of Complex Computer Systems, ICECCS 2008
Y2 - 31 March 2008 through 4 April 2008
ER -