Robustness in interaction systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4574 LNCS, Issue , 2007, Pages 325-340

  Majster Cederbaum, Mila ^a   Martens, Moritz ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SYSTEM RECOVERY; ROBUSTNESS (CONTROL SYSTEMS); COMPUTERS;

COMPONENT-BASED SYSTEMS; INTERACTION SYSTEMS; COMPONENT BASED SYSTEMS; DEADLOCK FREEDOM; LIVENESS;

SYSTEMS ANALYSIS; SOFTWARE ENGINEERING;

EID: 38149121357     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73196-2_21     Document Type: Conference Paper

References (27)

1. 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)
2. 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)
3. 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)
4. 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)
5. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213-249 (1997)
6. 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)
7. 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)
8. 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)
9. Gössler, G., Sifakis, J.: Composition for Component-Based Modeling. Sci. Comput. Program. 55(1-3), 161-183 (2005)
10. Sifakis, J.: A Framework for Component-based Construction, SEFM 2005, pp. 293-300 (2005)
11. Gössler, G., Sifakis, J.: Component-Based Construction of Deadlock-Free Systems. In: Pandya, P.K., Radhakrishnan, J. (eds.) FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science. LNCS, vol. 2914, pp. 420-433. Springer, Heidelberg (2003)
12. 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)
13. 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)
14. 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)
15. 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)
16. Majster-Cederbaum, M., Minnameier, C.: Deriving Complexity Results for Interaction Systems from 1-Safe Petrinets (2007) (Submitted for publication)
17. Majster-Cederbaum, M., Martens, M., Minnameier, C.: Liveness in Interaction Systems (2007) (Submitted for publication)
18. 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)
19. 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)
20. Troubitsyna, E.: Developing Fault-Tolerant Control Systems Composed of SelfChecking 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)
21. 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)
22. 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)
23. Lamport, L.: Proving the Correctness of Multiprocess Programs. IEEE Trans. Software Eng. 3(2), 125-143 (1977)
24. Berard, B., et al.: Systems and Software Verification. Springer, Heidelberg (1999)
25. Cheng, A., Esparza, J., Palsberg, J.: Complexity Results for 1-Safe Nets. Theoretical Computer Science 147(1-2), 117-136 (1995)
26. 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)
27. Majster-Cederbaum, M., Martens, M.: Robustness in Interaction Systems. Technical report TR-2007-004, Universität Mannheim (2007)