A case study of coloured Petri nets in object-oriented analysis and design

  • Authors:
  • João Paulo Barros;Jens Bæk Jørgensen

  • Affiliations:
  • Instituto Politécnico de Beja, Escola Superior de Tecnologia e Gestão, Beja, Portugal and Universidade Nova de Lisboa/UNINOVA, Portugal;Department of Computer Science, University of Aarhus, Aabogade, Aarhus N, Denmark

  • Venue:
  • Nordic Journal of Computing
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

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.