Formally defining a graphical language for monitoring and checking object interactions

Authors:
Kai Xu;Donglin Liang
Affiliations:
Department of Computer Science and Engineering, University of Minnesota, Minneapolis, Minnesota;Department of Computer Science and Engineering, University of Minnesota, Minneapolis, Minnesota
Venue:
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Year:
2007

Citing 8
Cited 0

A dataflow approach to event-based debugging

Software—Practice & Experience
Coca: an automated debugger for C

Proceedings of the 21st international conference on Software engineering
The unified software development process

The unified software development process
Operational semantics for MSC'96

Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Testing object-oriented systems: models, patterns, and tools

Testing object-oriented systems: models, patterns, and tools
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Monitoring with Behavior View Diagrams for Debugging

APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Assert and negate revisited: modal semantics for UML sequence diagrams

Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools

Quantified Score

Hi-index	0.00

Visualization

Abstract

Monitoring and checking object interactions is an important activity for testing/debugging scenario implementation in an object-oriented system. In our previous work, we proposed behavior view diagrams (BVD) as a graphical language for writing programs that automate such monitoring and checking process. In this paper, we illustrate the formal definition of the syntax and the semantics of an extended version of BVD that can also be used to describe multi-threaded scenarios. This formal definition provides a critical foundation both for understanding the language and for building its tool support.