Current and future (conventional) notations used in Conceptual Modeling Techniques
should have a precise (formal) semantics to provide a well-defined software development …

Rewriting logic expresses an essential equivalence between logic and computation. System
states are in bijective correspondence with formulas, and concurrent computations are in …

Access control is concerned with granting access to sensitive data based on conditions that
relate to the past or present, so-called provisions. Expressing requirements from the domain …

Page 1 Logics for Coalgebras and Applications to Computer Science Alexander Kurz Page 2
Logics for Coalgebras and Applications to Computer Science Dissertation zur Erlangung des …

This paper proposes rewriting logic as an executable speci cation formalism for security
protocols that o ers some novel advantages. A messagepassing object-oriented approach …

We propose to use modal logic as a logic for coalgebras and discuss it in view of the work
done on coalgebras as a semantics of object-oriented programming. Two approaches are …

Rewriting logic seems very well suited as a semantic framework for open object-based
distributed systems. Both the distributed states and the local concurrent transitions of such …

In UML 2.0 sequence diagrams have been considerably extended but their expressiveness
and semantics remains problematic in several ways. In other work we have shown how …

Increasing complexity in real-time distributed systems calls for techniques to automate and
support their design. In particular concurrent and communicating systems are hard to design …

We present two logics that allow specifying distributed information systems, emphasizing
communication among sites. The low-level logic \sfD_0 offers features that are easy to …