1604 search results - page 1 / 321 » A Logical Viewpoint on Architectures |
EDOC
2004
IEEE
13 years 8 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
EPIA
2001
Springer
13 years 9 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
EWSA
2004
Springer
13 years 10 months ago
2004
Springer
There has recently been an increase in interest, among information systems architecture practitioners, in using viewpoints for architectural definition and description. This has be...
OOIS
1997
Springer
13 years 9 months ago
1997
Springer
Viewpoints are re ections of software systems from multiple perspectives. A number of consistency conditions apply to viewpoints and developers require a tool for each type of vie...
CSL
1999
Springer
13 years 9 months ago
1999
Springer
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if Ï...