A Coordination Model to Specify Systems Including Mobile Agents

Authors:
P. Ciancarini;F. Franze`;C. Mascolo
Affiliations:
Dip. di Scienze dell'Informazione, University of Bologna, Mura Anteo Zamboni, 7, I-40127 Bologna, Italy;Dip. di Scienze dell'Informazione, University of Bologna, Mura Anteo Zamboni, 7, I-40127 Bologna, Italy;Dip. di Scienze dell'Informazione, University of Bologna, Mura Anteo Zamboni, 7, I-40127 Bologna, Italy
Venue:
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Year:
1998

Citing 17
Cited 5

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordination languages and their significance

Communications of the ACM
The chemical abstract machine

Selected papers of the Second Workshop on Concurrency and compositionality
Interaction abstract machines

Research directions in concurrent object-oriented programming
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model

IEEE Transactions on Software Engineering - Special issue on software architecture
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Mobile UNITY: reasoning and specification in mobile computing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Programming languages for mobile code

ACM Computing Surveys (CSUR)
Expressing code mobility in mobile UNITY

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
A typed language for distributed mobile processes (extended abstract)

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent Programming in Java: Design Principles and Patterns

Concurrent Programming in Java: Design Principles and Patterns
Specifying Distributed Software Architectures

Proceedings of the 5th European Software Engineering Conference
ESP-MC: An Experiment in the Use of Verification Tools

ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
Multiple Tuple Spaces in Linda

PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
A Calculus of Mobile Agents

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Coordinating Mobile Agents via Blackboards and Access Rights

COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models

Software architecture and mobility

ISAW '98 Proceedings of the third international workshop on Software architecture
Specification, analysis, and prototyping of mobile systems

Proceedings of the 21st international conference on Software engineering
Dynamic coordination architecture through the use of reflection

Proceedings of the 2001 ACM symposium on Applied computing
MobiS: A Specification Language for Mobile Systems

COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
An architecture for dynamic and evolving cooperative software agents

Computer Standards & Interfaces - Special issue: Adaptable software architectures

Quantified Score

Hi-index	0.00

Visualization

Abstract

A coordination model provides a formal framework in which the interaction of active entities that we call agents can be expressed. A coordination model deals with the creation and destruction of agents, their communication activities, their distribution and mobility in space, as well as the synchronization and distribution of their actions over time. We show how a coordination model called PoliS offers a flexible basis for the description and the analysis of architectures of systems including mobile agents. We have developed a model checking technique for the automatic analysis of PoliS specifications.