A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
The mutual exclusion problem: part I—a theory of interprocess communication
Journal of the ACM (JACM)
On specifications,theories, and models with higher types
Information and Control
Algebraic specifications with higher-order operators
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Stepwise construction of non-sequential software systems using a net-based specification language
Advances in Petri Nets 1984
Specification of time dependencies and synthesis of concurrent processes
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Types and modules for net specifications
Concurrency and nets: advances in Petri nets
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Object-oriented development of integrated programming environments with ASDL
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Process programming: a structured multi-paradigm approach could be achieved
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Developing Integrated Environments with ASDL
IEEE Software
An integration environment to put formal specifications into practical use in real-time systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
| Hi-index | 0.00 |
SEGRAS is formal language for writing and analyzing specifications of distributed software systems. It unifies algebraic specifications of abstract data types with high-level Petri net specifications of nonsequential systems in a common syntactic and semantic framework. The data structure of a system, the information content of its local states, and static constraints to state changes are specified algebraically using positive conditional equations. Dynamic behavior is specified by high level Petri nets. Each net defines a (distributed) initial state and a partial ordering in which state changing operations may happen. SEGRAS addresses advanced programming methodologies by offering facilities for modularization and parameterization, and a type system which supports polymorphism with dependent types, higher-order types, subtypes, and overloading. Some examples are given to illustrate these language concepts.