Towards a System Model for Ensembles

Ensembles--software-intensive systems with massive numbers of nodes or complex interactions between nodes, operating in open and non-deterministic environments and dynamically adapting to changes in their environment or requirements--pose many challenges to software development. We present first steps towards a system model for ensembles that allows us to express requirements using a wide variety of logics and fitness criteria over arbitrary preorders. Using this system model we then give a precise definition of "black-box" adaptation and show how this naturally leads to a preorder of adaptability on ensembles.

[1]  Till Mossakowski,et al.  Heterogeneous Specification and the Heterogeneous Tool Set , 2004 .

[2]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[3]  Manfred Broy,et al.  Mathematical System Models as a Basis of Software Engineering , 1995, Computer Science Today.

[4]  José Meseguer,et al.  PMaude: Rewrite-based Specification Language for Probabilistic Object Systems , 2006, QAPL.

[5]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[6]  José Luiz Fiadeiro,et al.  Revisiting the Categorical Approach to Systems , 2002, AMAST.

[7]  Martin Wirsing,et al.  Timed Rewriting Logic with an Application to Object-Based Specification , 1997, Sci. Comput. Program..

[8]  Martin Wirsing,et al.  Which Soft Constraints do you Prefer? , 2009, WRLA.

[9]  Carolyn L. Talcott,et al.  A foundation for actor computation , 1997, Journal of Functional Programming.

[10]  Jan van Leeuwen,et al.  Computer Science Today , 1995, Lecture Notes in Computer Science.

[11]  James P. Brock.  8 – Evolutionary mode , 2000 .

[12]  M. D. Mesarović,et al.  Mathematical theory of general systems , 1971 .

[13]  Valentin Goranko,et al.  Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..

[14]  E. Doberkat.  Stochastic Relations : Foundations for Markov Transition Systems , 2007 .

[15]  Francesco Mondada,et al.  The marXbot, a miniature mobile robot opening new perspectives for the collective-robotic research , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[16]  Doina Bucur,et al.  Secure Data Flow in a Calculus for Context Awareness , 2008, Concurrency, Graphs and Models.

[17]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[18]  Grit Denker,et al.  Constraint-Muse: A Soft-Constraint Based System for Music Therapy , 2009, CALCO.

[19]  W. Ames.  Mathematics in Science and Engineering , 1999 .

[20]  Joseph A. Goguen,et al.  Sheaf semantics for concurrent interacting objects , 1992, Mathematical Structures in Computer Science.

[21]  Leslie Lamport,et al.  Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.

[22]  Gordon D. Plotkin,et al.  A Powerdomain Construction , 1976, SIAM J. Comput..

[23]  Narciso Martí-Oliet,et al.  All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.

[24]  Martin Wirsing,et al.  Software-Intensive Systems and New Computing Paradigms - Challenges and Visions , 2008, Software-Intensive Systems and New Computing Paradigms.

[25]  A. H. Klopf,et al.  Brain Function and Adaptive Systems: A Heterostatic Theory , 1972 .

[26]  Carolyn L. Talcott,et al.  A Rewriting Logic Framework for Soft Constraints , 2006, WRLA.

[27]  Manfred Broy,et al.  Formalizing the notion of adaptive system behavior , 2009, SAC '09.

[28]  María Victoria Cengarle,et al.  A Heterogeneous Approach to UML Semantics , 2008, Concurrency, Graphs and Models.

[29]  David Chillingworth.  Proceedings of the Symposium on Differential Equations and Dynamical Systems : University of Warwick, September 1968-August 1969, Summer School, July 15-25, 1969 , 1971 .

[30]  Martin Wirsing,et al.  Engineering of Software-Intensive Systems: State of the Art and Research Challenges , 2008, Software-Intensive Systems and New Computing Paradigms.

[31]  Yasuhiko Takahara,et al.  General Systems Theory: Mathematical Foundations , 1975 .

[32]  Jane Hillston,et al.  Process algebras for quantitative analysis , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

[33]  Nikil D. Dutt,et al.  A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems , 2007, FMOODS.

[34]  Manfred Broy,et al.  Engineering Software Intensive Systems , 2003, SNPD.

[35]  Kurt Schütte,et al.  Vollständige Systeme modaler und intuitionistischer Logik , 1968 .

[36]  Manfred Broy,et al.  A Logical Basis for Component-Oriented Software and Systems Engineering , 2010, Comput. J..

[37]  Peter Csaba Ölveczky,et al.  Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude , 2006, Formal Methods Syst. Des..

[38]  Eliseo Ferrante,et al.  ARGoS: A modular, multi-engine simulator for heterogeneous swarm robotics , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[39]  I. Chueshov.  Introduction to the Theory of In?nite-Dimensional Dissipative Systems , 2002 .