Automated check of architectural models consistency using SPIN

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 346-349

  Inverardi, Paola ^a   Muccini, Henry ^a   Pelliccione, Patrizio ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

ARCHITECTURAL LEVELS; ARCHITECTURAL MODELING; AUTOMATED CHECKS; MODEL CHECKER; MODEL CONSISTENCY; SCENARIO MODELS; STATE DIAGRAM; SYSTEM BEHAVIORS; SYSTEMS SPECIFICATION; VIEW CONSISTENCY;

MODEL CHECKING;

EID: 0005253853     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989826     Document Type: Conference Paper

References (23)

1. R. Allen and D. Garlan. A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering andMethodology, 6(3):213-249, July 1997.
2. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice. Addison Wesley, SEI Series, 1998.
3. A. Bertolino, P. Inverardi, and H. Muccini. An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. On ACM Proc. ICSE2001, June 2001.
4. D. Compare, P. Inverardi, and A. L. Wolf. Uncovering Architectural Mismatch in Dynamic Behavior. Science of Computer Programming, 33(2):101-131, February 1999.
5. A. Filkenstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. IEEE Trans. on Software Engineering, 20(8):569-578, August 1994.
6. P. Fradet, D. Le Metayer, and M. Perin. Consistency Checking for Multiple View Software Architectures. In Proc. European Software Engineering Conference (ESEC/FSE'99), pages 410-428, 1999.
7. S. Gnesi, D. Latella, and M. Massink. Model Checking UML Statecharts Diagrams using JACK. Proc. Fourth IEEE International Symposium on High Assuarance Systems Engineering, IEEE Press, 1999.
8. C. Hofmeister, R. L. Nord, and D. Soni. Applied Software Architecture. Addison Wesley, 1999.
9. P. Inverardi and H. Muccini. The Teleservices and Remote Medical Care System (TRMCS). Case study of the IWSSD-10 workshop, San Diego, California, November 2000.
10. P. Inverardi, H. Muccini, and P. Pelliccione. Applying the Approach to the TRMCS case-study. On-line at: .
11. P. Inverardi, H. Muccini, and P. Pelliccione. Automated Check of Architectural Models Consistency using SPIN. IR 11/01, University of L'Aquila, On-line at: .
12. P. Inverardi, H. Muccini, and P. Pelliccione. Checking consistency between architectural models using SPIN. IR 02/01, University of L'Aquila, On-line at: .
13. IWLI. Second Int. Workshop on Living with Inconsistency. May 13, 2001 Toronto, Canada (Part of ICSE'01).
14. IWSSD2000. Tenth Int. Workshop on Software Specification and Design. Track on (In)completeness, (in)consistency and (sufficient) correctness, San Diego, November 2000.
15. P. Kruchten. Architectural Blueprints - The "4+1" View Model of Software Architecture. IEEE Software, 12(6), pages 42-50, November 1995.
16. J. Lilius and I. P. Paltor. Formalising UML State Machines for Model Checking. In UML'99 - The Unified Modeling Language. Beyond the Standard, Fort Collins, October 1999.
17. J. Magee, J. Kramer, and D. Giannakopoulou. Behaviour Analysis of Software Architectures. In Proc. First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas, 1999.
18. C. Pons, R. Giandini, and G. Baum. Dependency Relations Between Models in the Unified Process. In Proc. IWSSD 2000, November 2000.
19. Rational-Corporation. Uml Resource Center. UML documentation, version 1.3. On-line at: .
20. G. Reggio, M. Cerioli, and E. Astesiano. Towards a Rigorous Semantics of UML Supporting its Multiview Approach. In Proc. FASE 2001, LNCSn. 2029, Springer Verlag, 2001.
21. D. J. Richardson and A. L. Wolf. Software Testing at the Architectural Level. Second International Software Architecture Workshop (ISAW-2), October 1996.
22. T. Schafer, A. Knapp, and S. Merz. Model Checking UML State Machines and Collaborations. On the Workshop on Software Model Checking, July 2001. ENTCS, vol. 55 n. 3.
23. SPIN. On line at: .