COLOURED PETRI NETS WITH PARALLEL COMPOSITION TO SEPARATE CONCERNS

Ella Roubtsova, Ashley McNeile

2010

Abstract

We define a modeling language based on combining Coloured Petri Nets with Protocol Modeling semantics. This language combines the expressive power of Coloured Petri Nets in describing behavior with the ability provided by Protocol Modeling to compose partial behavioral descriptions. The resultant language can be considered as a domain specific Coloured Petri Net based language for deterministic and constantly evolving systems.

References

  1. A. McNeile, E. Roubtsova (2008). CSP parallel composition of aspect models. AOM'08: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling, Brussels, Belgium, pages 13-18.
  2. A. McNeile, N. Simons (2006). Protocol Modelling. A modelling approach that supports reusable behavioural abstractions. Software and System Modeling, 5(1):91-107.
  3. G.Zhang, M.Hlzl, A.Knapp (2007). Inhancing UML State Machines with Aspects. In, G. Engels, B. Opdyke, D. C. Schmidt, and F. Weil, editors. Proc. 10th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS'07). LNCS 4735, pages 529-543.
  4. K. Jensen (1997). Coloured Petri Nets. Springer.
  5. M. Elkoutbi, R. Keller (1998). Modeling Interactive Systems with Hierarchical Colored Petri Nets. Proc. of the Conference on High Performance Computing.
  6. M.Mahoney, A.Bader, T.Elrad and O. Aldawud: (2004). Using Aspects to Abstract and Modularize Statecharts. In the 5th Aspect-Oriented Modeling Workshop In Conjunction with UML 2004.
  7. OMG (2009). Unified Modeling Language, Superstructure, v2.2. OMG Document formal/09-02-02 Minor revision to UML, v2.1.2. Supersedes formal 2007-11-02.
  8. P. Palanque, R. Bastide, L. Dourte, C. Sibertin-Blanc (1993). Design of User-Driven Interfaces Using Petri Nets and Objects. LNCS 685.
  9. T. Jacob, O. Kimmer, D. Moldt, U. Ultes-Nitsche (2002). Implementation of Workflow Systems using Reference Nets. Security and Operability aspects. Proc. of the workshop CPN02.
  10. T.Elrad, O.Algawud, A.Baber (2002). Aspect-oriented modelling-Briging the gap Between Design and Implementation. Proceedings of the First ACM International Conference on Generative PRogramming and Component Engineering GPCE), pages 189-202.
Download


Paper Citation


in Harvard Style

Roubtsova E. and McNeile A. (2010). COLOURED PETRI NETS WITH PARALLEL COMPOSITION TO SEPARATE CONCERNS . In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-06-5, pages 501-504. DOI: 10.5220/0002971005010504


in Bibtex Style

@conference{iceis10,
author={Ella Roubtsova and Ashley McNeile},
title={COLOURED PETRI NETS WITH PARALLEL COMPOSITION TO SEPARATE CONCERNS},
booktitle={Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2010},
pages={501-504},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002971005010504},
isbn={978-989-8425-06-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - COLOURED PETRI NETS WITH PARALLEL COMPOSITION TO SEPARATE CONCERNS
SN - 978-989-8425-06-5
AU - Roubtsova E.
AU - McNeile A.
PY - 2010
SP - 501
EP - 504
DO - 10.5220/0002971005010504