Publication
A Case Study on Coloured Petri Nets in object-oriented analysis and design
| dc.contributor.author | Barros, João Paulo | |
| dc.contributor.author | Jørgensen, Jens Bæk | |
| dc.date.accessioned | 2011-11-02T15:15:51Z | |
| dc.date.available | 2011-11-02T15:15:51Z | |
| dc.date.issued | 2005 | |
| dc.description | Selected Papers of the Second International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'05), June 6, 2005, Rennes, France. | por |
| dc.description.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 imple- mentation or code generation. Finally, we discuss the code generation from object-oriented CPN models. | por |
| dc.identifier.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. | por |
| dc.identifier.uri | http://hdl.handle.net/10400.26/1553 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.subject | Requirements engineering | por |
| dc.subject | Executable use cases | por |
| dc.subject | Model transformation | por |
| dc.title | A Case Study on Coloured Petri Nets in object-oriented analysis and design | por |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.title | Nordic Journal of Computing | por |
| rcaap.rights | openAccess | por |
| rcaap.type | article | por |