Skip to main content
SpringerLink
Log in
Book cover

Formal Modeling: Actors, Open Systems, Biological Systems pp 241–261Cite as

Towards a System Model for Ensembles

  • Chapter

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

Abstract

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.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. InterLink Project, http://interlink.ics.forth.gr/central.aspx (last accessed 2011-05-10)

  2. Hölzl, M., Rauschmayer, A., Wirsing, M.: Engineering of software-intensive systems: State of the art and research challenges. In: Wirsing, M., Banâtre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) Soft-Ware Intensive Systems. LNCS, vol. 5380, pp. 1–44. Springer, Heidelberg (2008)

    Google Scholar 

  3. Wirsing, M., Denker, G., Talcott, C.L., Poggio, A., Briesemeister, L.: A rewriting logic framework for soft constraints. ENTCS 176(4), 181–197 (2007)

    Google Scholar 

  4. Hölzl, M., Meier, M., Wirsing, M.: Which soft constraints do you prefer? ENTCS 238(3), 189–205 (2009)

    Google Scholar 

  5. Hölzl, M., Denker, G., Meier, M., Wirsing, M.: Constraint-Muse: A soft-constraint based system for music therapy. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol. 5728, pp. 423–432. Springer, Heidelberg (2009)

    Google Scholar 

  6. Goguen, J.A.: Sheaf semantics for concurrent interacting objects. Mathematical Structures in Computer Science 2(2), 159–191 (1992)

    Google Scholar 

  7. Mesarović, M.D., Takahara, Y.: General Systems Theory: Mathematical Foundations. Mathematics in Science and Engineering, vol. 113. Academic Press, New York (1975)

    Google Scholar 

  8. Mesarović, M.D.: Mathematical theory of general systems. In: Chillingworth, D. (ed.) Proceedings of the Symposium on Differential Equations and Dynamical Systems. Lecture Notes in Mathematics, vol. 206, pp. 14–15. Springer, Heidelberg (1971)

    Google Scholar 

  9. Naundorf, H.: A general model for object-based systems. Preprint, Universität Paderborn (July 1995), http://www-math.uni-paderborn.de/preprints/preprints_data/Naundorf/naungMobS1.ps.gz

  10. Broy, M.: Mathematical system models as a basis of software engineering. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol. 1000, pp. 292–306. Springer, Heidelberg (1995)

    Google Scholar 

  11. Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J. 53(10), 1758–1782 (2010)

    Google Scholar 

  12. Broy, M., Leuxner, C., Sitou, W., Spanfelner, B., Winter, S.: Formalizing the notion of adaptive system behavior. In: Shin, S.Y., Ossowski, S. (eds.) SAC, pp. 1029–1033. ACM (2009)

    Google Scholar 

  13. Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical. Structures in Comp. Sci. 14, 329–366 (2004)

    Google Scholar 

  14. Lopes, A., Fiadeiro, J.L.: Revisiting the categorical approach to systems. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 426–440. Springer, Heidelberg (2002)

    Google Scholar 

  15. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press Series in Artificial Intelligence. MIT Press (1986)

    Google Scholar 

  16. Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program. 7(1), 1–72 (1997)

    Google Scholar 

  17. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.L. (eds.): All About Maude - A High-Performance Logical Framework. How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol. 4350. Springer, Heidelberg (2007)

    Google Scholar 

  18. Kim, M., Stehr, M.O., Talcott, C.L., Dutt, N.D., Venkatasubramanian, N.: A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 285–300. Springer, Heidelberg (2007)

    Google Scholar 

  19. Ölveczky, P.C., Meseguer, J., Talcott, C.L.: Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. Formal Methods in System Design 29(3), 253–293 (2006)

    Google Scholar 

  20. Brock, J.P.: The Evolution of Adaptive Systems: The General Theory of Evolution. Academic Press (2000)

    Google Scholar 

  21. Klopf, A.H.: Brain function and adaptive systems—a heterostatic theory. Special Report 133, Air Force Cambridge Res. Lab., USAF (March 1972)

    Google Scholar 

  22. Schütte, K.: Vollständige Systeme modaler und intuitionistischer Logik. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 42. Springer, Heidelberg (1968)

    Google Scholar 

  23. Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edn. Cambridge University Press, New York (2004)

    Google Scholar 

  24. Kosiuczenko, P., Wirsing, M.: Timed rewriting logic with an application to object-based specification. Sci. Comput. Program. 28(2-3), 225–246 (1997)

    Google Scholar 

  25. Lamport, L.: Specifying Systems. In: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley (2002)

    Google Scholar 

  26. Bonani, M., Longchamp, V., Magnenat, S., Rtornaz, P., Burnier, D., Roulet, G., Vaussard, F., Bleuler, H., Mondada, F.: The MarXbot, a Miniature Mobile Robot Opening new Perspectives for the Collective-robotic Research. In: Int. Conf. on Intel. Robots and Systems (IROS), pp. 4187–4193. IEEE Press (2010)

    Google Scholar 

  27. Pinciroli, C., Trianni, V., O’Grady, R., Pini, G., Brutschy, A., Brambilla, M., Mathews, N., Ferrante, E., Caro, G.D., Ducatelle, F., Stirling, T., Gutiérrez, A., Gambardella, L.M., Dorigo, M.: ARGoS: a modular, multi-engine simulator for heterogeneous swarm robotics. Technical Report TR/IRIDIA/2011-009, IRIDIA, Université Libre de Bruxelles, Brussels, Belgium (2011)

    Google Scholar 

  28. Chueshov, I.D.: Introduction to the Theory of Infinite-Dimensional Dissipative Systems. Acta (2002)

    Google Scholar 

  29. Plotkin, G.D.: A powerdomain construction. SIAM J. of Computing (1976)

    Google Scholar 

  30. Plotkin, G.D.: Domains (Pisa Notes) (1983)

    Google Scholar 

  31. Hillston, J.: Process algebras for quantitative analysis. In: LICS. IEEE Computer Society, pp. 239–248 (2005)

    Google Scholar 

  32. De Nicola, R., Katoen, J.P., Latella, D., Massink, M.: STOKLAIM: A Stochastic Extension of KLAIM. Technical Report 2006-TR-01, DSIF, Firenze (2006)

    Google Scholar 

  33. De Nicola, R., Katoen, J.P., Latella, D., Loreti, M., Massink, M.: MoSL: A Stochastic Logic for StoKlaim. Technical Report ISTI-06-35, DSIF, Firenze (2006)

    Google Scholar 

  34. Agha, G.A., Meseguer, J., Sen, K.: Pmaude: Rewrite-based specification language for probabilistic object systems. Electr. Notes Theor. Comput. Sci. 153(2), 213–239 (2006)

    Google Scholar 

  35. Doberkat, E.E.: Stochastic Relations: Foundations for Markov Transition Systems. Studies in Informatics. Chapman & Hall/CRC (2007)

    Google Scholar 

  36. Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. J. ACM 39(1), 95–146 (1992)

    Google Scholar 

  37. Mossakowski, T.: Heterogeneous Specification and the Heterogeneous Tool Set. Habilitation thesis, Universität Bremen (2005)

    Google Scholar 

  38. Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A heterogeneous approach to UML semantics. In: Degano, P., Nicola, R.D., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 383–402. Springer, Heidelberg (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Ludwig-Maximilians-Universität München, Germany

    Matthias Hölzl & Martin Wirsing

Authors
  1. Matthias Hölzl
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Thomas M. Siebel Center for Computer Science, University of Illinois, 201 N. Goodwin Avenue, MC 258, 61801, Urbana, IL, USA

    Gul Agha

  2. Department of Computer Science, Aarhus University, Abogade 34, 8200, Aarhus N, Denmark

    Olivier Danvy

  3. University of Illinois at Urbana-Champaign, USA

    José Meseguer

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Hölzl, M., Wirsing, M. (2011). Towards a System Model for Ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds) Formal Modeling: Actors, Open Systems, Biological Systems. Lecture Notes in Computer Science, vol 7000. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24933-4_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24933-4_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24932-7

  • Online ISBN: 978-3-642-24933-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation