Dynamically Evolvable Dependable Software: From Oxymoron to Reality
Concurrency, Graphs and Models
Generalization of some properties of relations in the context of functional temporal×modal logic
International Journal of Computer Mathematics - Recent Advances in Computational and Applied Mathematics in Science and Engineering
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Logic-based detection of conflicts in APPEL policies
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Model-driven development of adaptable service-oriented business processes
Rigorous software engineering for service-oriented systems
A formal policy specification language for an 802.11 WLAN with enhanced security network
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
A logical view of choreography
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Logic-based Conflict Detection for Distributed Policies
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
| Hi-index | 0.01 |
We introduce a temporal logic to reason on global applications. First, we define a modal logic for localities that embeds the local theories of each component into a theory of the distributed states of the system. We provide the logic with a sound and complete axiomatization. Then, we extend the logic with a temporal operator. The contribution is that it is possible to reason about properties that involve several components in a natural way, even in the absence ofa global clock, as required in an asynchronous setting.