Abstract
Within MDA models are usually created in the UML. However, one may prefer to
use different notations such as Petri-nets, for example, for modelling concurrency
and synchronization properties of systems. This paper claims that techniques that
are adopted within the context of MDA can also be beneficial in modelling systems
by using notations other than the UML. Petri-Nets are widely used for modelling
of business and application logic of information systems with web services. For
certain kinds of applications, therefore, Petri Nets can be more suitable for building
Computation Independent, Platform Independent and Platform Specific Models
(CIM, PIM and PSM). Unfortunately, the well-known problems with separation of
concerns in Petri Nets and keeping track of changes may hinder achieving the aim of
MDA: building reusable, portable and interoperable models. In this paper we define
Aspect Petri Nets as a structure of several Petri Nets and quantification rules for
weaving of those Petri Nets. Aspect Petri Nets are suitable for application of MDA;
they support traceability of changes and reusability, portability and interoperability
of models. We illustrate advantages of modelling in Aspect Petri Nets for MDA
application and describe necessary tool support.
Original language | English |
---|---|
Number of pages | 15 |
Publication status | Published - 2005 |
Event | Preliminary 1st International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB) - Nuremberg, Germany Duration: 7 Nov 2005 → 7 Nov 2005 |
Workshop
Workshop | Preliminary 1st International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB) |
---|---|
Period | 7/11/05 → 7/11/05 |
Other | 7 November 2005 |
Keywords
- IR-60828