Consistency checks for UML

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2000-January, Issue , 2000, Pages 162-169

  Krishnan, P ^a  

^a UNIVERSITY OF CANTERBURY   (New Zealand)

Author keywords

Books; Collaboration; Computer science; Contracts; History; Object oriented modeling; Prototypes; Reachability analysis; Specification languages; Unified modeling language

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER SCIENCE; CONTRACTS; HISTORY; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES;

BOOKS; COLLABORATION; OBJECT ORIENTED MODEL; PROTOTYPES; REACHABILITY ANALYSIS;

UNIFIED MODELING LANGUAGE;

EID: 0345421800     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2000.896695     Document Type: Conference Paper

References (17)

1. D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming, vol. 8, pp. 231-274, 1987.
2. J. Lilius and I. P. Paltor, "Formalising UML State Machines for Model Checking," in UML-99 - The Unified Modeling Language Beyond the Standard (R. France and B. Rumpe, eds.), vol. LNCS 1723, (Fort Collins, USA), pp. 430-445, Springer Verlag, 1999.
3. G. J. Holzmann, "The Model Checker SPIN," IEEE Transactions on Software Engineering, vol. 23, pp. 279-295, May 1997.
4. E. Meyer and J. Souquières, "A Systematic Approach to Transform OMT Diagrams to a B Specification," in FM'99-Formal Methods (J. Wing, J. Woodcock, and J. Davies, eds.), vol. LNCS 1708, (Toulouse, France), pp. 875-895, Springer Verlag, 1999.
5. J. Abrial, The B Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
6. J. Warmer and A. Kleppe, The Object Constraint Language: Precise Modeling with UML. Addison Wesley, 1999.
7. R. F. Paige and J. S. Ostroff, "Developing BON as an Industrial-Strength Formal Method," in FM'99-Formal Methods (J. Wing, J. Woodcock, and J. Davies, eds.), vol. LNCS 1708, (Toulouse, France), pp. 834-853, Springer Verlag, 1999.
8. J. Rushby, "Specification, proof checking, and model checking for protocols and distributed systems with PVS," in Tutorial presented at FORTE X/PSTV XVII '97: Formal Description Techniques and Protocol Specification, Testing and Verification, Nov. 1997.
9. D. Griffioen and M. Huisman, "A comparison of PVS and Isabelle/HOL," in Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs '98 (J. Grundy and M. Newey, eds.), vol. 1479 of Lecture Notes in Computer Science, (Canberra, Australia), pp. 123-142, Springer-Verlag, Sept. 1998.
10. M. Fowler and K. Scott, UML Distilled Applying the Standard Object Modeling Language. Addison-Wesley, 1997.
11. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal, Pattern Oriented Software Architecture, A System of Patterns. Wiley, 1996.
12. M. Kaminski, "A branching time logic with past operators," Journal of Computer and System Sciences, vol. 49, pp. 223-246, Oct. 1994.
13. G. Övergaard and K. Palmkvist, "A Formal Approach to Use Cases and Their Relationships," in UML-98 : Beyond the Notation (J. Bézivin and P.-A. Muller, eds.), vol. LNCS 1618, (Mulhouse, France), pp. 406-418, Springer Verlag, 1998.
14. T. Aoki, M. Hanada, and T. Katayama, "How to Support Verification of Object-Oriented Analysis Models Using HOL," in SCI/ISAS, pp. 525-532, 1999.
15. T. Aoki and T. Katayama, "Unification and consistency verification of object-oriented analysis models," in Asia Pacific Software Engineering Conference, pp. 296-303, IEEE Computer Society Press, 1998.
16. D. H. Kim and K. Chong, "A method of checking errors and consistency in the process of object oriented frameworks," in Asia Pacific Software Engineering Conference, pp. 208-216, IEEE Computer Society Press, 1996.
17. K. Chang, D. Kung, and P. Hsia, "OBL: A Formal Deduction Method for Object Oriented Systems," in COMPSAC, pp. 450-455, IEEE Computer Society Press, 1999.