A Case Study on Coloured Petri Nets in object-oriented analysis and design

Barros, João Paulo; Jørgensen, Jens Bæk

http://hdl.handle.net/10400.26/1553

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
BarrosJorgensen2005NJC_x.pdf		231.71 KB	Adobe PDF	Download

Send Feedback

Authors

Barros, João Paulo

Jørgensen, Jens Bæk

Abstract(s)

In this paper,we first demonstrate how a coloured Petri nets(CPN) model can be used to capture requirements for a considered example system, an elevator controller. Then, we show how this requirements-level CPN model is transformed into a design-level object-oriented CPN model, which is structurally and conceptually closer to class diagrams and object-oriented programming languages. The CPN models reduce the gap between user-level requirements and the respective implementation, thus simplifying the imple- mentation or code generation. Finally, we discuss the code generation from object-oriented CPN models.

Description

Selected Papers of the Second International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'05), June 6, 2005, Rennes, France.

Keywords

Requirements engineering Executable use cases Model transformation

URI

http://hdl.handle.net/10400.26/1553

Citation

Barros, J.P., & Jorgensen, J.B. (2005). A Case study on coloured Petri Nets in object-oriented analysis and design. Nordic Journal of Computing, 12(3), 229-250.