Skip to main content
SpringerLink
Log in

Formal Ensemble Engineering

  • Chapter
Software-Intensive Systems and New Computing Paradigms

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5380))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brewka, G., Dix, J., Konolige, K.: Nonmonotonic Reasoning - An Overview. CSLI publications (1997)

    Google Scholar 

  2. Byrne, G.: Is it time to give airlines the freedom of the skies? New Scientist 2351, 12 (2002)

    Google Scholar 

  3. Cardelli, L., Gordon, A.: Mobile ambients. Theoretical Computer Science 240(1), 177–213 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  4. Fidge, C.J., Hayes, I.J., Martin, A.P., Wabenhorst, A.K.: A set-theoretic model for real-time specification and reasoning. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol. 1422, pp. 188–206. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  5. Goldstein, S.C., Campbell, J.D., Mowry, T.C.: Programmable matter. IEEE Computer 38(6), 99–101 (2005)

    Article  Google Scholar 

  6. Hölzl, M., Wirsing, M.: State of the art for the engineering of software-intensive systems. InterLink Deliverable Number D3.1 (2007), http://interlink.ics.forth.gr/central.aspx?sId=84I238I744I323I344283

  7. Klir, G.J., Yuan, B.: Fuzzy sets and fuzzy logic: theory and applications. Prentice-Hall, Englewood Cliffs (1995)

    MATH  Google Scholar 

  8. Kwiatkowska, M., Norman, G., Parker, D., Sproston, J.: Verification of real-time probabilistic systems. In: Merz, S., Navet, N. (eds.) Modeling and Verification of Real-Time Systems: Formalisms and Software Tools, ch. 8, pp. 249–288. John Wiley & Sons, Chichester (2008)

    Chapter  Google Scholar 

  9. McComb, T., Smith, G.: A minimal set of refactoring rules for Object-Z. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 170–184. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  10. McIver, A.K., Morgan, C.C.: Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  11. Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  12. Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Software and Systems Modelling 6(1), 83–110 (2006)

    Article  Google Scholar 

  13. Mitchell, T.M.: Machine Learning. McGraw-Hill, New York (1997)

    MATH  Google Scholar 

  14. Morgan, C.C., McIver, A.K., Sanders, J.W.: Probably Hoare? Hoare probably! In: Davies, J., Roscoe, A.W., Woodcock, J.C.P. (eds.) Millenial Perspectives in Computer Science, pp. 271–282. Palgrave (2000)

    Google Scholar 

  15. RTCA Task Force 3. Final Report on Free Flight Implementation. RTCA Inc. (1995)

    Google Scholar 

  16. Saito, M., Tsukamoto, J., Umedu, T., Higashino, T.: Design and evaluation of inter-vehicle dissemination protocol for propagation of preceding traffic information. IEEE Transactions on Intelligent Transportation Systems 8(3), 379–390 (2007)

    Article  Google Scholar 

  17. Sanders, J.W., Turilli, M.: Dynamics of control. In: Theoretical Aspects of Software Engineering (TASE 2007), pp. 440–449. IEEE Computer Society, Los Alamitos (2007); Expanded version available as: UNU-IIST report 353, http://www.iist.unu.edu

    Google Scholar 

  18. Smith, G.: Stepwise development from ideal specifications. In: Edwards, J. (ed.) Australasian Computer Science Conference (ACSC 2000). Australian Computer Science Communications, vol. 22, pp. 227–233. IEEE Computer Society Press, Los Alamitos (2000)

    Google Scholar 

  19. Smith, G.: Specifying mode requirements of embedded systems. In: Oudshoorn, M. (ed.) Australasian Computer Science Conference (ASCS 2002). Australian Computer Science Communications, vol. 24, pp. 251–258. Australian Computer Society (2002)

    Google Scholar 

  20. Wooldridge, M.: An Introduction to MultiAgent Systems. John Wiley & Sons, Chichester (2002)

    Google Scholar 

  21. Zambonelli, F., Omicini, A.: Challenges and research directions in agent-oriented software engineering. Autonomous Agents and Multi-Agent Systems 9(3), 253–283 (2004)

    Article  Google Scholar 

  22. Chaochen, Z., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Information Processing Letters 40, 269–271 (1991)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. International Institute for Software Technology, United Nations University, Macao, China

    J. W. Sanders

  2. School of Information Technology and Electrical Engineering, The University of Queensland, Australia

    Graeme Smith

Authors
  1. J. W. Sanders
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Graeme Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing  & Axel Rauschmayer  & 

  2. Université de Rennes I and INRIA/IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France

    Jean-Pierre Banâtre

  3. Ludwig-Maximilians-Universität München, Germany

    Matthias Hölzl

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Sanders, J.W., Smith, G. (2008). Formal Ensemble Engineering. In: Wirsing, M., Banâtre, JP., Hölzl, M., Rauschmayer, A. (eds) Software-Intensive Systems and New Computing Paradigms. Lecture Notes in Computer Science, vol 5380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89437-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89437-7_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89436-0

  • Online ISBN: 978-3-540-89437-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation