Skip to main content
SpringerLink
Log in
Book cover

International Conference on Current Trends in Theory and Practice of Informatics

SOFSEM 2018: SOFSEM 2018: Theory and Practice of Computer Science pp 19–39Cite as

On Architecture Specification

  • Conference paper
  • First Online:

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

Abstract

The design, specification, and correct implementation of an architectural design are after the task of requirements specification the perhaps most important design decisions, when building large software or software based systems. Architectures are responsible for software quality, for a number of quality attributes such as maintainability, portability, changeability, reusability but also reliability, security, and safety. Therefore, the design of architectures is a key issue in system and software development. For highly distributed, networked systems and for cyber-physical systems we need a design concept which supports composition, parallelism, and concurrency and finally real time but keeps all of the general advantages of object-oriented programming. We describe an approach to specify and implement systems along the lines of some of the established concepts of object-orientation – such as inheritance and class instantiation. This leads to an approach that nevertheless provides an execution model which is parallel and concurrent in nature and supports real time and modular composition. This way, it lays the foundation of a software and systems engineering style where classical object-orientation can be extended to cyber-physical systems in straightforward way.

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 EPUB and 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

References

  1. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Monographs in Computer Science. Springer, New York (2001). https://doi.org/10.1007/978-1-4613-0091-5

    Book  MATH  Google Scholar 

  2. Broy, M., Krüger, I., Meisinger, M.: A formal model of services. TOSEM - ACM Trans. Softw. Eng. Methodol. 16, 5 (2007)

    Article  Google Scholar 

  3. Broy, M.: Interaction and realizability. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 29–50. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-69507-3_3

    Chapter  Google Scholar 

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

    Article  Google Scholar 

  5. Broy, M.: Computability and realizability for interactive computations. Inf. Comput. 241, 277–301 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  6. Broy, M.: Multifunctional software systems: structured modeling and specification of functional requirements. Sci. Comput. Program. 75, 1193–1214 (2010)

    Article  MATH  Google Scholar 

  7. Broy, M.: Theory and Methodology of assumption/commitment based system interface specification and architectural contracts, to appear

    Google Scholar 

  8. Clements, P., Bachmann, F., Bass, L., Garlan, D., Ivers, J., Little, R., Merson, P., Nord, R., Stafford, J.: Documenting Software Architectures: Views and Beyond, 2nd edn. Addison-Wesley, Boston (2010)

    Google Scholar 

  9. Derler, P., Lee, E.A., Tripakis, S., Törngren, M.: Cyber-physical system design contracts. In: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS 2013), pp. 109–118. ACM, New York, (2013)

    Google Scholar 

  10. Henzinger, Th.A., Qadeer, S., Rajamani, S.K.: Decomposing refinement proofs using assume-guarantee reasoning. In: Proceedings of the International Conference on Computer-Aided Design (ICCAD), pp. 245–252. IEEE Computer Society Press (2000)

    Google Scholar 

  11. Meyer, B.: Applying “Design by Contract”. Computer 25(10), 40–51 (1992). IEEE

    Article  Google Scholar 

  12. Sangiovanni-Vincentelli, A., Damm, W., Passerone, R.: Taming Dr. Frankenstein contract-based design for cyber-physical systems. Europ. J. Control 18(3), 217–238 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  13. Soderberg, A., Vedder, B.: Composable safety-critical systems based on pre-certified software components. In: 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 343–348, November 2012

    Google Scholar 

  14. Toerngren, M., Tripakis, S., Derler, P., Lee, E.A.: Design contracts for cyber-physical systems: making timing assumptions explicit. Technical report UCB/EECS-2012–191, EECS Department. University of California, Berkeley, August 2012

    Google Scholar 

  15. Tripakis, S., Lickly, B., Henzinger, Th.A., Lee, E.A.: A theory of synchronous relational interfaces. ACM Trans. Program. Lang. Syst. 33(4), 14:1–14:41 (2011)

    Google Scholar 

  16. Westmann, J.: Specifying safety-critical heterogeneous systems using contracts theory. KTH, Industrial Engineering and Management. Doctoral thesis Stockholm, Sweden (2016)

    Google Scholar 

Download references

Acknowledgement

It is a pleasure to thank my colleagues for stimulating discussions.

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, 80290, Munich, Germany

    Manfred Broy

Authors
  1. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Manfred Broy .

Editor information

Editors and Affiliations

  1. Vienna University of Technology , Vienna, Austria

    A Min Tjoa

  2. ISAE-ENSMA, Chasseneuil-du-Poitou, France

    Ladjel Bellatreche

  3. Vienna University of Technology, Vienna, Austria

    Stefan Biffl

  4. Utrecht University, Utrecht, The Netherlands

    Jan van Leeuwen

  5. Academy of Sciences, Prague, Czech Republic

    Jiří Wiedermann

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Broy, M. (2018). On Architecture Specification. In: Tjoa, A., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds) SOFSEM 2018: Theory and Practice of Computer Science. SOFSEM 2018. Lecture Notes in Computer Science(), vol 10706. Edizioni della Normale, Cham. https://doi.org/10.1007/978-3-319-73117-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-73117-9_2

  • Published:

  • Publisher Name: Edizioni della Normale, Cham

  • Print ISBN: 978-3-319-73116-2

  • Online ISBN: 978-3-319-73117-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation