Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inheritance as an incremental modification mechanism or what like is and isn'tlike
on ECOOP '88 (European Conference on Object-Oriented Programming)
Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
Artificial Intelligence
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Designing a Coordination Model for Open Systems
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Interval Timed Coloured Petri Nets and their Analysis
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Behaviour Specification of Active Objects in Open Generative Communication Environments
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Software Technology and Architecture - Volume 1
A Java Coordination Tool for Web-Service Architectures: The Location-Based Service Context
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
| Hi-index | 0.00 |
A majority of the research committee dealingwith the development of advanced future software systems appears to agree upon the requirements that a software modellingapproac h should meet. In short, it should enable a "cost-effective software development for open parallel and distributed systems". One concept that is intrinsicly involved is agent-based modelling techniques, which combine object technology with concurrency. Most current approaches to combiningob jects and concurrency fail to provide a well-founded integration of the conflicting dimensions in advanced object-oriented environments, such as classes, inheritance, concurrency and types. This paper first elaborates on the set of requirements of an advanced software development approach. Thereafter, it discusses an approach for modelling, implementingand reasoningup on such systems. It is based on principles of concurrent object-orientation, generative communication - in particular the coordination language called Objective Linda - and Petri nets. The main contribution of this paper is to provide formal definitions of a Petri net formalism that is used to provide (1) semantics for the Objective Linda language, and (2) modelling the internal behaviour of concurrent objects. The approach is illustrated through a case study, proposed by C. Sibertin-Blanc. The case is a variant of the well known diningphilosophers problem, called "the Hurried Philosophers" problem.