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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Arbab, F.: Abstract Behavior Types: A Foundation Model for Components and Their Composition. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 33–70. Springer, Heidelberg (2002)
Chouali, S., Heisel, M., Souquières, J.: Proving Component Interoperability with B Refinement. In: Proceedings of FACS’05. vol. 160. ENTCS, pp. 157–172 (2006)
Moschoyiannis, S., Shields, M.W.: Component-Based Design: Towards Guided Composition. In: Proceedings of ACSD’03, pp. 122–131. IEEE Computer Society, Los Alamitos (2003)
Bastide, R., Barboni, E.: Software Components: A Formal Semantics Based on Coloured Petri Nets. In: Proceedings of FACS’05. vol. 160, ENTCS, pp. 57–73 (2006)
Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213–249 (1997)
Nierstrasz, O., Achermann, F.: A Calculus for Modeling Software Components. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 339–360. Springer, Heidelberg (2003)
Broy, M.: Towards a Logical Basis of Software Engineering. In: Broy, M., Steinbrüggen, R. (eds.) Calculational System Design, IOS. NATO ASI Series, Series F: Computer and System Sciences, vol. 158, pp. 101–131. Springer, Heidelberg (1999)
Baumeister, H., Hacklinger, F., Hennicker, R., Knapp, A., Wirsing, M.: A Component Model for Architectural Programming. In: Proceedings of FACS’05. ENTCS, vol. 160, pp. 75–96. Elsevier, Amsterdam (2006)
Gössler, G., Sifakis, J.: Composition for Component-Based Modeling. Sci. Comput. Program. 55(1-3), 161–183 (2005)
Sifakis, J.: A Framework for Component-based Construction, SEFM 2005, pp. 293– 300 (2005)
Gössler, G., Sifakis, J.: Component-Based Construction of Deadlock-Free Systems. In: Pandya, P.K., Radhakrishnan, J. (eds.) FST TCS 2003. LNCS, vol. 2914, pp. 420–433. Springer, Heidelberg (2003)
Gössler, G., Sifakis, J.: Composition for Component-Based Modeling. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 443–466. Springer, Heidelberg (2002)
Gössler, G.: Prometheus — A Compositional Modeling Tool for Real-Time Systems. In: Proceedings of RT-TOOLS 2001, Technical report 2001-014, Uppsala University, Department of Information Technology (2001)
Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-Time Components in BIP. In: Proceedings of SEFM’06, pp. 3–12. IEEE Computer Society Press, Los Alamitos (2006)
Martens, M., Minnameier, C., Majster-Cederbaum, M.: Deciding Liveness in Component-Based Systems is NP-hard. Technical report TR-2006-017, Universität Mannheim (2006)
Majster-Cederbaum, M., Minnameier, C.: Deriving Complexity Results for Interaction Systems from 1-Safe Petrinets (2007) (Submitted for publication)
Majster-Cederbaum, M., Martens, M., Minnameier, C.: Liveness in Interaction Systems (2007) (Submitted for publication)
Majster-Cederbaum, M., Martens, M., Minnameier, C.: A Polynomial-Time-Checkable Sufficient Condition for Deadlock-freeness of Component Based Systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 888–899. Springer, Heidelberg (2007)
Gössler, G., Graf, S., Majster-Cederbaum, M., Martens, M., Sifakis, J.: An Approach to Modelling and Verification of Component Based Systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds.) SOFSEM 2007. LNCS, vol. 4362, pp. 295–308. Springer, Heidelberg (2007)
Troubitsyna, E.: Developing Fault-Tolerant Control Systems Composed of Self-Checking Components in the Action Systems Formalism. In: Van, H.D., Liu, Z. (eds.) Proceeding of FACS’03, TR 284, UNU/IIST, pp. 167–186 (2003)
Charron-Bost, B., Toueg, S., Basu, A.: Revisiting Safety and Liveness in the Context of Failures. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 552–565. Springer, Heidelberg (2000)
Gössler, G., Graf, S., Majster-Cederbaum, M., Martens, M., Sifakis, J.: Ensuring Properties of Interaction Systems. In: Program Analysis and Compilation. LNCS, vol. 4444, pp. 201–224. Springer, Heidelberg (2007)
Lamport, L.: Proving the Correctness of Multiprocess Programs. IEEE Trans. Software Eng. 3(2), 125–143 (1977)
Berard, B., et al.: Systems and Software Verification. Springer, Heidelberg (1999)
Cheng, A., Esparza, J., Palsberg, J.: Complexity Results for 1-Safe Nets. Theoretical Computer Science 147(1-2), 117–136 (1995)
Attie, P.C., Chockler, H.: Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol. 3385, pp. 465–481. Springer, Heidelberg (2005)
Majster-Cederbaum, M., Martens, M.: Robustness in Interaction Systems. Technical report TR-2007-004, Universität Mannheim (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Majster-Cederbaum, M., Martens, M. (2007). Robustness in Interaction Systems. In: Derrick, J., Vain, J. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2007. FORTE 2007. Lecture Notes in Computer Science, vol 4574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73196-2_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-73196-2_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73195-5
Online ISBN: 978-3-540-73196-2
eBook Packages: Computer ScienceComputer Science (R0)