UML model verification through dependency relationships

ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems

Volumn , Issue , 2004, Pages 184-191

  All, Mouez ^a   Abdallah, Hanêne Ben ^a   Gargouri, Faiez ^b  

^a Faculté des Sciences de Sfax   (Tunisia)

^b University of Sfax   (Tunisia)

Author keywords

Modular Verification; UML; Unified Process

Indexed keywords

ASYNCHRONOUS TRANSFER MODE; COMPUTER SIMULATION; INFORMATION ANALYSIS; MAINTENANCE; MATHEMATICAL MODELS; PHASE DIAGRAMS;

MODULAR LANGUAGE; UML MODEL; UNIFIED PROCESS;

FORMAL LANGUAGES;

EID: 8444243329     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. Anthony, J. H., 1990. Using Z as a specification calculus for object-oriented systems. In D. Bjorrner, C.A.R. Hoare, and H. Langmaack, editors, VDM and Z, Formal Methods in Software Development, volume 428 of LNCS, pages 290-318. VDM-Europe, Springer-Verlag, New York.
2. Broy, M., 2003. Unifying Models and Engineering Theories of Composed Software Systems. UNU/IIST -IFIP WG 2.3 Summer School.
3. Cook, S., Daniels, J., 1994. Let's get Formal. Journal of Object-Oriented Programming (JOOP), pages 22-24 and 64-66.
4. D'Souza, D.F., Wills, A.C., 1999. Objects, Components and Frameworks with UML. The Catalysis™ Approach, Addision-Westly.
5. Duke, R., king, P., Gordon A. R., and Smith G., 1991. The Object-Z specification language. In Timothy D. Korson, VijayK. Vaishnavi, and Bertrand Mayer, editors, Technology of Object-Oriented Language and Systems; TOOLS 5, pages 465-483. Prentice Hall.
6. Dürr, E.H., Duursma, A., and Plat, N., 1993. VDM++ Language Reference Manual Technical Report, CAP Gemini Innovation.
7. Evans, A.S., France R.B., Lano, K.C., B.Rumpe. 1999. Meta-modeling semantics of UML, In: Behavioral Specifications for Businesses and Systems, Kluwer, Editor: Haim Kilov, Chapter 4.
8. Fernandez, J.-C., Garavel, H., Mounier, L., Rodriguez, C., Sifakis, J.,1992. A toolbox for the verification of programs. In international Conference on Software Engineering, ICSE/14, Melbourne, Australia, pages 246-259.
9. France, R., Bruel J. M., and Larrondo-Petrie M. 1997. An integrated Object-Oriented and Formal Modeling Environment. Journal of Object-Oriented Programming(JOOP). Volume 10, Number 7, 25-30.
10. France, R., Evans, A., Lano K., Rumpe, B., 1998. The UML as a formal modeling notation. Submitted to Computer Standards and Interfaces.
11. Holzmann, G.J., 1997. The model checker SPIN. IEEE transactions on software Engineering. 23(5): 279-295.
12. ISO. LOTOS. 1985. A Formal Description Technique based on the Temporal Ordering of Observational Behavior. ISO/DP 8807.
13. Jacobson I., Booch, G. and Rumbaug, J., 1999. The Unified Software Development Process, Addition Westly.
14. Kurchten, P., 1999. The rational Unified Process. An Introduction. Addition Wesley Longman Inc.
15. Kwon, G., 2000. Rewrite rules and operational Semantics for model checking UML statecharts. In Andy Evans, Struart Kent, and Branselic, editors, UML 2000- the Unified Modelling Language, Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, Volume 1939 of LNCS, page 528-540. Springer.
16. Lano, K.C., 1991. Z++, an Object-Oriented extension to Z. In John E. Nicholls, editor Z user Workshop, Oxford 1990, Workshops in computing, pages 151-172. Springer-Verlag.
17. Latella D., Majzik I., Massink M. 1999. Automatic verification of behavioral subset of UML statechart diagrams using the spin model-checker. Formal Aspects of Computing, 11:637-664.
18. Lucas, P., 1987. VDM: Origins, Hopes, and Achievements VDM'87: VDM - A Formal Method at Work, Lecture Notes in Computer Science, Vol. 252, pp. 1-18, Springer-Verlag.
19. McMillan, K. L., 1992. The SMV system, symbolic model checking - an approach. Technical report CMU-CS-92-131, Carnegie Mellon University.
20. Michael, J. S., 1992. The Z Notation: A Reference Manual. Prentice Hall, Englewood Cliffs, NJ, Second edition.
21. Paludetto, M., Détatour, J., 1999. UML et les réseaux de Petri: vers une sémantique des modèles dynamiques et une méthodologies de développement des systèmes temps réel. L'Object, 5: 443-467.
22. Paulo, J.F., Miguel, E.F., 2000. Carreriera and Miguel E.F Costa. Automatically verifying an Object-Oriented Specification of the steam-boiler System. In Stefania Gnesi, Ina Schieferdecker, and Axel Rennoch, editors, Proceedings of tne 5th International ERCIM Workshop on formal Methods for Industrial Critical Systems (FMICS'2000) page 345-360 GMD.
23. Pons, C., Baum G., Giandini R., 2002. Dimensions in the object Oriented Software Development Process, Information Resources Management Association IRMA International Conference, Idea Group Publishing. ISBN 1-930708-39-4, Seattle,USA.
24. Printz, J., 1997. Génie Logiciel, Technique de l'ingénieur, traité informatique, H3 208-32 p.
25. Roebert H. B., Cheng H. C., 1995. A Formal semantics for object model diagrams. IEEE Transactions on Software Engineering, 21(10): 799-821.
26. UML Group, 1997. Unified Modeling Language, Version 1.1, Rational software Corporation, Santa Clara, CA-95051, USA.
27. th06-2002) [on line] http://fmt.es.utwente.nl/coiu-ses/. Chapter 1- System Verification.