Using LOTOS patterns to characterize architectural styles

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1214, Issue , 1997, Pages 818-832

  Heisel, Maritta ^a   Lévy, Nicole ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b CRIN INRIA CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE;

ARCHITECTURAL DESCRIPTIONS; ARCHITECTURAL STYLE; COMMUNICATION PATTERN; FORMAL DESCRIPTION LANGUAGE;

SOFTWARE DESIGN;

EID: 84949491373     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0030643     Document Type: Conference Paper

References (14)

1. G. Abowd, R. Allan, and D. Garlan. Using style to understand descriptions of software architecture. Proc. ACM SIGSOFT'93, Dec. 1993.
2. R. Allan and D. Garlan. Formalizing architectural connection. In Proe. 16th Int. Conf. on Software Engineering. ACM Press, 1994.
3. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25-59, 1987.
4. P. Clements. A survey of architecture description languages. In Proc. of the 8th IWSSD, pages 16-25, March 1996. IEEE.
5. J.C. Fernandez. Aldebaran: A tool for verification of communicating processes. Rapport SPECTRE C14, Laboratoire de Gdnie Informatique -- Institut IMAG, Grenoble, September 1989.
6. 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 l~th ICSE, May 1992. ACM.
7. D. Garlan, A. Kompanek, R. Melton, and R. Monroe. Architectural Style: An Object-Oriented Approach. In Submitted for publication, February 1996.
8. D. Garlan and M. Shaw. An introduction to software architecture. Advances in Software Engineering and Knowledge Engineering, World Scientific Publishing Company, 1, 1993.
9. M. Heisel, T. Santen, and D. Zimmermarm. Tool support for formal software development: A generic architecture. In W. Schgfer, P. Botella, eds, Proc. 5-th ESEC, LNCS 989, pages 272-293, 1995.
10. B. Krishnamurthy and D. Rosenblum. Yeast: a general purpose eventaction system. IEEE Trans. Software Eng., 21(10):845-857, Oct. 1995.
11. N. L6vy. Improving PROPLANE: a specifications development framework. In Proc. Second IFA C Int. Workshop on Safety and Reliability in Emerging Control Technologies, pages 229-240, Nov. 1995.
12. D. Luckham, A. 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.
13. M. Moriconi and X. Qian. Correctness and composition of software architectures. In David Wile, editor, Proc. of the second A CM SIGSOFT Syrup., pages 164-174. ACM Press, 1994.
14. J. Souquières and N. Lèvy. Description of Specification Developments. In Proc. [EEE Int. Syrup. on Requirements Engineering, Jan. 1993.