Roles at the Basis of UML Validation

Bouabana-Tebibel, Thouraya
June 2007
Journal of Computing & Information Technology;Jun2007, Vol. 15 Issue 2, p171
Academic Journal
Formal validation of UML models proves to be hardly realizable, due to the imprecise semantics of UML dynamic diagrams. To remedy that, we first present a technique for transforming UML statecharts into Petri nets. We develop afterwards, an approach based on the movement of the objects throughout the roles they play. This approach allows validation of the temporal logic properties translated from the OCL invariants, on the Petri nets derived from the UML models. System property validation is realized thanks to a prior initialization of the objects and exchanged messages between the communicating objects. A case study is given to illustrate the methodology.


Related Articles

  • The Usage of Performance Testing for Information Systems. Tanuska, Pavol; Vlkovic, Ondrej; Spendla, Lukas // International Proceedings of Computer Science & Information Tech;2012, Vol. 24, p317 

    The main focus of this article is the possibility of the performance testing for information systems. Our proposal focuses on steps, which perform the performance testing itself. The individual steps of our proposal have been mapped for each phase of the software testing standard IEEE 829. To...

  • Reconceptualization of Class-based Representation in UML. Al-Fedaghi, Sabah // International Journal of Computer Science Issues (IJCSI);Nov2012, Vol. 9 Issue 6, p91 

    No abstract available.

  • OLAP CUBE REPRESENTATION FOR OBJECT-ORIENTED DATABASE. Saxena, Vipin; Pratap, Ajay // International Journal of Software Engineering & Applications;Mar2012, Vol. 3 Issue 2, p109 

    In the current scenario, the size of database related to any organization is rapidly increasing and due to evolution of the object-oriented approach, many of the Software Industries are converting the old structured approach based softwares into the object-oriented based softwares. Therefore,...

  • Software System Development Based on Behavioral Aspects. Al-Fedaghi, Sabah // International Journal of Information Processing & Management;Jan2013, Vol. 4 Issue 1, p86 

    Modeling of software systems involves two aspects of the systems: a static (or structural) aspect and a dynamic (or behavioral) aspect. The UML class diagram is the most fundamental and widely used diagram for capturing the static aspect of a system's component parts and their relationships. It...

  • Information systems validation using formal models. Sarram, Azadeh; Harounabadi, Ali // Management Science Letters;2014, Vol. 4 Issue 3, p533 

    During the past few years, there has been growing interest to use unified modeling language (UML) to consider the functional requirements. However, lacking a tool to detect the accuracy and the logic of diagrams in this language makes a formal model indispensable. In this study, conversion of...

  • Toward Flow-Based Semantics of Activities. Al-Fedaghi, Sabah // International Journal of Software Engineering & Its Applications;Mar2013, Vol. 7 Issue 2, p171 

    In UML 2.0, activity and state diagrams are used in a wide range of applications, including business process modeling, software development, and descriptions of basic mechanisms such as computations. They are enriched with some advanced features such as exceptions, loops, and streaming in...

  • Mapping Activity Diagram to Fuzzy GSPN. Kolyaie, Elmira; Harounabadi, Ali // International Journal of Computer Applications;Dec2013, Vol. 84, p24 

    Non-functional requirements' assessment of enterprise architecture in system development, is important for organizations, and makes them protected from additional costs. For this goal Organizations should model their data and processes. Nowadays UML is considered as the most important modeling...

  • Annotations of Security Requirements. Al-Fedaghi, Sabah // International Review on Computers & Software;Jul2012, Vol. 7 Issue 4, p1470 

    In current practice of software development, security requirements are specified at the early phases of the software lifecycle. They are then passed on to the development phase to be configured and integrated into low-level details. Accordingly, how to represent security constraint is an...

  • Requirement Analysis Model of Formalized UML 2.0 Activity Diagram. Piao, W. C.; Wang, C. H.; Chu, William C.; Ying-Da Chen // International MultiConference of Engineers & Computer Scientists;2006, p875 

    Activity diagram of UML becomes more impressive in the requirement analysis. In UML2.0, the activity diagram is reengineered based on Petri net, it is not only the flow chart, but also has the token to represent the flow of control, object, and some data. It seems to be more powerful to use it...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics