Abstract
We show how the formal description language LOTOS can be used to define software architectures and how patterns over LOTOS can serve to characterize architectural styles. We characterize styles by giving characteristics of the involved processes, a top-level communication pattern, and constraints that are sufficient conditions for a concrete architectural description to be an instance of a given style. Three style characterizations are presented and illustrated by an example.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
G. Abowd, R. Allan, and D. Garlan. Using style to understand descriptions of software architecture. Proc. ACM SIGSOFT'93, Dec. 1993.
R. Allan and D. Garlan. Formalizing architectural connection. In Proc. 16th Int. Conf. on Software Engineering. ACM Press, 1994.
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25–59, 1987.
P. Clements. A survey of architecture description languages. In Proc. of the 8th IWSSD, pages 16–25, March 1996. IEEE.
J.C. Fernandez. Aldebaran: A tool for verification of communicating processes. Rapport SPECTRE C14, Laboratoire de Génie Informatique-Institut IMAG, Grenoble, September 1989.
J.C. Fernandez, H. Garavel, L. Mounier, A. Rasse, C. Rodriguez, and J. Sifakis. A Toolbox for the Verification of LOTOS Programs. In Lori A. Clarke, editor, Proc. of the 14th ICSE, May 1992. ACM.
D. Garlan, A. Kompanek, R. Melton, and R. Monroe. Architectural Style: An Object-Oriented Approach. In Submitted for publication, February 1996.
D. Garlan and M. Shaw. An introduction to software architecture. Advances in Software Engineering and Knowledge Engineering, World Scientific Publishing Company, 1, 1993.
M. Heisel, T. Santen, and D. Zimmermann. Tool support for formal software development: A generic architecture. In W. Schäfer, P. Botella, eds, Proc. 5-th ESEC, LNCS 989, pages 272–293, 1995.
B. Krishnamurthy and D. Rosenblum. Yeast: a general purpose event-action system. IEEE Trans. Software Eng., 21(10):845–857, Oct. 1995.
N. Lévy. Improving PROPLANE: a specifications development framework. In Proc. Second IFAC Int. Workshop on Safety and Reliability in Emerging Control Technologies, pages 229–240, Nov. 1995.
D. Luckham, J. Kenney, L. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and analysis of system architecture using Rapide. IEEE Trans. Software Eng., 21(4):336–355, April 1995.
M. Moriconi and X. Qian. Correctness and composition of software architectures. In David Wile, editor, Proc. of the second ACM SIGSOFT Symp., pages 164–174. ACM Press, 1994.
J. Souquières and N. Lévy. Description of Specification Developments. In Proc. IEEE Int. Symp. on Requirements Engineering, Jan. 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heisel, M., Lévy, N. (1997). Using LOTOS patterns to characterize architectural styles. In: Bidoit, M., Dauchet, M. (eds) TAPSOFT '97: Theory and Practice of Software Development. CAAP 1997. Lecture Notes in Computer Science, vol 1214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030643
Download citation
DOI: https://doi.org/10.1007/BFb0030643
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62781-4
Online ISBN: 978-3-540-68517-3
eBook Packages: Springer Book Archive