Paper Info
Title
Handling Global and Local Time and Energy Constraints of Sequence Diagrams
Abstract
The Unified Modeling Language (UML) has been widely adopted for modeling different sorts of applications. Despite having several kinds of diagrams, they were not designed verifying the execution of real-time embedded systems with time and energy constraints. There are UML profiles that capture this information, but it is necessary to rely on a separated validation framework. The main approach to fill this gap is to translate UML the models into representations such as Petri nets. However, existing works have little support for addressing energy and time constraints at the same time. This paper presents a technique for transforming UML sequence diagrams with energy and time constraints into timed Petri net models. These Petri net models are then used as input into software verification tools like Tina and GTT.
Year
DOI
Venue
2018
10.1109/UKSim.2018.00025
2018 UKSim-AMSS 20th International Conference on Computer Modelling and Simulation (UKSim)
Keywords
Field
DocType
Sequence Diagram,Time Petri Nets,Meta-Modeling,Model Transformation,Embedded Software
Sequence diagram,Petri net,Programming language,Embedded software,Unified Modeling Language,Computer science,Local time,Software verification
Conference
ISSN
ISBN
Citations 
2158-1657
978-1-5386-5879-6
0
PageRank 
References 
Authors
0.34
12
3
Name
Order
Citations
PageRank
Vinicius Camargo Andrade100.34
Leticia Mara Peres214.41
Marcos Didonet Del Fabro327334.14