The SystemC UML profile is a modeling language designed to lift features and abstractions of the SystemC/C++ class library to the UML level with the aim of improving the current industrial System-on-Chip design methodology. Its graphical syntax and static semantics were defined following the "profile" extension mechanism of the UML metamodel, while its behavioral semantics was given in natural language. This paper provides a precise and executable semantics of the SystemC Process State Machines that are an extension of the UML state machines and are part of the SystemC UML profile to model the reactive behavior of the SystemC processes. To this purpose, we used the meta-hooking approach of the ASM-based semantic framework, which allows the definition of the dynamic semantics of metamodel-based languages and of UML profiles.
An executable semantics of the SystemC UML profile / E. Riccobene, P. Scandurra - In: Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010 : Orford, QC, Canada, february 22-25, 2010 : proceedings / [a cura di] M. Frappier ... [et al.]. - Berlin : Springer, 2010. - ISBN 9783642118104. - pp. 75-90 (( Intervento presentato al 2. convegno ABZ international conference tenutosi a Orford, Canada nel 2010 [10.1007/978-3-642-11811-1_7].
An executable semantics of the SystemC UML profile
E. RiccobenePrimo
;
2010
Abstract
The SystemC UML profile is a modeling language designed to lift features and abstractions of the SystemC/C++ class library to the UML level with the aim of improving the current industrial System-on-Chip design methodology. Its graphical syntax and static semantics were defined following the "profile" extension mechanism of the UML metamodel, while its behavioral semantics was given in natural language. This paper provides a precise and executable semantics of the SystemC Process State Machines that are an extension of the UML state machines and are part of the SystemC UML profile to model the reactive behavior of the SystemC processes. To this purpose, we used the meta-hooking approach of the ASM-based semantic framework, which allows the definition of the dynamic semantics of metamodel-based languages and of UML profiles.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
