Skip to main content
SpringerLink
Log in

OBJSA Nets: a class of high-level nets having objects as domains

  • Conference paper
  • First Online:
Advances in Petri Nets 1988 (APN 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 340))

Included in the following conference series:

Abstract

To define classes of high level nets having structured (individual) tokens is a very fundamental goal for making nets actually usable in real concurrent system modelling. A promising approach is that of combining nets with algebraic specification techniques. This results in a formal specification language which supports both aspects of system modelling, namely data structure and control structure modelling, with suitable abstraction notions.

Some different formalisms combining nets and abstract data types have been proposed. In this paper, we define a class of high-level Petri nets, namely OBJSA net systems (or OBJSA nets for short), in which: 1) the net can be decomposed into state-machine components, i.e. it preserves the main characteristics of Superposed Automata (SA) nets; 2) the domains to which individual tokens belong are defined as abstract data types by using the language OBJ2. For this class of nets two products (namely an S-product ⊗ and a T-product ⊙) are then provided for defining, respectively, the S- and T-invariants as the first step for preserving in the resulting specification language the possibility, typical of nets, of deriving properties of the modelled system by using algebraic techniques.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8. References

  • AMRW E. Astesiano, G.F. Mascari, G. Reggio, M. Wirsing, On the parameterized algebraic specification of concurrent systems, Proc. CAAP '85, LNCS 185, Springer Verlag, 1985

    Google Scholar 

  • Bat E. Battiston, Definizione di una classe di reti di alto livello aventi per domini tipi di dati astratti, Thesis, Dept. Information Sciences, University of Milano, A.A. 85/86 (in italian)

    Google Scholar 

  • Ber B. Berthomieu et al., Abstract data nets: combining Petri nets and abstract data types for high level specifications of distributed systems, Proc. 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, 1986

    Google Scholar 

  • Bert G. Berthelot, Transformations and decompositions of nets, Proc. Advanced Course on Petri nets, Bad Honnef, September 1986

    Google Scholar 

  • BCG R. Balzer, T. Cheatham, C. Green, Software Technology in the 1990's Using a new Paradigm, in Computer, 11.85, pp. 39–45

    Google Scholar 

  • BDM1 E. Battiston, F. De Cindio, G. Mauri, OBJSA Net Systems, Int. Rep., Dip. Scienze dell'Informazione, Milano, 1987

    Google Scholar 

  • BDM2 E. Battiston, F. De Cindio, G. Mauri, OBJSA nets: OBJ2 and Petri Nets for specifying concurrent systems, accepted for pubblication in "Experiences with OBJ" (R. Gallimore ed.), to appear

    Google Scholar 

  • BFP E. Best, C. Fernandez, H. Plünnecke, Concurrent systems and processes, GMD-Studien Nr.104, 1985

    Google Scholar 

  • BV C. Beierle, A. Voss, On implementation of loose abstract data type specifications and their vertical composition, Proc. STACS '87, LNCS 247, Springer Verlag, 1987

    Google Scholar 

  • CCITT CCITT, Recommendation Z 100, 1988 (preliminary version)

    Google Scholar 

  • CDM C. Cavenaghi, M. De Zanet, G.Mauri, MC-Obj: a C interpreter for OBJ, accepted for pubblication in "Experiences with OBJ" (R. Gallimore ed.), to appear

    Google Scholar 

  • CHJ B. Cohen, W.T. Harwood, M.I. Jackson, The specification of complex systems, Addison Wesley, 1986

    Google Scholar 

  • DDPS F.De Cindio, G. De Michelis, L. Pomello, C. Simone, Superposed Automata Nets, in "Application and Theory of Petri Nets" (C. Girault and W. Reisig eds.), IFB 52, Springer Verlag, 1982

    Google Scholar 

  • DDS F.De Cindio, G. De Michelis, C. Simone, Gameru: a language for the analysis and design of human communication pragmatics, in "Advances in Petri Nets 87", (G. Rozemberg ed.), LNCS 266, Springer Verlag, 1987

    Google Scholar 

  • DLT F. De Cindio, G.A.Lanzarone, A. Torgano, A Petri Net Model of SDL, Proc. 5th European Workshop on Petri nets, Aarhus (Dk), 1984

    Google Scholar 

  • EM H. Ehrig, B. Mahr, Fundamentals of algebraic specification 1, Springer Verlag, 1985

    Google Scholar 

  • FGJM K.Futatsugi, J.A. Goguen, J.P. Jouannaud, J. Meseguer, Principles of OBJ2, Proc. ACM Symp. on Principles of Programming Languages, 1985

    Google Scholar 

  • Gen H. Genrich, Predicate/Transition nets, in "Petri Nets: Central Models and Their Properties", (W. Brauer, W. Resig, G. Rozemberg eds.), LNCS 254, Springer Verlag, 1987

    Google Scholar 

  • GGM V. Giarratana, F. Gimona, U. Montanari, Observability Concepts in Abstract Data Type Specifications, Proc. 5th Symp. Math. Found. of Comp. Science 1976, LNCS 45, Springer Varlag 1976, 576–587

    Google Scholar 

  • GH A. Geser, H. Hussmann, Experiences with the RAP system — a specification interpreter combining term rewriting and resolution, Proc. ESOP 86, LNCS 213, 1986, 339–350

    Google Scholar 

  • GL1 H. Genrich, K. Lautenbach, System Modelling with High-level Petri nets, TCS 13, North-Holland 1981

    Google Scholar 

  • GL2 H. Genrich, K. Lautenbach, S-invariance in Predicate-Transition Nets, in "Application and Theory of Petri Nets" (A. Pagnoni and G. Rozenberg eds.), IFB 66, Springer Verlag, 1983

    Google Scholar 

  • Gog J.A. Goguen, Parameterized programming, IEEE Trans. on Soft. Eng., SE-10(5), 528–543, 1984

    Google Scholar 

  • GTW J.A. Goguen, J.W. Thatcher, E.G. Wagner, An initial algebra approach to the specification, correctness and implementation of abstract data types, in "Current trends in programming methodology IV: Data structuring, (R. Yeh, Ed.), Prentice Hall, 1978, 80–144

    Google Scholar 

  • Hac M. Hack, Extended State-Machine Allocatable Nets, an extension of Free Choice Petri Nets results, MIT Project MAC, MAC-TR 78-1, Cambridge (Ma, Usa), 1974

    Google Scholar 

  • Hoa C.A.R. Hoare, Communicating sequential processes, CACM 21, 666–677, 1978

    Google Scholar 

  • ISO ISO, Information Processing Systems — Open Systems Interconnection — The definition of the specification language LOTOS. Draft proposal ISO/TC 97/SC 16/WG1N157, August 1983

    Google Scholar 

  • Jen K. Jensen, Coloured Petri nets and the invariant method, TCS 14, 1981, 317–336

    Google Scholar 

  • Kra B. Kraemer, Stepwise construction of non-sequential software systems using a net-based specification language, in "Advances in Petri nets 1984" (G. Rozenberg ed.), LNCS 188, Springer Verlag, 1985

    Google Scholar 

  • Les P. Lescanne, Computer experiments with the REVE term rewriting system generator, Proc. 10th ACM Symp. on Principles of Programming Languages, 1983, 99–108

    Google Scholar 

  • LP K. Lautenbach, A. Pagnoni, Invariance and Duality in Predicate/Transition Nets and Coloured Nets, GMD Report n.132, 1985

    Google Scholar 

  • LTS P.E. Lauer, P.R. Torrigiani, M.W. Shields, COSY — A System Specification Language Based on Paths and Processes, Acta Informatica, 12, 1979, 109–158

    Article  Google Scholar 

  • LZ B. Liskov, S. Zilles, An introduction to Formal Specifications of Data Abstractions, in ‘Current Trends in Programming Methodology’ (R. Yeh ed.), Prentice-Hall, 1978

    Google Scholar 

  • Mil R. Milner, A calculus for communicating systems, LNCS 92, Springer Verlag, 1980

    Google Scholar 

  • Obe H. Oberquelle, Some concepts for studiyng flow and modification of actors and objects in high level nets, Proc. 3rd European Workshop on Petri nets, Varenna (Italy), 1982

    Google Scholar 

  • PFI Languages and Tools for Concurrent and Distributed System, proposal submitted to Italian National Research Council, Progetto Finallizzato Informatica, area 4.2.1, nov. 1987

    Google Scholar 

  • Pom L. Pomello, Some equivalence notions for concurrent systems. An overview, in "Advances in Petri Nets 1985" (G. Rozenberg ed.), LNCS 222, 1986, 381–400

    Google Scholar 

  • Rei1 W. Reisig, Petri Nets with Individual Tokens, TCS 41, North Holland, 1985

    Google Scholar 

  • Rei2 W. Reisig, Petri Nets in Software Engineering, in ‘Petri Nets: Applications and Relationships to Other Models of Concurrency", (W. Brauer, W. Resig, G. Rozemberg eds.), LNCS 254, Springer Verlag, 1987

    Google Scholar 

  • Reic H. Reichel, Behavioural Equivalence — A unifying concept for initial and final specification methods, Proc. 3rd Hungarian Comp. Sci. Conf., Budapest, 1981, 27–39

    Google Scholar 

  • ST D. Sannella, A. Tarlecki, Toward formal development of programs from algebraic specifications: implementations revisited (extended abstract), Proc. TAPSOFT '87, LNCS 249, Springer Verlag, 1987, 96–110

    Google Scholar 

  • Vau J. Vautherin, Parallel systems specifications with colored Petri nets and algebraic abstract data types, in "Advances in Petri Nets 87", (G. Rozemberg ed.), LNCS 266, Springer Verlag, 1987

    Google Scholar 

  • Zil S.N. Zilles, Algebraic specification of data types, Project MAC Progress Report 11, MIT, Cambridge, Mass., 1974, 28–52

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell'Informazione, via Moretto da Brescia 9, 20131, Milano, Italy

    E. Battiston, F. De Cindio & G. Mauri

Authors
  1. E. Battiston
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. De Cindio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. G. Mauri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Battiston, E., De Cindio, F., Mauri, G. (1988). OBJSA Nets: a class of high-level nets having objects as domains. In: Rozenberg, G. (eds) Advances in Petri Nets 1988. APN 1987. Lecture Notes in Computer Science, vol 340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50580-6_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-50580-6_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50580-8

  • Online ISBN: 978-3-540-46059-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation