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)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, R., and Garlan, D. Formalizing architectural connection. In Proceedings of the 16thInternational Conference on Software Engineering (May 1994), pp. 71–80.
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.
Anlauff, M., and Sünbül, A. Component based software engineering for telecommunication software. In SCI/ISAS Conference, Orlando, Florida (1999). (to appear).
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.
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).
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).
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.
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.
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).
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.
Garlan, D., and Shaw, M.Software Architecture: Perspectives On An Emerging Discipline. Prentice Hall, 1995.
Gurevich, Y. Evolving Algebras 1993: Lipari Guide. In Specification and Validation Methods, E. Börger, Ed. Oxford University Press, 1995, pp. 9–36.
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.
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.
Magee, J., Dulay, N., Eisenbach, S., and Kramer, J. Specifying distributed software architectures. In Proceedings of 5th European Software Engineering Conference (ESEC 95) (1995).
Monroe, R. T., Garlan, D., and Wile, D. ACME Straw Manual. Tech. rep., Carnegie Mellon University, Pittsburgh, Nov. 1997. Version 0.1.1.
Potter, B., Sinclair, J., and Till, D.An Introduction to Formal Specification and Z. Prentice Hall, 1991.
Royce, W., and Royce, W. Software architecture: Integrating process and technology. TRW Space and Defense (1991).
Schumann, H., and Goedicke, M. Component-oriented software development with II. ISST-Berichte 21/94, ISST, Sept. 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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