Consistency checking for multiple view software architectures

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

Volumn 1687 LNCS, Issue , 1999, Pages 410-428

  Fradet, Pascal ^a   Métayer, Daniel Le ^a   Périn, Michaël ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

A-TRAIN; CONSISTENCY CHECKING; CONSISTENCY REQUIREMENTS; DECISION PROCEDURE; FORMAL DEFINITION; MULTIPLE VIEWS; SIMPLE ALGORITHM;

SOFTWARE ENGINEERING;

EID: 78149295546     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48166-4_25     Document Type: Conference Paper

References (16)

1. R. Allen and D. Garlan. Formalizing architectural connection. In Proceedings of the 16th International Conference on Software Engineering, pages 71-80. IEEE Computer Society Press, May 1994.
2. M. Bourgois, D. Franklin, and P. Robinson. Applying RM-ODP to the air trafic management domain. EATCHiP Technical Document, Eurocontrol, Brussels, March 1998.
3. H. Bowman, E. Boiten, J. Derrick, and M. Steen. Viewpoint consistency in ODP, a general interpretation. In E. Najm and J.-B. Stefani, editors, Proceedings of the 1st IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 189-204. Chapman & Hall, March 1996.
4. S. C. Cheung and J. Kramer. Checking subsystem safety properties in compositional reachability analysis. In Proceedings of the 18th International Conference on Software Engineering, pages 144-154, Berlin - Heidelberg - New York, March 1996. Springer.
5. E. de Jong. Software architecture for large control systems: a case study. In D. Garlan and D. Le Metayer, editors, Proceedings of Coordination'97, volume 1282 of LNCS, pages 46-63. Springer-Verlag, September 1997.
6. Andy Evans. Reasoning with the unified modeling language. In Proceedings of Workshop on Industrial-Strength Formal Specification Techniques (WIFT'98), 1998.
7. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. IEEE Transactions on Software Engineering, 20(8):509-578, August 1994.
8. P. Fradet, D. Le Metayer, and M. Perin. Consistency checking for multiple view software architectures: application to the design of a train control system. Technical Report 1249, IRISA/INRIA, Rennes, France, 1999.
9. A. Hamie, J. Howse, and S. Kent. Interpreting the object constraint language. In Proceedings of Asia Pacific Conference in Software Engineering. IEEE Press, 1998.
10. C. Hofmeister, R. L. Nord, and D. Soni. Describing software architecture with UML. In P. Donohoe, editor, Proceedings of Working IFIP Conference on Software Architecture, pages 145-160. Kluwer Academic Publishers, February 1999.
11. P. Inverardi, A. Wolf, and D. Yankelevich. Checking assumptions in components dynamics at the architectural level. In D. Garlan and D. Le M-etayer, editors, Proceedings of Coordination'97, volume 1282 of LNCS, pages 46-63. Springer-Verlag, September 1997.
12. Philippe B. Kruchten. The 4 + 1 view model of architecture. IEEE Software, 12(6):42-50, November 1995.
13. Nenad Medvidovic and David S. Rosenblum. Assessing the suitability of a standard design method for modeling software architecture. In P. Donohoe, editor, Proceedings of Working IFIP Conference on Software Architecture, pages 161-182. Kluwer Academic Publishers, February 1999.
14. UML. Object Constraint Language, version 1.1, September 1997. Available at http://www.rational.com/uml.
15. UML. Unified Modelling Language notations guide, version 1.1, September 1997. Available at http://www.rational.com/uml.
16. Pamela Zave and Michael Jackson. Conjunction as composition. ACM Transactions of Software Engineering and Methodology, 2(4):379-411, October 1993.