SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems.
Bernd J. KrämerPublished in: ICSE (1987)
Keyphrases
- distributed systems
- abstract data types
- petri net
- programming language
- colored petri nets
- data types
- reactive systems
- concurrent systems
- object oriented databases
- state machines
- relational database systems
- sequence diagrams
- fault tolerant
- manufacturing systems
- data model
- formal specification
- service composition
- formal languages
- high level
- distributed environment
- fuzzy petri net
- database technology
- process model
- object oriented
- formal methods
- distributed databases
- database
- natural language
- data structure
- database systems
- conceptual models
- real time systems
- mobile agents
- general purpose
- software engineering
- artificial intelligence
- databases