Using LOTOS Patterns to Characterize Architectural Styles

We show how the formal description language LOTOS can be used to de ne 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 su cient conditions for a concrete architectural description to be an instance of a given style. Three style characterizations are presented and illustrated by an example.

• Type: Conference
• Year: 1997
• Where: TAPSOFT
• Authors: Maritta Heisel, Nicole Lévy
• Keywords: Description Language Lotos, Ne Software Architectures, Software Engineering, TAPSOFT 1997, Top-level Communication Pattern