Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
An example of stepwise refinement of distributed programs: quiescence detection
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Communications of the ACM - Special issue on parallelism
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Fairness
Computer
Distributed programming in Argus
Communications of the ACM
Visual programming by transaction network
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Language and visualization support for large-scale concurrency
ICSE '88 Proceedings of the 10th international conference on Software engineering
Parallel program design: a foundation
Parallel program design: a foundation
Using tuple space communication in distributed object-oriented languages
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Communications of the ACM
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
The Closure Statement: A Programming Language Construct Allowing Ultraconcurrent Execution
Journal of the ACM (JACM)
Associons: A Program Notation with Tuples Instead of Variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
An improved algorithm for decentralized extrema-finding in circular configurations of processes
Communications of the ACM
Communicating sequential processes
Communications of the ACM
A Discipline of Programming
A UNITY-Style Programming Logic for Shared Dataspace Programs
IEEE Transactions on Parallel and Distributed Systems
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination
Proceedings of the 8th Colloquium on Automata, Languages and Programming
The shared dataspace approach to concurrent computation: the swarm programming model, notation, and logic
Seeking concurrency in rule-based programming
ICSE '92 Proceedings of the 14th international conference on Software engineering
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal specification and design of a message router
ACM Transactions on Software Engineering and Methodology (TOSEM)
An overview of program visualization tools and systems
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
A software architecture for distributed control systems and its transition system semantics
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
A UNITY-Style Programming Logic for Shared Dataspace Programs
IEEE Transactions on Parallel and Distributed Systems
Dynamic Synchrony Among Atomic Actions
IEEE Transactions on Parallel and Distributed Systems
Formal Derivation of Rule-Based Programs
IEEE Transactions on Software Engineering
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications
IEEE Transactions on Software Engineering
KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Formal Specification and Design of Mobile Systems
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Embedded Systems Unsuitable for Object Orientation
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Software Architecture for Distributed Reactive Systems
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Visual Presentation of Software Specifications and Designs
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Swarming over the software barrier
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
Formal verification of pure production system programs
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Detecting redundant production rules
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
| Hi-index | 0.00 |
A simple language called Swarm is used as a vehicle for the investigation of the shared dataspace approach to concurrent computation. An important feature of Swarm is its ability to bring a variety of programming paradigms under a single, unified model. In a series of related examples Swarm's capacity to express shared-variable, message-passing, and rule-based computations; to specify synchronous and asynchronous processing modes; and to accommodate highly dynamic program and data structure is explored. Several illustrations make use of a programming construct unique to Swarm, the synchrony relation and explain how this feature can be used to construct dynamically structured, partially synchronous computations. An overview of the Swarm programming notation, an examination of Swarm programming strategies via a series of related example programs, and a discussion of the distinctive features of the shared dataspace model are given. A formal operational model for Swarm is presented.