Software Architecture

In our experience the implementation of software systems frequently does not conform very closely to the planned architecture. For this reason we decided to implement source code architecture conformance checking support for Sotograph, our software analysis environment. Besides providing a conformance check for a single version of a system, Sotograph supports also trend analysis. I.e., the investigation of the evolution of a software system and the changes in architecture violations between a number of versions.

[1]  Nenad Medvidovic,et al.  Enabling the Refinement of a Software Architecture into a Design , 1999, UML.

[2]  Mary Shaw,et al.  Abstractions and implementations for architectural connections , 1996, Proceedings of International Conference on Configurable Distributed Systems.

[3]  Richard F. Hilliard,et al.  Building Blocks for Extensibility in the UML: Response to UML 2.0 Request For Information , 2000 .

[4]  Alexander Egyed.  Consistent Architectural Refinement and Evolution using the Unified Modeling Language , 2001 .

[5]  D. Kozen.  Results on the Propositional µ-Calculus , 1982 .

[6]  David S. Wile.  AML: an Architecture Meta-Language , 1999, 14th IEEE International Conference on Automated Software Engineering.

[7]  David Garlan,et al.  Exploiting style in architectural design environments , 1994, SIGSOFT '94.

[8]  Paola Inverardi,et al.  Static checking of system behaviors using derived component assumptions , 2000, TSEM.

[9]  Colin Stirling,et al.  Modal and Temporal Properties of Processes , 2001, Texts in Computer Science.

[10]  David Garlan,et al.  Reconciling the needs of architectural description with object-modeling notations , 2000, Sci. Comput. Program..

[11]  Radu Mateescu,et al.  XTL: A Meta-Language and Tool for Temporal Logic Model-Checking , 1998 .

[12]  Xiaolei Qian,et al.  Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..

[13]  Robert L. Nord,et al.  Describing Software Architecture with UML , 1999, WICSA.

[14]  Flavio Oquendo,et al.  Etat de l'art sur les styles architecturaux : classification et comparaison des langages de description d'architectures logicielles , 2002 .

[15]  Manfred Broy,et al.  Specification and Development of Interactive Systems , 2001, Monographs in Computer Science.

[16]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[17]  José Meseguer,et al.  Rewriting logic: roadmap and bibliography , 2002, Theor. Comput. Sci..

[18]  Robert D. Tennent,et al.  Language design methods based on semantic principles , 1977, Acta Informatica.

[19]  Robert A. Riemenschneider,et al.  Introduction to SADL 1.0: A Language for Specifying Software Architecture Hierarchies , 1997 .

[20]  Davide Sangiorgi,et al.  Expressing mobility in process algebras : first-order and higher-order paradigms , 1993 .

[21]  Maritta Heisel,et al.  Using LOTOS Patterns to Characterize Architectural Styles , 1997, TAPSOFT.

[22]  Jorge Enrique,et al.  Heavyweight extensions to the UML metamodel to describe the C3 architectural style , 2003 .

[23]  Robert T. Monroe.  Capturing Software Architecture Design Expertise with Armani , 2000 .

[24]  Nenad Medvidovic,et al.  Towards a taxonomy of software connectors , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[25]  Bernhard Rumpe,et al.  UML+ROOM as a standard ADL? , 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).

[26]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[27]  David Garlan,et al.  Documenting software architectures: views and beyond , 2002, 25th International Conference on Software Engineering, 2003. Proceedings..

[28]  Bernhard Rumpe,et al.  Refinement of Pipe-and-Filter Architectures , 1999, World Congress on Formal Methods.

[29]  Nenad Medvidovic,et al.  Modeling software architectures in the Unified Modeling Language , 2002, TSEM.

[30]  Nicole Lévy,et al.  Variations sur le style architectural Pipe and Filter , 2000 .

[31]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[32]  Cris Kobryn,et al.  Architecting Systems with UML 2.0 , 2003, IEEE Softw..

[33]  A. Kerschbaumer.  Non-refinement Transformations of Software Architectures , 2002 .

[34]  Mary Shaw.  Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status , 1993, ICSE Workshop on Studies of Software Design.

[35]  Richard N. Taylor,et al.  Architecture-based specification-time software evolution , 1999 .

[36]  David S. Rosenblum,et al.  UML Component Diagrams and Software Architecture Experiences from the WREN Project , 2001 .

[37]  Paola Inverardi,et al.  Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model , 1995, IEEE Trans. Software Eng..

[38]  Naranker Dulay,et al.  Specifying Distributed Software Architectures , 1995, ESEC.

[39]  Alfred Strohmeier,et al.  Towards a UML Profile for Software Architecture , 2000 .

[40]  Christopher Strachey,et al.  Fundamental Concepts in Programming Languages , 2000, High. Order Symb. Comput..

[41]  Walter Mann,et al.  Correction to "Specification and Analysis of System Architecture Using Rapide" , 1995, IEEE Trans. Software Eng..

[42]  Andreas Rausch.  Towards a Software Architecture Specification Language based on UML and OCL , 2001 .

[43]  Flávio Oquendo.  π-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures , 2004, SOEN.