Formal Analysis of Architectural Patterns

Architectural patterns characterize and specify structural and behavioral properties of (sub)systems, thus allowing the provision of solutions for classes of problems.

[1]  Alexander L. Wolf,et al.  Chaining: A Software Architecture Dependence Analysis Technique , 1997 .

[2]  Paola Inverardi,et al.  Compositional verification of middleware-based software architecture descriptions , 2004, ICSE 2004.

[3]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[4]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[5]  Amy L. Murphy,et al.  Software engineering for mobility: a roadmap , 2000, ICSE '00.

[6]  David S. Rosenblum,et al.  Issues in supporting event-based architectural styles , 1998, ISAW '98.

[7]  David S. Rosenblum,et al.  Design and evaluation of a wide-area event notification service , 2001, TOCS.

[8]  Paola Inverardi,et al.  Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle , 2003, FME.

[9]  Alexander L. Wolf,et al.  Architecture-level dependence analysis in support of software maintenance , 1998, ISAW '98.

[10]  Birgitta König-Ries,et al.  Developing an Infrastructure for Mobile and Wireless Systems , 2001, Lecture Notes in Computer Science.

[11]  J. R. Büchi.  On a Decision Method in Restricted Second Order Arithmetic , 1990 .

[12]  Giovanni Vigna,et al.  Understanding Code Mobility , 1998, IEEE Trans. Software Eng..

[13]  Henry Muccini,et al.  Automated check of architectural models consistency using SPIN , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[14]  Mary Shaw,et al.  Toward boxology: preliminary classification of architectural styles , 1996, ISAW '96.

[15]  Stefania Gnesi,et al.  FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings , 2003, Lecture Notes in Computer Science.

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

[17]  David Garlan,et al.  Model Checking Publish-Subscribe Systems , 2003, SPIN.

[18]  David S. Rosenblum,et al.  Achieving scalability and expressiveness in an Internet-scale event notification service , 2000, PODC '00.

[19]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[20]  Alexander L. Wolf,et al.  Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications , 2003, IEEE Trans. Software Eng..

[21]  Alexander L. Wolf,et al.  Content-Based Networking: A New Communication Infrastructure , 2001, Infrastructure for Mobile and Wireless Systems.

[22]  Paola Inverardi,et al.  Checking consistency between architectural models using SPIN , 2001 .