Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach

E.E. Roubtsova, Mehmet Aksit

    Research output: Contribution to conferencePaper

    25 Downloads (Pure)

    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 languageEnglish
    Number of pages15
    Publication statusPublished - 2005

    Fingerprint

    Petri nets
    Reusability
    Web services
    Synchronization
    Information systems

    Keywords

    • IR-60828

    Cite this

    @conference{7dcc82d3c145439698ac006264287f2b,
    title = "Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach",
    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.",
    keywords = "IR-60828",
    author = "E.E. Roubtsova and Mehmet Aksit",
    year = "2005",
    language = "English",

    }

    Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach. / Roubtsova, E.E.; Aksit, Mehmet.

    2005.

    Research output: Contribution to conferencePaper

    TY - CONF

    T1 - Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach

    AU - Roubtsova, E.E.

    AU - Aksit, Mehmet

    PY - 2005

    Y1 - 2005

    N2 - 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.

    AB - 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.

    KW - IR-60828

    M3 - Paper

    ER -