Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Investigating the readability of state-based formal requirements specification languages
Proceedings of the 24th International Conference on Software Engineering
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
On the Use of Visualization in Formal Requirements Specification
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
A Compositional Semantics for UML State Machines Aimed at Performance Evaluation
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Evaluating Using Animation to Improve Understanding of Sequence Diagrams
IWPC '02 Proceedings of the 10th International Workshop on Program Comprehension
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems
ACM SIGSOFT Software Engineering Notes
Modeling behavioral design patterns of concurrent objects
Proceedings of the 28th international conference on Software engineering
A comparative survey of scenario-based to state-based model synthesis approaches
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Tool Support for Estimating the Memory Usage of Mobile Phone Software
International Journal on Software Tools for Technology Transfer (STTT)
On the integration of UML and petri nets in software development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Compositional semantics for UML 2.0 sequence diagrams using petri nets
SDL'05 Proceedings of the 12th international conference on Model Driven
Monitor petri nets for security monitoring
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
A simulation-based software design framework for network-centric and parallel systems
Programming Support Innovations for Emerging Distributed Applications
The many meanings of UML 2 Sequence Diagrams: a survey
Software and Systems Modeling (SoSyM)
Data and abstraction for scenario-based modeling with petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Validation environment of UML2 IOD based on hierarchical coloured Petri nets
International Journal of Computer Applications in Technology
Formalizing the design of embedded software using sequence diagrams and abstract state machines
Proceedings of the 2nd annual conference on Research in information technology
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Using a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML descriptions must be specified in the form of Use Cases and UML 2.0 Sequence Diagrams. The CPN model constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML artefacts. CPNs consitute a formal modelling language that enables construction and analysis of scalable, executable models of behaviour. A combined use of UML and CPN can be useful in several projects. CPN is well supported by CPN Tools and the work we present here is aimed at building a CPN Tools front-end engine that implements the proposed translation.