Formal analysis of architectural patterns

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

Volumn 3047, Issue , 2004, Pages 10-24

  Caporuscio, Mauro ^a   Inverardi, Paola ^a   Pelliccione, Patrizio ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; MIDDLEWARE; SOFTWARE ARCHITECTURE; TOPOLOGY;

ARCHITECTURAL MODELING; ARCHITECTURAL PATTERN; BEHAVIORAL PROPERTIES; FIXED TOPOLOGIES; GENERIC CONFIGURATION; PUBLISH/SUBSCRIBE SYSTEM; SYSTEMS CONFIGURATION; VERIFICATION RESULTS;

MODEL CHECKING;

EID: 35048851654     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24769-2_2     Document Type: Article

References (24)

1. R. Buchi, J. On a decision method in restricted second order arithmetic. In Proc. of the International Congress of Logic, Methodology and Philosophy of Science, pages pp 1-11. Standford University Press, 1960.
2. M. Caporuscio. CoMETA - Mobility support in the SIENA publish/subscribe middleware. Master's thesis, Università degli Studi dell'Aquila - Dipartimento di Informatica, L'Aquila - Italy, March 2002.
3. M. Caporuscio, A. Carzaniga, and A. L. Wolf. Design and evaluation of a support service for mobile, wireless publish/subscribe applications. IEEE Transactions on Software Engineering, 29(12):1059-1071, Dec. 2003.
4. M. Caporuscio, P. Inverardi, and P. Pelliccione. Compositional verification of middleware-based software architecture descriptions. In Proceedings of the International Conference on Software Engineering (ICSE 2004), Edimburgh, 2004. To appear.
5. rd International Software Architecture Workshop, Orlando, Florida, Nov. 1998.
6. A. Carzaniga, D. S. Rosenblum, and A. L. Wolf. Achieving Scalability and Expressiveness in an Internet-Scale Event Notification Service. In Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, pages 219-227, Portland, OR, July 2000.
7. A. Carzaniga, D. S. Rosenblum, and A. L. Wolf. Design and Evaluation of a Wide-Area Event Notification Service. A CM Transactions on Computer Systems, 19(3):332-383, Aug. 2001.
8. A. Carzaniga and A. L. Wolf. Content-based networking: A new communication infrastructure. In NSF Workshop on an Infrastructure for Mobile and Wireless Systems, number 2538 in Lecture Notes in Computer Science, pages 59-68, Scottsdale, Arizona, Oct. 2001. Springer-Verlag.
9. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Massachusetts Institute of Technology, 2001.
10. D. Compare, P. Inverardi, P. Pelliccione, and A. Sebastiani. Integrating model-checking architectural analysis and validation in a real software life-cycle. In the 12th International Formal Methods Europe Symposium (FME 2003), number 2805 in LNCS, pages 114-132, Pisa, 2003.
11. A. Fugetta, G. Picco, and G. Vigna. Understanding Code Mobility. IEEE Transaction on Software Engineering, 24(5), 1998.
12. D. Garlan, R. Allen, and J. Ockerbloom. Exploiting style in architectural design environments. In Proceedings of SIGSOFT'94: The Second ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM Press, December 1994.
13. D. Garlan, S. Khersonsky, and J. S. Kim. Model Checking Publish-Subscribe Systems. In Proceedings of The 10th International SPIN Workshop on Model Checking of Software (SPIN 03), Portland Oregon, May 2003.
14. G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, September 2003.
15. P. Inverardi, H. Muccini, and P. Pelliccione. Automated Check of Architectural Models Consistency using SPIN. In the Automated Software Engineering Conference Proceedings (ASE 2001). San Diego, California, Nov 2001.
16. P. Inverardi, H. Muccini, and P. Pelliccione. Charmy: A framework for model based consistency checking. Technical report, Department of Computer Science, University of L'Aquila, January 2003.
17. P. Inverardi, H. Muccini, and P. Pelliccione. Checking Consistency Between Architectural Models Using SPIN. In Proc. the First Int. Workshop From Software Requirements to Architectures (STRAW'01), year 2001.
18. Object Management Group (OMG). Unified Modeling Language (UML) Version 1.5. http://www.omg.org/uml/, March 2003.
19. A. Pnueli. The temporal logic of programs. In In Proc. 18th IEEE Symposium on Foundation of Computer Science, pages pp. 46-57, 1977.
20. G.-C. Roman, G. P. Picco, and A. L. Murphy. Software Engineering for Mobility: A Roadmap. In A. Finkelstein, editor, The Future of Software Engineering, pages 241-258. ACM Press, 2000. Invited contribution.
21. M. Shaw and P. Clemens. Toward boxology: preliminary classification of architectural styles. In Proc. on the second International Software Architecture Workshop (ISAW2), S. Francisco, CA USA, Oct. 1996.
22. J. A. Stafford, D. J. Richardson, and A. L. Wolf. Chaining: A software architecture dependence analysis technique. Technical Report CU-CS-845-97, Department of Computer Science, University of Colorado, Boulder, Colorado, September 1997.
23. J. A. Stafford and A. L. Wolf. Architecture-level dependence analysis in support of software maintenance. In Third International Software Architecture Workshop, pages 129-132, Orlando, Florida, November 1998.
24. J. Zhao. Software Architecture Slicing. In Proceedings of the 14th Annual Conference of Japan Society for Software Science and Technology, 1997.