Why interaction is more powerful than algorithms
Communications of the ACM
Elements of distributed algorithms: modeling and analysis with Petri nets
Elements of distributed algorithms: modeling and analysis with Petri nets
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
IEEE Transactions on Software Engineering
A modular approach to composing access control policies
Proceedings of the 7th ACM conference on Computer and communications security
SACMAT '01 Proceedings of the sixth ACM symposium on Access control models and technologies
Distributed Algorithms
The Book of Traces
Automating Modular Verification
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
On Semantics and Correctness of Reactive Rule-Based Programs
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Interaction as a Framework for Modeling
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Component-Based Programming of Distributed Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Towards a Compositional Approach to the Design and Verification of Distributed Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Reasoning About Interactive Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Incremental modeling under large-scale distributed interaction
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Hi-index | 0.00 |
Specific problems in practical distributed system design arise from incomplete information about the cooperation requirements, up to, or even beyond, the final design stage. Events in components will occur, or they may occur, depending on (local) user decisions. The latter may also not occur, as a result of yet unknown external influences or design faults. Adequate formal modeling tools should allow for distinguishing between suchdifferen t event types. Our approachfor this purpose to be introduced here is the formal model of I-Systems. As a particularly relevant and unique feature, the presence as well as the absence of interactional influences (as part of distributed cooperation requirements) can be explicitly modeled, withno side effects. A non-trivial synchronization problem is modeled incrementally in order to demonstrate bothth e modeling and analysis capabilities in I-Systems.