Skip to main content
SpringerLink
Log in

Abstract State Machines for the Composition of Architectural Styles

  • Conference paper
  • First Online:
Book cover Perspectives of System Informatics (PSI 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1755))

Abstract

Software architecture is widely recognized as one of the most fundamental concepts in software engineering, because of the fact, that today’s software systems are assembled from components with different characteristics: for example heterogenous, legacy or distributed systems. At the software architecture level, designers combine subsystems into complete systems using different techniques, e.g. “Architecture Description Languages” (ADLs). There exists a number of ADLs, each of which is specialized for one or more architectural styles. They are designed by different research groups with different goals in mind corresponding to their mental model on how software architecture can be expressed in the most efficient and elegant way. As a result, ADLs are not compatible with each other, so that it is difficult to present a homogeneous view of the software architecture of a system assembled from different components. This paper presents an approach how architectural styles can be combined using a concept of ADL-interchange.

This research was supported by the German Research Society, Berlin-Brandenburg Graduate School in Distributed Information Systems (DFG grant no. GRK 316)

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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., and Garlan, D. Formalizing architectural connection. In Proceedings of the 16thInternational Conference on Software Engineering (May 1994), pp. 71–80.

    Google Scholar 

  2. Anlauff, M., Kutter, P., and Pierantonio, A. Formal Aspects of and Development Environments for Montages. In 2nd International Workshop on the Theory and Practice of Algebraic Specifications (Amsterdam, 1997), M. Sellink, Ed., Workshops in Computing, Springer.

    Google Scholar 

  3. Anlauff, M., and Sünbül, A. Component based software engineering for telecommunication software. In SCI/ISAS Conference, Orlando, Florida (1999). (to appear).

    Google Scholar 

  4. Batory, D. Intelligent components and software generators. Tech. Rep. 97-06, Department of Computer Sciences, University of Texas at Austin, April 1997. Invited presentation to the Software Quality Institute Symposium on Software Reliability.

    Google Scholar 

  5. Binns, P., and Vestal, S. Formal real-time architecture specification and analysis. In Tenth IEEE Workshop on Real-Time Operating Systems and Software (New York, NY, May 1993).

    Google Scholar 

  6. Boehm, B. W., Garlan, D., Kramer, J., Kruchten, P., Luckham, D., Salasin, J., and Wolf, A. L. ICSE98 Panel: Are new-generation architecture description languages useful. In ICSE98 (1998).

    Google Scholar 

  7. Börger, E., and Mazzanti, S. A Practical Method for Rigorously Controllable Hardware Design. In ZUM’97: The Z Formal Specification Notation, J. Bowen, M. Hinchey, and D. Till, Eds., vol. 1212 of LNCS. Springer, 1996, pp. 151–187.

    Google Scholar 

  8. Ciancarini, P., and Mascolo, C. Analyzing and refining an architectural style. In ZUM’ 97: The Z Formal Specification Notation, 10th International Conference of Z Users (Reading, UK, April 1997), J. Bowen, M. Hinchey, and D. Till, Eds., vol. 1212 of LNCS.

    Google Scholar 

  9. Englehart, M., and Jackson, M. ControlH: A fourth generation language for real-time GN&C applications. In Proceedings of the CACSD (Tucson, AZ, March 1994).

    Google Scholar 

  10. Garlan, D., Allen, R., and Ockerbloom, J. Exploiting style in architectural design environments. In Proceedings of SIGSOFT’ 94: The Second ACM SIGSOFT symposium on the Foundations of Software Engineering (Dec. 1995), ACM Press, pp. 179–185.

    Google Scholar 

  11. Garlan, D., and Shaw, M.Software Architecture: Perspectives On An Emerging Discipline. Prentice Hall, 1995.

    Google Scholar 

  12. Gurevich, Y. Evolving Algebras 1993: Lipari Guide. In Specification and Validation Methods, E. Börger, Ed. Oxford University Press, 1995, pp. 9–36.

    Google Scholar 

  13. Gurevich, Y., and Huggins, J. The Semantics of the C Programming Language. In Computer Science Logic, E. Börger, H. Kleine Büning, G. Jäger, S. Martini, and M. M. Richter, Eds., vol. 702 of LNCS. Springer, 1993, pp. 274–309.

    Google Scholar 

  14. Luckham, D., Augustine, L., Kenney, J., Veera, J., Bryan, D., and Mann, W. Specification and analysis of system architecture using rapide. In IEEE Transactions on Software Engineering, Special Issue on Software Architecture (Apr. 1995), vol. 21(4), pp. 336–355.

    Google Scholar 

  15. Magee, J., Dulay, N., Eisenbach, S., and Kramer, J. Specifying distributed software architectures. In Proceedings of 5th European Software Engineering Conference (ESEC 95) (1995).

    Google Scholar 

  16. Monroe, R. T., Garlan, D., and Wile, D. ACME Straw Manual. Tech. rep., Carnegie Mellon University, Pittsburgh, Nov. 1997. Version 0.1.1.

    Google Scholar 

  17. Potter, B., Sinclair, J., and Till, D.An Introduction to Formal Specification and Z. Prentice Hall, 1991.

    Google Scholar 

  18. Royce, W., and Royce, W. Software architecture: Integrating process and technology. TRW Space and Defense (1991).

    Google Scholar 

  19. Schumann, H., and Goedicke, M. Component-oriented software development with II. ISST-Berichte 21/94, ISST, Sept. 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computergestützte Informationssysteme (CIS), Technische Universität Berlin, Sekr. E-N7, Einsteinufer 17, D-10587, Berlin, Germany

    Asuman Sünbül

Authors
  1. Asuman Sünbül
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Technology, Technical University of Denmark, Bldg. 244, 2800, Lyngby, Denmark

    Dines Bjøner

  2. Computer Science Department, Technical University of Munich, Arcisstr. 21, 80290, Munich, Germany

    Manfred Broy

  3. A.P. Ershov Institute of Informatics Systems, av. Ac. Lavrentyev 6, Novosibirsk, 630090, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sünbül, A. (2000). Abstract State Machines for the Composition of Architectural Styles. In: Bjøner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 1999. Lecture Notes in Computer Science, vol 1755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46562-6_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-46562-6_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67102-2

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation