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.
|Number of pages||15|
|Publication status||Published - 2005|