SANDS for COOPN
The SANDS (Structured Algebraic Net Development System) environment has been developed to construct CO-OPN (Concurrent Object-Oriented Petri Nets) specifications.
- Environment:
- SUN with OpenWindows 3.0
- Origin:
- Swiss federal Institute of Technology
Software Engineering Laboratory, Lausanne, Switzerland
- Kind of Nets supported:
- Modular Algebraic Nets
- Functionalities:
The tools embedded in SANDS are:
- the GRAPHICS EDITOR with syntax checker
- the TRANSFORMATION TOOL with the transformation library providing a step by step transformation based on observational equivalence
- the SIMULATOR and the MONITOR allowing a manual or autmatic mode of evolution, an exploration of the reachability graph (built during simulation) ...
- the TEMPORAL PROPERTIES VERIFIER
- the COMPILER accepting a subset of the CO-OPN language and generating C code to gain a more efficient execution
- Availability:
-
- References:
- D. Buchs, J. Flumet, P. Racloz: SANDS: Structured Algebraic Net Development System [bfr93]
- D. Buchs, N. Guelfi: Distributed System Specification using CO-OPN [bg92]
- D. Buchs & al.: SANDS/CO-OPN: an overview of the language and its supporting tools [buc95]
- SANDS web page
- SANDS CO-OPN User Manual
- Tool description at DAIMI
