RDIPB - D-ENG - Artigos em Revistas com Peer Review
URI permanente para esta coleção:
Navegar
Percorrer RDIPB - D-ENG - Artigos em Revistas com Peer Review por assunto "Executable use cases"
A mostrar 1 - 1 de 1
Resultados por página
Opções de ordenação
- A Case Study on Coloured Petri Nets in object-oriented analysis and designPublication . Barros, João Paulo; Jørgensen, Jens BækIn 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.