Remote attestation of system integrity is an essential part of trusted computing. However,
current remote attestation techniques only provide integrity proofs of static properties of the …

Abstract The Unified Modeling Language (UML) is a widely accepted standard for modeling
software systems. The UML supports object-oriented approaches to software development …

Dynamic invariant analysis identifies likely properties over variables from observed program
traces. These properties can aid programmers in refactoring, documenting, and debugging …

Abstract Model Based System Engineering (MBSE) is a renowned approach in the context of
embedded systems development. It is frequently used to deal with the structural and …

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 …

Efficient model validation and verification techniques are strong in the analysis of systems
describing static structures, for example, UML class diagrams and OCL invariants. However …

Abstract The Object Constraint Language is widely used to express precise and
unambiguous constraints on models and object oriented programs. However, the notion of …

Temporal extensions of OCL have been proposed in the literature in order to express
dynamic system properties of UML models. This paper reviews previous work on Temporal …

An extension of the “Object Constraint Language”(OCL) for modeling real-time and reactive
systems in the “Unified Modeling Language”(UML) is proposed, called OCL/RT. A general …

Security is an important issue that must be considered as a fundamental requirement in
information systems development, and particularly in database design. Therefore security …