Robustness in Interaction Systems

Authors:
Mila Majster-Cederbaum;Moritz Martens
Affiliations:
University of Mannheim, Mannheim, Germany;University of Mannheim, Mannheim, Germany
Venue:
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Year:
2007

Citing 11
Cited 1

Complexity results for 1-safe nets

Theoretical Computer Science
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Revisiting Safety and Liveness in the Context of Failures

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Component-Based Design: Towards Guided Composition

ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Composition for component-based modeling

Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A Framework for Component-based Construction Extended Abstract

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Modeling Heterogeneous Real-time Components in BIP

SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Proving the Correctness of Multiprocess Programs

IEEE Transactions on Software Engineering
An Approach to Modelling and Verification of Component Based Systems

SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems

SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs

VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

Liveness in Interaction Systems

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We treat the effect of absence/failure of ports or components on properties of component-based systems. We do so in the framework of interaction systems, a formalism for component-based systems that strictly separates the issues of local behavior and interaction, for which ideas to establish properties of systems were developed.We propose how to adapt these ideas to analyze how the properties behave under absence or failure of certain components or merely some ports of components. We demonstrate our approach for the properties local and global deadlock-freedom as well as liveness and local progress.