NDLI: A formal specification framework for object-oriented distributed systems

Please wait, while we are loading the content...

A formal specification framework for object-oriented distributed systems

Content Provider	IEEE Xplore Digital Library
Author	Buchs, D. Guelfi, N.
Copyright Year	1976
Abstract	In this paper, we present the Concurrent Object-Oriented Petri Nets (CO-OPN/2) formalism devised to support the specification of large distributed systems. Our approach is based on two underlying formalisms: order-sorted algebra and algebraic Petri nets. With respect to the lack of structuring capabilities of Petri nets, CO-OPN/2 has adopted the object-oriented paradigm. In this hybrid approach (model- and property-oriented), classes of objects are described by means of algebraic Petri nets, while data structures are expressed by order-sorted algebraic specifications. An original feature is the sophisticated synchronization mechanism. This mechanism allows to involve many partners in a synchronization and to describe the synchronization policy. A typical example of distributed systems, namely the Transit Node, is used throughout this paper to introduce our formalism and the concrete specification language associated with it. By successive refinements of the components of the example, we present, informally, most of the notions of CO-OPN/2. We also give some insights about the coordination layer, Context and Objects Interface Language (COIL), which is built on top of CO-OPN/2. This coordination layer is used for the description of the concrete distributed architecture of the system. Together, CO-OPN/2 and COIL provide a complete formal framework for the specification of distributed systems.
Sponsorship	IEEE Computer Society Technical Council on Software Engineering Association for Computing Machinery (ACM) IEEE Computer Society
Starting Page	635
Ending Page	652
Page Count	18
File Size	363323
File Format	PDF
ISSN	00985589
Volume Number	26
Issue Number	7
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2000-07-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Formal specifications Petri nets Concrete Data structures Concurrent computing Distributed processing Communication systems Algebra Object oriented modeling Specification languages
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Hierarchical algebraic nets

Specification of distributed systems with actors using object-oriented Petri nets

Distributed system specification using CO-OPN

Evolutive prototyping of heterogeneous distributed systems using hierarchical algebraic Petri nets

A framework for the development of object-oriented distributed systems

Object-oriented concepts for coloured Petri nets

Inheritance issues in object-oriented Petri net models

Prototyping and formal analysis of concurrent and distributed systems

Class orientation and inheritance in modular algebraic nets

A formal specification framework for object-oriented distributed systems

Similar Documents

Hierarchical algebraic nets

Specification of distributed systems with actors using object-oriented Petri nets

Distributed system specification using CO-OPN

Evolutive prototyping of heterogeneous distributed systems using hierarchical algebraic Petri nets

A framework for the development of object-oriented distributed systems

Object-oriented concepts for coloured Petri nets

Inheritance issues in object-oriented Petri net models

Prototyping and formal analysis of concurrent and distributed systems

Class orientation and inheritance in modular algebraic nets

A formal specification framework for object-oriented distributed systems