Specifying the Behavior of UML Collaborations Using Object-Z
作者： Ana Moreira , Joao Araujo
DOI:
关键词: Computer science 、 UML tool 、 Object-oriented analysis and design 、 Object Definition Language 、 Programming language 、 Unified Modeling Language 、 Object Constraint Language 、 Applications of UML 、 Use case 、 Object-Z
摘要: UML is a standard modelling language that able to specify wide range of object-oriented concepts. Among them, we have collaborations, serve realise use cases, powerful abstraction concept. The behaviour part collaboration rendered using diagrams. However, the lack formalisation compromises precision specification. By formal description techniques, such as Object-Z, can reason about requirements and identify ambiguities inconsistencies earlier in development process. In general, say helps obtaining more reliable system. Our aim formalise collaborations Object-Z class schemas. This accomplished by proposing an integrated
参考文章(16)
Maria M. Larrondo-Petrie, Jean-Michel Bruel, An Integrated Object-Oriented and Formal Modeling Environment. Journal of Object-oriented Programming. ,vol. 10, ,(1997)
Zohar Manna, Amir Pnueli, The temporal logic of reactive and concurrent systems ,(1992)
Gunnar Övergaard, A formal approach to collaborations in the unified modeling language Lecture Notes in Computer Science. pp. 99- 115 ,(1999) , 10.5555/1767297.1767309
Stephanie Bodoff, Chris Dollin, Helena Gilchrist, Patrick Arnold, Fiona Hayes, Derek Coleman, Paul Jeremaes, Object-oriented development: the fusion method Prentice-Hall, Inc.. ,(1994)
Graeme Smith, The Object-Z specification language ,(1999)
Anthony Hall, Specifying and Interpreting Class Hierarchies in Z Z User Workshop, Cambridge 1994. pp. 120- 138 ,(1994) , 10.1007/978-1-4471-3452-7_8
Jonathan Hammond, Producing Z Specifications From Object-Oriented Analysis Z User Workshop, Cambridge 1994. pp. 316- 336 ,(1994) , 10.1007/978-1-4471-3452-7_19
R.G. Clark, A.M.D. Moreira, Constructing formal specifications from informal requirements Proceedings Eighth IEEE International Workshop on Software Technology and Engineering Practice incorporating Computer Aided Software Engineering. pp. 68- 75 ,(1997) , 10.1109/STEP.1997.615465
David Carrington, Soon-Kyeong Kim, Formalizing the UML class diagram using object-Z Lecture Notes in Computer Science. ,vol. 1723, pp. 83- 98 ,(1999) , 10.5555/1767297.1767307
Ana M.D. Moreira, Robert G. Clark, Adding rigour to object-oriented analysis Software Engineering Journal. ,vol. 11, pp. 270- 280 ,(1996) , 10.1049/SEJ.1996.0037