IEEE Transactions on Software Engineering
Task interaction graphs for concurrency analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
Interprocedual data flow testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Concurrent regular expressions and their relationship to Petri nets
Theoretical Computer Science
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs
IEEE Transactions on Software Engineering
Improving the accuracy of Petri net-based analysis of concurrent programs
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Infinitary control flow analysis: a collecting semantics for closure analysis
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Advanced compiler design and implementation
Advanced compiler design and implementation
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
A Control-Flow Analysis for a Calculus of Concurrent Objects
IEEE Transactions on Software Engineering
Handbook of Formal Languages
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
UML-Based Integration Testing for Component-Based Software
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
The PSR Methodology: Integrating Hardware and Software Models
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
SeDiTeC " Testing Based on Sequence Diagrams
Proceedings of the 17th IEEE international conference on Automated software engineering
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
Evaluating Using Animation to Improve Understanding of Sequence Diagrams
IWPC '02 Proceedings of the 10th International Workshop on Program Comprehension
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Using UML collaboration diagrams for static checking and test generation
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Coverage criteria for testing of object interactions in sequence diagrams
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Traffic-aware stress testing of distributed systems based on UML models
Proceedings of the 28th international conference on Software engineering
Towards traceability of model-based testing artifacts
Proceedings of the 3rd international workshop on Advances in model-based testing
Journal of Systems and Software
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
Automated Software Engineering
Verifying Action Semantics Specifications in UML Behavioral Models
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
Analysis and visualization of behavioral dependencies among distributed objects based on UML models
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Combining UML sequence and state machine diagrams for data-flow based integration testing
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Hi-index | 0.00 |
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, this technique can be used earlier in software development life cycle, when the UML design model of a system becomes available. Among many applications, this technique can be used in SD-based test techniques, model comprehension and model execution in the context of MDA. Based on the well-defined UML 2.0 activity diagrams, we propose an extended activity diagram metamodel, referred to as Concurrent Control Flow Graph (CCFG), to support control flow analysis of UML 2.0 sequence diagrams. Our strategy in this article is to define an OCL-based mapping in a formal and verifiable form as consistency rules between a SD and a CCFG, so as to ensure the completeness of the rules and the CCFG metamodel with respect to our control flow analysis purpose and enable their verification. Completeness here means if the CCFG metamodel has all classes and associations needed, and the rules are adequate with respect to our purpose. Furthermore, we define Concurrent Control Flow Paths, which are a generalization of the conventional Control Flow Path concept. The control flow analysis technique is applied to an example SD to demonstrate the feasibility of the approach.