Towards a formalization of UML class structures in Z

Shroff, M.

doi:10.1109/cmpsac.1997.625087

Cited by 40 publications

(23 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The lack of formal semantics which hampers the UML language can lead to serious modeling problems that generate contradictions in the developed models [3]. This motivated more work on the transition from UML to formal languages such as B [8], VDM [1], VDM++ [9], Z [10], Maude [11].…”

Section: Introductionmentioning

confidence: 99%

A Platform for the Conceptualization of Arabic Texts Dedicated to the Design of the UML Class Diagram

Bousmaha

Rahmouni

Kouninef

et al. 2016

Natural Language Processing and Information Systems

View full text Add to dashboard Cite

Abstract. In many fields using information systems (IS), knowledge is often represented by UML models, in particular, by including class diagrams. This formalism has the advantage of being controlled by a large community and therefore the perfect means of exchange. The desire to use an automated tool that formalizes the intellectual process of the expert from an IS specification texts seems interesting. Our problem is devoted to the presentation of a new strategy that allows us to move from an informal to a semi-formal representation model, which is the UML class diagram. This issue is not new. It has aroused great interest for a long time. The originality of our work is that these texts are in Arabic.

show abstract

Section: Introductionmentioning

confidence: 99%

A Platform for the Conceptualization of Arabic Texts Dedicated to the Design of the UML Class Diagram

Bousmaha

Rahmouni

Kouninef

et al. 2016

Natural Language Processing and Information Systems

View full text Add to dashboard Cite

show abstract

“…Work has been done on the basis of wellestablished traditional approaches to specification like Z and VDM: [SF97,FBLPS97] focuses on the UML type system, a general integration of Z with object-orientation is discussed in [Ebe97], and in [Lan96,BLM97] an object calculus enhancing the expressibility of object-oriented notations has been proposed. Other approaches treat in detail the UML predecessor OMT [BCV96,WRC97], and in particular class diagrams [BC95] in connection with Larch are discussed.…”

Section: Introductionmentioning

confidence: 99%

Expressing UML Class Diagrams Properties with OCL

Gogolla

Richters

2002

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The Unified Modeling Language UML is a complex language offering many modeling features. Especially the description of static structures with class diagrams is supported by a rich set of primitives. This paper shows how to transfrom UML class diagrams involving cardinality constraints, qualifiers, association classes, aggregations, compositions, and generalizations into equivalent UML class diagrams employing only binary associations and OCL constraints. Thus we provide a better understanding of UML features. By reducing more complex features in terms of basic ones, we suggest an easy way users can gradually extend the set of UML elements they commonly apply in the modeling process.

show abstract

“…Formal methods are based on mathematical techniques and notations for specification, development and verification of software systems particularly in the area of software engineering [30]. Use of formal methods for software design is motivated by the belief that appropriate mathematical analysis can contribute to the reliability and robustness of software design [31].…”

Section: Formal Approachesmentioning

confidence: 99%

State Based Static and Dynamic Formal Analysis of UML State Diagrams

Alhumaidan

2012

JSEA

View full text Add to dashboard Cite

Design and specification is a serious issue in software engineering because of the semantics involved in transforming the real world problems to computer software systems. Unified Modeling Language (UML) has been accepted as a de facto standard for design and specification of object oriented systems. Unfortunately, UML structures lack defining semantics of a system. Formal methods are proved powerful, particularly, at requirement specification and design level. For a moment, formal methods are not welcomed because of much use of mathematics in formal languages. Therefore, a linkage between UML and formal methods is required to overcome the above deficiencies. In this paper, a new approach is developed by integrating UML and Z specification focusing on state diagram considering both the syntax and semantics. It is believed that this new approach will be effective and useful both at academics and industrial level. The resultant formal models of the approach are analyzed and validated using Z/Eves tool.

show abstract

Towards a formalization of UML class structures in Z

Cited by 40 publications

References 2 publications

A Platform for the Conceptualization of Arabic Texts Dedicated to the Design of the UML Class Diagram

A Platform for the Conceptualization of Arabic Texts Dedicated to the Design of the UML Class Diagram

Expressing UML Class Diagrams Properties with OCL

State Based Static and Dynamic Formal Analysis of UML State Diagrams

Contact Info

Product

Resources

About