Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/238
Título: | A Case Study on Coloured Petri Nets in object-oriented analysis and design |
Autor: | Barros, João Paulo Jørgensen, Jens Bæk |
Palavras-chave: | Requirements engineering Executable use cases Model transformation |
Data: | 2005 |
Citação: | 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. |
Resumo: | 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. |
Descrição: | Selected Papers of the Second International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'05), June 6, 2005, Rennes, France. |
Arbitragem científica: | yes |
URI: | http://comum.rcaap.pt/handle/123456789/1553 http://hdl.handle.net/20.500.12207/238 |
Aparece nas coleções: | D-ENG - Artigos em revistas com peer review |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
BarrosJorgensen2005NJC_x.pdf | 231.71 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.