GeekArticles 
Concepts UMLSemantic Analysis and Consistency Checking of UML Sequence Diagrams
Author: citeseer.nj.nec.com |
Published: 7th Sep 2005 |
Visited: 407 times |
Add CommentFiled in: UMLIn a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes inconsistent or incomplete. Hence, it is important to provide means to check the consistency and completeness of a UML model. This problem is addressed in this report by integrating the information specified in class and statechart diagrams into sequence diagrams. The information is represented as constraints attached to certain locations of the object lifelines in the sequence diagram and this allows the identification of gaps and contradictions in the specifications. Furthermore, dependencies between the sequence diagrams of a model can be investigated based on the previous results and represented in use case diagrams.
Read Article Sponsored Links
Related Articles
• Static Analysis on Steroids: Parasoft BugDetective Data flow analysis enables early and effortless detection of critical runtime errors like exceptions, resource leaks, and security vulnerabilities. It can also check if exceptions reported from automated unit testing are ?real bu ...
• The essence of the VivaCore code analysis library The article tells developers about VivaCore library, preconditions of its creation, its possibilities, structure and scope of use. This article was written simultaneously with the development of VivaCore library and that's why some of the details of the final realization may differ from the fea ...
• Business Intelligence Data Analysis Business Intelligence Data Analysis
Data Analysis
Data Analysis is a complete and thorough review of all of the information being collected and warehoused by an organization. This is most commonly done by organizing and examining the data collected with the help of charts, graphs, and tables.
Visit ...
• Seeking XML, SOA, Semantic Web Bloggers I have recently accepted the position as Site Editor for the XML.com site, becoming responsible for the content appearing throughout the site as well as helping to guide functionality and look and feel for this particular portion (and to ...
• SQA Analysis SQA Analysis
Software Quality Assurance is all about analysis. One of the major purposes of this discipline is to know the inner workings of an application. To do this, careful analysis has to be exercised at all times. Although there are programs and applications that aid in knowing the inner...
V ...
