Formal Ensemble Engineering

Authors:
J. W. Sanders;Graeme Smith
Affiliations:
International Institute for Software Technology, United Nations University, Macao, SAR China;School of Information Technology and Electrical Engineering, The University of Queensland, Australia
Venue:
Software-Intensive Systems and New Computing Paradigms
Year:
2008

Citing 13
Cited 1

Fuzzy sets and fuzzy logic: theory and applications

Fuzzy sets and fuzzy logic: theory and applications
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Mobile ambients

Theoretical Computer Science
Machine Learning

Machine Learning
Introduction to Multiagent Systems

Introduction to Multiagent Systems
Specifying mode requirements of embedded systems

ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
A Set-Theoretic Model for Real-Time Specification and Reasoning

MPC '98 Proceedings of the Mathematics of Program Construction
Challenges and Research Directions in Agent-Oriented Software Engineering

Autonomous Agents and Multi-Agent Systems
Abstraction, Refinement And Proof For Probabilistic Systems (Monographs in Computer Science)

Abstraction, Refinement And Proof For Probabilistic Systems (Monographs in Computer Science)
Programmable Matter

Computer
Dynamics of Control

TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
A Minimal Set of Refactoring Rules for Object-Z

FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Design and Evaluation of Intervehicle Dissemination Protocol for Propagation of Preceding Traffic Information

IEEE Transactions on Intelligent Transportation Systems

Formal Development of Self-organising Systems

ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The `ensembles' identified by the InterLink working group on Software Intensive Systems comprise vast numbers of components adapting and interacting in complex and even unforeseen ways. If the analysis of ensembles is difficult, their synthesis, or engineering, is downright intimidating. We show, following a recent three-level approach to agent-oriented software engineering, that it is possible to specialise that intimidating task to three levels of abstraction (the `micro', `macro' and `meso' levels), each potentially manageable by interesting extensions of standard formal software engineering. The result provides challenges for formal software engineering but opportunities for ensemble engineering.