Prototyping and formal analysis of concurrent and distributed systems

Authors:
Bernd Krämer
Affiliations:
Institut für Systemtechnik GMD 5205 Sankt Augustin 1, Germany
Venue:
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Year:
1991

Citing 6
Cited 2

Petri nets: basic notions, structure, behaviour

Current trends in concurrency. Overviews and tutorials
Specifying concurrent systems with &Dgr;-grammars

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Petri nets and algebraic specifications

Theoretical Computer Science
Introducing the GRASPIN specification language SEGRAS

Journal of Systems and Software - Special issue on GRASPIN software
A sort of parametric polymorphism for algebraic specifications

Journal of Systems and Software - Special issue on GRASPIN software
S-Invariance in Predicate/Transition Nets

Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets

Knowledge Representation and Reasoning in the Design of Composite Systems

IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Programming languages and systems for prototyping concurrent applications

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We sketch the specification language SEGRAS and illustrate related formal validation techniques with a few simple examples including a dynamic reconfiguration problem. The language is particularly suited for concurrent and distributed applications. It draws from two main sources: algebraic specifications of abstract data types and a special class of high-level Petri nets. The language is supported by an experimental specification environment whose semantic tools exploit the operational semantics of the language.