Requirements of a Module System for Coloured Petri Nets
نویسنده
چکیده
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملAssisting Data Warehousing Populating Processes Design through Modelling using Coloured Petri Nets
Data warehousing systems populating processes are responsible for loading their data repositories – the data warehouses – with information they extract from operational sources. The tasks that integrate these processes are the most complex ones that we can find in a data warehousing system. For a flawless implementation, modelling these processes previously is important so that a correct set of...
متن کاملA Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design
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 m...
متن کاملApplication of Coloured Petri Nets in System Development
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and embedded systems. The practical application of CP-nets has also covered many phases of system development ranging from requirements to design, validation, and implementation. This paper presents four case studies whe...
متن کاملModelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets
introduce the concepts necessary to understand the problem area and the presented model. Readers who have a prior knowledge of CP–nets or Network Management Systems can skip the introductory sections on these subjects. Development of distributed software systems is a complex task. This paper argues that design and specification can be supported by modelling and simulation using Hierarchical Col...
متن کامل