Monitoring and checking object interactions is an important activity for testing/debugging scenario implementation in an objectoriented 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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Xu, K., & Liang, D. (2007). Formally defining a graphical language for monitoring and checking object interactions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4735 LNCS, pp. 620–634). Springer Verlag. https://doi.org/10.1007/978-3-540-75209-7_42
Mendeley helps you to discover research relevant for your work.