2018 UKSim-AMSS 20th International Conference on Computer Modelling and Simulation (UKSim) 2018
DOI: 10.1109/uksim.2018.00025
|View full text |Cite
|
Sign up to set email alerts
|

Handling Global and Local Time and Energy Constraints of Sequence Diagrams

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2020
2020
2020
2020

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 20 publications
0
1
0
Order By: Relevance
“…The transformation of MARTE sequence diagrams to formal specifications, for the formal verification, has been investigated in several approaches like [46,47,48,49,50,51], but a few approaches as [12,52,53] have taken into consideration time specification in the transformation process. Previous works just deal with the flowing of events in sequence diagrams with implicit expression of time and consider only interleaving semantics.…”
Section: Discussion and Related Workmentioning
confidence: 99%
“…The transformation of MARTE sequence diagrams to formal specifications, for the formal verification, has been investigated in several approaches like [46,47,48,49,50,51], but a few approaches as [12,52,53] have taken into consideration time specification in the transformation process. Previous works just deal with the flowing of events in sequence diagrams with implicit expression of time and consider only interleaving semantics.…”
Section: Discussion and Related Workmentioning
confidence: 99%