On the Modeling Timing Behavior of the System with UML(VR)

Authors:
Leszek Kotulski;Dariusz Dymek
Affiliations:
Department of Automatics, AGH University of Science and Technology, Krakow, Poland 30 059;Department of Computer Science, Cracow University of Economics, Krakow, Poland 31-510
Venue:
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
Year:
2008

Citing 7
Cited 0

The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
Object-oriented modeling: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Applying use case driven object modeling with UML: an annotated e-commerce example

Applying use case driven object modeling with UML: an annotated e-commerce example
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
Formal hardware specification languages for protocol compliance verification

ACM Transactions on Design Automation of Electronic Systems (TODAES)
UML-B: Formal modeling and design aided by UML

ACM Transactions on Software Engineering and Methodology (TOSEM)
Using UML(VR) for Supporting the Automated Test Data Generation

DEPCOS-RELCOMEX '08 Proceedings of the 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX

Quantified Score

Hi-index	0.00

Visualization

Abstract

UML notation is assumed to be independent from any software modeling methodology. The existing methodologies support the creation of the final system model, but they do not care about the formal documentation of the reasoning process; the associations between the elements belonging to different types of UML diagrams are remembered either as informal documentation out-side the UML model or are forgotten. Described in the paper Vertical Relations try to fill this gap, and allow to look at the use of timing diagramsfrom the new, more complex, perspective. Usefulness of Virtual Relations in evaluation of the timing properties of the Data Warehouse Reporting systems is presented.