Vicinity Respecting Homomorphisms for Abstracting System Requirements

This paper is concerned with structuring system requirements on an abstract conceptual level. Channel/Agency Petri nets are taken as a formal model. They allow to represent functional aspects as well as data aspects of the requirements in a graphical way. Vicinity respecting homomorphisms are presented as a means to refine and abstract these nets. They preserve paths, i.e., dependencies between computational elements and they preserve important structural properties of nets, such as S- and T-components, siphons and traps and the free choice property. These properties have important interpretations for marked Petri nets and can therefore be used for the analysis of system models at more concrete levels.

[1]  Boleslaw Mikolajczak,et al.  Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms , 2003, ER.

[2]  Mogens Nielsen,et al.  Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings , 2000, ICATPN.

[3]  José Meseguer,et al.  Petri Nets Are Monoids , 1990, Inf. Comput..

[4]  C LuckhamDavid,et al.  Specification and Analysis of System Architecture Using Rapide , 1995 .

[5]  Wolfgang Reisig,et al.  Petri Nets in Software Engineering , 1986, Advances in Petri Nets.

[6]  Grzegorz Rozenberg.  Advances in Petri Nets 1991 , 1990, Lecture Notes in Computer Science.

[7]  Anne Lohrli.  Chapman and Hall , 1985 .

[8]  Wolfgang Reisig,et al.  A Primer in Petri Net Design , 1992, Springer Compass International.

[9]  Hartmann J. Genrich,et al.  A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.

[10]  Hartmut Ehrig,et al.  Transformations of Petri Nets , 2006, FoVMT.

[11]  Glynn Winskel,et al.  Petri Nets, Algebras, Morphisms, and Compositionality , 1987, Inf. Comput..

[12]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[13]  Giorgio Bruno.  Model-based software engineering , 1994 .

[14]  Agathe Merceron,et al.  Morphisms to preserve structural properties of Petri nets , 1994 .

[15]  Grzegorz Rozenberg,et al.  Advances in Petri Nets 1985 , 1985, Lecture Notes in Computer Science.

[16]  W. Reisig,et al.  The Universal Net Composition Operator , 2009 .

[17]  Volker Gruhn,et al.  The FUNSOFT Net Approach to Software Process Management , 1994, Int. J. Softw. Eng. Knowl. Eng..

[18]  Wolfgang Reisig,et al.  Petri Nets: Applications and Relationships to Other Models of Concurrency , 1986, Lecture Notes in Computer Science.

[19]  Ursula Goltz,et al.  Refinement of Actions in Causality Based Models , 1990, REX Workshop.

[20]  Kees M. van Hee,et al.  Information systems engineering - a formal approach , 1994 .

[21]  Boleslaw Mikolajczak,et al.  Conceptual Modeling of Concurrent Information Systems with General Morphisms of Petri Nets , 2003, IIS.

[22]  C. A. Petri.  Concepts of Net Theory , 1973, MFCS.

[23]  Jörg Desel,et al.  Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science) , 2005 .

[24]  Jörg Desel,et al.  Vicinity respecting net morphisms , 1991, Applications and Theory of Petri Nets.

[25]  Laure Petrucci,et al.  Aggregating views for Petri net model construction , 2008 .

[26]  Walter Mann,et al.  Correction to "Specification and Analysis of System Architecture Using Rapide" , 1995, IEEE Trans. Software Eng..

[27]  Wilfried Brauer,et al.  Net Theory and Applications , 1980, Lecture Notes in Computer Science.

[28]  O. Ore.  Theory of Graphs , 1962 .

[29]  Wolfgang Reisig.  Simple Composition of Nets , 2009, Petri Nets.

[30]  Grzegorz Rozenberg.  Advances in Petri Nets 1990 , 1989, Lecture Notes in Computer Science.

[31]  C. A. Petri.  Introduction to General Net Theory , 1979, Advanced Course: Net Theory and Applications.

[32]  Charles Lakos,et al.  Composing Abstractions of Coloured Petri Nets , 2000, ICATPN.

[33]  Kurt Lautenbach,et al.  Elements of General Net Theory , 1979, Advanced Course: Net Theory and Applications.

[34]  Tok Wang Ling,et al.  Conceptual Modeling - ER 2003 , 2003, Lecture Notes in Computer Science.