![]() ![]() The main contribution of our work is the transformation of a non-formal language ( UML to a formal language (language of the NuSMV model checker towards a greater adoption in practice of formal methods in software development.ĭesigning Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Netįernandes, Joao Miguel Tjell, Simon Jørgensen, Jens Bæk The transformation is done for the NuSMV model checker, but we see the possibility in using other model checkers, such as SPIN. In our approach, properties are formalized based on use case descriptions. This paper presents an approach to transform up to three different UML behavioral diagrams ( sequence, behavioral state machines, and activity into a single Transition System to support Model Checking of software developed in accordance with UML. Verification and Validation of complex software developed according to UML is not trivial due to complexity of the software itself, and the several different UML models/ diagrams that can be used to model behavior and structure of the software. Transformation of UML Behavioral Diagrams to Support Software Model Checkingįull Text Available Unified Modeling Language ( UML is currently accepted as the standard for modeling (object-oriented software, and its use is increasing in the aerospace industry. For this purpose, a plugin has been developed that analyzes an XMI file containing a description of class diagrams. This study also discusses additional CASE tools for validating and optimizing of UML class diagrams. Certain transformations can be carried out automatically in other cases, potential inefficiencies will be indicated and recommendations given. In this manuscript we will explain how, based on the use of design patterns and anti-patterns, class diagrams could be verified and optimized. Modern CASE tools, which are the basic tools for object-oriented development, can’t be used to optimize UML diagrams. With help of sequence diagram concepts our paper will describe the way of interaction modeling between objects through lifeline of each of them, and their importance in software development.įull Text Available Most of object-oriented development technologies rely on the use of the universal modeling language UML class diagrams play a very important role in the design process play, used to build a software system model. The concept of the object lifecycle is used to understand and formalize the behavior of objects from creation to deletion. Each object in system goes through a so called lifecycle (create, supplement object with data, use object, decommission object. With sequence diagram constructs we are describing object behavior in scope of one use case and their interaction. Use case view (use case diagram, OD, SD, COD, SCD, AD which combines the four mentioned above. Physical view (deployment diagram, and 5. Development view (package diagram, component diagram, 4. Logical view (class diagram (CD, object diagram (OD, sequence diagram (SD, collaboration diagram (COD, state chart diagram (SCD, activity diagram (AD, 2.Process view (use case diagram, CD, OD, SD, COD, SCD, AD, 3. The RUP (Rational Unified Process defines the "4 + 1 view": 1. ![]() ROLE OF UML SEQUENCE DIAGRAM CONSTRUCTS IN OBJECT LIFECYCLE CONCEPTįull Text Available When modeling systems and using UML concepts, a real system can be viewed in several ways. The authors research represents the abilities of modern UML modelling tools to offer automatic layout of the UML sequence diagram and analyse them according to criteria required for the diagram perception. ![]() The UML sequence diagram due to its specific structure is selected for a deeper analysis on the elements’ layout. To solve this task, the main attention is devoted to the graphical presentation of the system, where diagram layout plays the central role in information perception. The more complex software becomes the higher requirements are stated to demonstrate the system to be developed, especially in its dynamic aspect, which in UML is offered by a sequence diagram. Analysis of Sequence Diagram Layout in Advanced UML Modelling Toolsĭirectory of Open Access Journals (Sweden)įull Text Available System modelling using Unified Modelling Language ( UML is the task that should be solved for software development. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |