A calculus of mobile processes, II
Information and Computation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Towards consistency-preserving model evolution
Proceedings of the International Workshop on Principles of Software Evolution
An Agent-Based Secure Internet Payment System for Mobile Computing
TREC '98 Proceedings of the International IFIP/GI Working Conference on Trends in Distributed Systems for Electronic Commerce
A Theory of Bisimulation for the pi-Calculus
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Consistency-Preserving Model Evolution through Transformations
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
The Mobility Workbench - A Tool for the pi-Calculus
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Revisiting Statechart Synthesis with an Algebraic Approach
Proceedings of the 26th International Conference on Software Engineering
Formal Specification and Verification of the SET/A Protocol with an Integrated Approach
CEC '04 Proceedings of the IEEE International Conference on E-Commerce Technology
An integrated environment for communicating UML statechart diagrams
AICCSA '05 Proceedings of the ACS/IEEE 2005 International Conference on Computer Systems and Applications
Consistency checking of statechart diagrams of a class hierarchy
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
A systematic review of UML model consistency management
Information and Software Technology
A component-based approach for consistency checking of UML dynamic diagrams
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Hi-index | 0.00 |
UML 2.0, like UML 1.x, provides only a set of notations for specifying different aspects of a system. The problem of checking consistency between various types of models in software development is still not fully addressed. In this paper, we suggest the use of an algebraic approach for verifying whether consistency between sequence diagrams and statechart diagrams is preserved. First, statechart diagrams are encoded in the π-calculus. Then, each object in a sequence diagram is translated into its equivalent π-calculus definitions and verified against the corresponding statechart diagram represented in the π-calculus using the Mobility Workbench. The applicability of the proposed approach is illustrated with an agent-based payment protocol.