A formal semantics of UML statecharts by means of timed petri nets

Authors:
Youcef Hammal
Affiliations:
LSI, Département d’Informatique, Faculté d’Electronique & Informatique, Université des Sciences et de la Technologie Houari Boumediene, El-Alia, Bab-Ezzouar, Algiers ...
Venue:
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Year:
2005

Citing 4
Cited 7

A pattern-based approach to model software performance

Proceedings of the 2nd international workshop on Software and performance
The UML as a Formal Modeling Notation

«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Derivation of Petri Net Performance Models from UML Specifications of Communications Software

TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
On the compositional properties of UML statechart diagrams

ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods

A component-based approach for consistency checking of UML dynamic diagrams

SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A metamodeling approach to transform UML 2.0 sequence diagrams to Petri nets

SE '08 Proceedings of the IASTED International Conference on Software Engineering
A COTS-based approach for estimating performance and energy consumption of embedded real-time systems

Information Processing Letters
Towards the UML-based formal verification of timed systems

FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
A logic-based semantics for the verification of multi-diagram UML models

ACM SIGSOFT Software Engineering Notes
Towards the verification of multi-diagram UML models

Proceedings of the 34th International Conference on Software Engineering
Translation of UML state machines to Modelica: Handling semantic issues

Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper deals with the formalization of Unified Modeling language (UML) by means of Petri Nets. In order to improve the semantics of UML dynamic diagrams, we define a new method of embedding UML StateCharts into Interval Timed Petri Nets (ITPN). This method considers all kinds of hierarchical states together with the most of pseudo-states like history ones. Besides consistencies analysis, time intervals of ITPN model well event generation and dispatching delays making it possible to achieve performance and time properties analysis of complex systems.