OCL Extended with Temporal Logic
Lecture Notes in Computer Science - Trang 351-357 - 2004
Tóm tắt
UML class diagrams have become a standard for modeling the static structure of object-oriented software systems. OCL can be used for formulating additional constraints that can not be expressed with the diagrams. In this paper, we extend OCL with temporal operators...