Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Analysis and Design in MSG.84: Formalizing Functional Specifications
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Discrete Time Stochastic Petri Nets
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Process-translatable Petri Nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering
A software design method for real-time systems
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Structured Analysis and System Specification
Structured Analysis and System Specification
Distributed Software System Design Representation Using Modified Petri Nets
IEEE Transactions on Software Engineering
Sarek: a window system interface for object-oriented concurrent programming languages
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
An environment for operational software engineering in Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Direct-manipulation user interface modeling with high-level Petri nets
CSC '91 Proceedings of the 19th annual conference on Computer Science
Hi-index | 0.02 |
This paper presents an object-oriented approach for building distributed systems. An example taken from the field of computer integrated manufacturing systems is taken as a guideline. According to this approach a system is built up through three steps: control and synchronization aspects for each class of objects are treated first using PROT nets, which are a high-level extension to Petri nets; then data are introduced specifying the internal states of the objects as well as the messages they send each other; finally the connections between the objects are introduced by means of a data flow diagram between classes. The implementation uses ADA as the target language, exploiting its tasking and structuring mechanisms. The flexibility of the approach and the possibility of using a knowledge-based user interface promote rapid prototyping and reusability.