Weaving executability into UML class models at PIM level

Authors:
Elvinia Riccobene;Patrizia Scandurra
Affiliations:
Università degli Studi di Milano, Crema (CR), Italy;Università degli Studi di Bergamo, Dalmine (BG), Italy
Venue:
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Year:
2009

Citing 16
Cited 2

A UML statecharts semantics with message-passing

Proceedings of the 2002 ACM symposium on Applied computing
Formalizing UML Models with Object-Z

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models

Proceedings of the 17th IEEE international conference on Automated software engineering
Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
Model Driven Architecture with Executable UML(TM)

Model Driven Architecture with Executable UML(TM)
Meaningful Modeling: What's the Semantics of "Semantics"?

Computer
UML-B: Formal modeling and design aided by UML

ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-based DSL frameworks

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
ATL: a QVT-like transformation language

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Software Specification Methods

Software Specification Methods
Compositional specification of behavioral semantics

Proceedings of the conference on Design, automation and test in Europe
Toward a Formalization of UML2.0 Metamodel using Z Specifications

SNPD '07 Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01
A semantic framework for metamodel-based languages

Automated Software Engineering
Human comprehensible and machine processable specifications of operational semantics

ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Tutorial: the ASM method for system design and analysis. a tutorial introduction

FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Weaving executability into object-oriented meta-languages

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

An ESL approach for energy consumption analysis of cache memories in SoC platforms

International Journal of Reconfigurable Computing - Special issue on selected papers from the southern programmable logic conference (SPL2010)
An executable semantics of the systemc UML profile

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modeling languages that aim to capture PIM level behavior are still a challenge. We propose a high level behavioral formalism based on the Abstract State Machines (ASMs) for the specification and validation of software systems at PIM level. An ASM-based extension of the UML and its Action Semantics is here presented for the construction of executable class models at PIM level and also a model weaving process which makes the execution of such models possible. Our approach is illustrated using an Invoice Order System taken from the literature.