Model-based verification and validation of properties

Electronic Notes in Theoretical Computer Science

Volumn 82, Issue 7, 2003, Pages 133-150

  Engels, Gregor ^a   Küster, Jochen M ^a   Heckel, Reiko ^a   Lohmann, Marc ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; GRAPH THEORY; LIFE CYCLE; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; THEOREM PROVING;

ENGINEERING PROBLEMS; MODEL CHECKING; SOFTWARE CONSTRUCTION; SOFTWARE DEVELOPMENT LIFECYCLE;

SOFTWARE ENGINEERING;

EID: 11244321095     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80752-7     Document Type: Conference Paper

References (23)

1. Aynur Abdurazik and Jeff Offutt. Using UML collaboration diagrams for static checking and test generation. In Andy Evans, Stuart Kent, and Bran Selic, editors, UML 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, York. UK. October 2000, Proceedings, volume 1939 of LNCS, pages 383-395. Springer, 2000.
2. F. Basanieri and A. Bertolino. A practical approach to UML-based derivation of integration tests. In Proc. of Software Quality Week Europe QWE2000, number 4, pages 20-24, November 2000.
3. Berztiss Alfs T. Verification and validation. Handbook of Software Engineering & Knowledge Engineering, Vol. 2 Emerging Technologies. September 2002;367-388
4. Binder Robert V. Testing Object-Oriented Systems: Models, Patterns, and Tools. Object Technology Series. 1999;Addison Wesley
5. L. Briand and Y. Labiche. A UML-based Approach to System Testing. In M. Gogolla and C. Kovbryn, editors, UML 2001 - The UNified Modeling Language. Modeling Languages, Concepts, and Tools., 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, LNCS, pages 194-208. Springer-Verlag, 2001.
6. Clarke E.M., Wing J.-M. Formal Methods: State of the Art and Future Directions. ACM Surveys, volume 28. 1996;626-643 ACM
7. Ehrig H., Mahr B. Fundamentals of algebraic specifications 1: Equations and intial semantics, volume 6 of EACTS Monographs on Theoretical Computer Science. 1985;Springer, Berlin
8. G. Engels, R. Heckel, and J. M. Küster. Rule-based specification of behavioral consistency based on the UML meta-model. In M. Gogolla and C. Kobryn, editors, UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools., 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, volume 2185 of LNCS, pages 272-287. Springer, 2001.
9. G. Engels, R. Hücking, St. Sauer, and A. Wagner. UML collaboration diagrams and their transformation to Java. In R. France and B. Rumpe, editors, Proc. UML'99, Fort Collins, CO, USA, volume 1723 of LNCS, pages 473-488. Springer-Verlag, October 1999.
10. G. Engels, J. M. Küster, L. Groenewegen, and R. Heckel. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In Volker Gruhn, editor, Proceedings of the 8th European Software Engineering Conference (ESEC), pages 186-195. ACM Press, 2001.
11. T. Fischer, J. Niere, L. Torunski, and A. Zündorf. Story duiagrams: A new graph transformation language based on UML and Java. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Proc. 6th Int. Workshop on Theory an Application of Graph Transformation (TAGT'98), Paderborn, November 1998, volume 1764 of LNCS, pages 112-121. Springer-Verlag, 2000.
12. Formal Systems Europe (Ltd). Failures-Divergence-Refinement: FDR2 user Manual, 1997.
13. Ghezzi C., Jazayeri M., Mandrioli D. Fundamentals of Software Engineering. 1991;Prentice-Hall
14. R. Heckel, J. M. Küster, and G. Taentzer. Towards Automatic Translation of UML Models into Semantic Domains. In Proceedings of the Appligraph Workshop on Aplied Graph Transformation, 2002.
15. Hiemer J.-J. Statecharts in CSP: Ein Prozessmodell in CSP zur Analyse von STATEMATE-Statecharts. 1999;DrKovac Verlag
16. Hoare C. An axiomatic basis for computer programming. Communications of the ACM. 12:(10):1986;576-580
17. Hoare C.A.R. Communicating Sequential Processes. 1985;Prentice Hall
18. Manna Zohar, Pnueli Amir. The Temporal Logic of REactive and Concurrent Systems, Specification. 1992;Springer-Verlag
19. Object Management Group. Unified Modeling Language Specification, version 1.4, September 2001.
20. Resig W. Petri Nets, Volume 4 of EATCS Monographs on theoretical Computer Science. 1985;Springer-Verlag
21. Bernhard Rumpe, Maurice Schoenmakers, Ansgar RAdermacher, and Andy Schrr UML+ROOM as a Standard ADL. In Proc. ICECCS'99 5th Int. IEEE Cof. on Engineering Comlex Computer Systems, pages 43-53.n Los Alamitos, 1999. IEEE Computer Society Press.
22. B. Selic. Using UML for modeling complex real-time systems. In F. Mueller and A. Bestavros, editors, Languages, Compilers, and Tools for Embedded Systems, volume 1474 of Lecture Notes in Computer Science, pages 250-262. Springer Verlag, 1998.
23. Spivey J.M. Introducing Z: A Specification Language and its Formal Semantics. 1988;Cambridge University Press