en
Technical report
Open access
English

SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools

MandatorCUI - Centre Universitaire d'Informatique, Université de Genève
Number of pages101
PublisherGeneva : CUI - Centre Universitaire d'Informatique, Université de Genève
Publication date1995
Abstract

In this document we give an overview of the CO-OPN/1.5 (Concurrent Object-Oriented Petri Nets) specification language and describe the features of each tool provided in the SANDS/1.5 (Structured Algebraic Net Development System) development environment. The CO-OPN/1.5 language is a specification language devised to support the development of large concurrent systems. The underlying formalisms of the language are algebraic specifications and Petri nets in which tokens correspond to algebraic values. Furthermore, in order to deal with large specifications, some structuring principles have been introduced and in particular, object-orientation paradigm has been adopted for the Petri nets. This means that a CO-OPN/1.5 specification is a collection of objects which interact concurrently. Interaction between the objects is achieved by means of synchronization expressions which allow the designer to select the object interaction policies. The development system provides many different tools such as a syntax checker, a simulator, a property verifier based on temporal logic, a graphic editor, a transformation tool supporting the derivation of specifications, an Ada translator which allows to analyze Ada programs in the CO-OPN/1.5 framework, and a MIMD compiler.

Keywords
  • Formal methods for software engineering
  • Specification language
  • Modular specifications
  • High level nets
  • Algebraic Petri nets
  • Algebraic abstract data types
  • Net simulation
  • Reachability graph
  • Model checking
  • Symbolic representation of states
  • Verification
  • Temporal properties
  • High performance
  • Parallelism
  • Probabilism
  • Specification transformation
  • Prototyping
  • Executable specifications
  • Distributed systems
Citation (ISO format)
DI MARZO SERUGENDO, Giovanna et al. SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools. 1995
Main files (1)
Report
accessLevelPublic
Identifiers
  • PID : unige:55420
670views
67downloads

Technical informations

Creation03/24/2015 11:05:00 PM
First validation03/24/2015 11:05:00 PM
Update time03/14/2023 11:10:16 PM
Status update03/14/2023 11:10:15 PM
Last indexation01/16/2024 5:42:55 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack