Paper Info
Title
A case study of coloured Petri nets in object-oriented analysis and design
Abstract
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 implementation or code generation. Finally, we discuss the code generation from object-oriented CPN models.
Year
Venue
Keywords
2005
Nord. J. Comput.
requirements engineering,model transformation,object-oriented programming language,elevator controller,executable use cases,considered example system,case study,object-oriented analysis,coloured petri net,cpn model,respective implementation,code generation,requirements-level cpn model,class diagram,object-oriented cpn model,object oriented programming languages,object oriented,use case,object oriented analysis and design,requirement engineering
Field
DocType
Volume
Model transformation,Control theory,Petri net,Programming language,Computer science,Requirements engineering,Code generation,Elevator,Object-oriented analysis and design,Class diagram
Journal
12
Issue
Citations 
PageRank 
3
3
0.40
References 
Authors
12
2
Name
Order
Citations
PageRank
João Paulo Barros110518.03
Jens Bæk Jørgensen216119.31