Skip to main content
SpringerLink
Log in

Toward Specifications for Reconfigurable Component Systems

(Preliminary Abstract)

  • Conference paper
Petri Nets and Other Models of Concurrency – ICATPN 2007 (ICATPN 2007)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4546))

Included in the following conference series:

Abstract

Serious developments concerning formal aspects of software specification, verification and development initially addressed programming-in-the-small: description, analysis and verification of relatively simple (iterative) programs. This phase was marked with achievements like Hoare’s logic [Hoa69], formalising the earlier proposals concerning proofs of correctness of iterative programs. Early work of Parnas [Par72b, Par72a] advanced programming-in-the-large, undertaking the issues of modularity and abstraction.

This work was funded in part by the European IST FET programme under the IST-2005-015905 MOBIUS and IST-2005-016004 SENSORIA projects.

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. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)

    Article  Google Scholar 

  2. Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol. 86, pp. 292–332. Springer, Heidelberg (1980)

    Google Scholar 

  3. Bidoit, M., Hennicker, R.: Constructor-based observational logic. Journal of Logic and Algebraic Programming 67(1-2), 3–51 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  4. Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F., Sannella, D. (eds.): Algebraic System Specification and Development. LNCS, vol. 501. Springer, Heidelberg (1991)

    MATH  Google Scholar 

  5. Chapters by Mossakowski, T., Sannella, D., Tarlecki, A. In: Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol. 2900 Springer, Heidelberg (2004)

    Google Scholar 

  6. Booch, G.: Object-Oriented Analysis and Design with Applications, 2nd edn. Addison-Wesley, London (1994)

    Google Scholar 

  7. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, London (1998)

    Google Scholar 

  8. Bidoit, M., Sannella, D., Tarlecki, A.: Architectural specifications in CASL. Formal Aspects of Computing 13, 252–273 (2002)

    Article  MATH  Google Scholar 

  9. Bidoit, M., Sannella, D., Tarlecki, A.: Observational interpretation of Casl specifications. Research Report LSV-06-16, Laboratoire Spécification et Vérification, ENS Cachan (Submitted for publication 2006)

    Google Scholar 

  10. Mosses, P.D. (ed.): CASL Reference Manual. Lecture Notes in Computer Science (IFIP Series), vol. 2960. Springer, Heidelberg (2004)

    Google Scholar 

  11. Fiadeiro, J.L., Lopes, A., Wermelinger, M.: A mathematical semantics for architectural connectors. In: Backhouse, R., Gibbons, J. (eds.) Generic Programming. LNCS, vol. 2793, pp. 178–221. Springer, Heidelberg (2003)

    Google Scholar 

  12. Goguen, J.A., Burstall, R.M.: Introducing institutions. In: Clarke, E., Kozen, D. (eds.) Logics of Programs. LNCS, vol. 164, pp. 221–256. Springer, Heidelberg (1984)

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  14. Goguen, J.A., Malcolm, G.: A hidden agenda. Theoretical Computer Science 245(1), 55–101 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  15. Goguen, J.A., Rosu, G.: Institution morphisms. Formal Aspects of Compututing 13(3-5), 274–307 (2002)

    Article  MATH  Google Scholar 

  16. Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness, and implementation of abstract data types. In: Yeh, R. (ed.) Current Trends in Programming Methodology, IV, pp. 80–149. Prentice-Hall, Englewood Cliffs (1978)

    Google Scholar 

  17. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576–583 (1969)

    Article  MATH  Google Scholar 

  18. Hoare, C.A.R.: Proof of correctness of data representations. Acta Informatica 1(4), 271–281 (1972)

    Article  MATH  Google Scholar 

  19. Jones, C.B.: The early search for tractable ways of reasoning about programs. IEEE Annals of the History of Computing 25(2), 26–49 (2003)

    Article  MathSciNet  Google Scholar 

  20. Kahrs, S., Sannella, D., Tarlecki, A.: The definition of Extended ML: A gentle introduction. Theoretical Computer Science 173, 445–484 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  21. Mossakowski, T.: Heterogeneous development graphs and heterogeneous borrowing. In: Nielsen, M., Engberg, U. (eds.) ETAPS 2002 and FOSSACS 2002. LNCS, vol. 2303, pp. 326–341. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  22. Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Communications of the ACM 15(12), 1053–1058 (1972)

    Article  Google Scholar 

  23. Parnas, D.L.: A technique for software module specification with examples. Communications of the ACM 15(5), 330–336 (1972)

    Article  Google Scholar 

  24. Reichel, H.: Behavioral program specification. In: Poigné, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol. 240, pp. 390–411. Springer, Heidelberg (1986)

    Google Scholar 

  25. Sannella, D., Tarlecki, A.: Specifications in an arbitrary institution. Information and Computation 76, 165–210 (1988)

    Article  MathSciNet  Google Scholar 

  26. Sannella, D., Tarlecki, A.: Toward formal development of programs from algebraic specifications: Implementations revisited. Acta Informatica 25, 233–281 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  27. Sannella, D., Tarlecki, A.: Essential concepts of algebraic specification and program development. Formal Aspects of Computing 9, 229–269 (1997)

    Article  MATH  Google Scholar 

  28. Tarlecki, A.: Moving between logical systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Recent Trends in Data Type Specification. LNCS, vol. 1130, pp. 478–502. Springer, Heidelberg (1996)

    Google Scholar 

  29. Tarlecki, A.: Towards heterogeneous specifications. In: Gabbay, D., de Rijke, M. (ed.) Frontiers of Combining Systems 2, Studies in Logic and Computation, pp. 337–360. Research Studies Press (2000)

    Google Scholar 

  30. Tarlecki, A.: Abstract specification theory: An overview. In: Broy, M., Pizka, M. (eds.) Models, Algebras, and Logics of Engineering Software. NATO Science Series — Computer and System Sciences, vol. 191, pp. 43–79. IOS Press, Amsterdam (2003)

    Google Scholar 

  31. Wooldridge, M.: An Introduction to MultiAgent Systems. Wiley, Chichester (2001)

    Google Scholar 

  32. Zawłocki, A.: Diagram models of interacting components. Technical report, Institute of Informatics, Warsaw University (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, Warsaw University, Institute of Computer Science PAS, Warsaw, Poland

    Andrzej Tarlecki

Authors
  1. Andrzej Tarlecki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jetty Kleijn Alex Yakovlev

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Tarlecki, A. (2007). Toward Specifications for Reconfigurable Component Systems. In: Kleijn, J., Yakovlev, A. (eds) Petri Nets and Other Models of Concurrency – ICATPN 2007. ICATPN 2007. Lecture Notes in Computer Science, vol 4546. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73094-1_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-73094-1_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-73093-4

  • Online ISBN: 978-3-540-73094-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation