Extended Message Sequence Charts With Time-Interval Semantics

Authors:
Paulo S. Muniz Silva
Affiliations:
-
Venue:
TIME '98 Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning
Year:
1998

Citing 0
Cited 2

Early Verification of Computer Systems Temporal Properties

Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Scenario-based Specifications using Templates

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the main reasons that current commercial DBMSs provide only minimal support for temporal concepts is the size and complexity involved. Object-oriented databases, on the other hand, were developed to deal with complex database applications. Because ...