Reasoning about software architectures with contractually specified components

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

Volumn 2693, Issue , 2003, Pages 287-325

  Reussner, Ralf H ^a   Poernomo, Iman H ^b   Schmidt, Heinz W ^b  

^a UNIVERSITY OF OLDENBURG   (Germany)

^b MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES; SOFTWARE ARCHITECTURE; SOFTWARE RELIABILITY;

ARCHITECTURE DEFINITION LANGUAGES; COMPONENT-BASED SOFTWARE ARCHITECTURE; DESIGN BY CONTRACTS; EMPIRICAL MEASUREMENT; INTEROPERATIONS; RELIABILITY PREDICTION; SOFTWARE ARCHITECTS; SYSTEM RELIABILITY;

RELIABILITY ANALYSIS;

EID: 21144453538     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45064-1_14     Document Type: Article

References (42)

1. Pŕemysl Brada. Towards automated component compatibility assessment. In Wolfgang Week, Jan Bosch, and Clemens Szyperski, editors, Proceedings of the Sixth International Workshop on Component-Oriented Programming (WCOP'01), June 2001.
2. Roger C. Cheung. A user-oriented software reliability model. IEEE Transactions on Software Engineering, 6(2):118-125, March 1980. Special collection from COMPSAC 78.
3. Luca de Alfaro and Thomas A. Henzinger. Interface automata. In Volker Gruhn, editor, Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC/FSE-01), volume 26, 5 of SOFTWARE ENGINEERING NOTES, pages 109-120, New York, September 10-14 2001. ACM Press.
4. W.-P. de Roever, H. Langmaack, and A. Pnueli. Compositionality: The Significant Difference. International Symposium , COMPOS'97, Bad Malente, Germany. Springer-Verlag, 1998.
5. M. Dyer. The Cleanroom Approach to Quality Software Development. Series in Software Engineering Practice. Wiley & Sons, New York, NY, USA, 1992.
6. Svend Frolund and Jari Koistinen. Quality-of-service specification in distributed object systems. Technical Report HPL-98-159, Hewlett Packard, Software Technology Laboratory, September 1998.
7. D. Hamlet, D. Mason, and D. Woit. Theory of software reliability based on components. In Proceedings of the 23rd International Conference on Software Engeneering (ICSE-01), pages 361-370, Los Alamitos, California, May12-19 2001. IEEE Computer Society.
8. Jun Han. Temporal logic based specification of component interaction protocols. In Proceedings of the 2nd Workshop of Object Interoperability at ECOOP 2000, Cannes, France, June 12.-16. 2000.
9. Gerald J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs, NJ, USA, 1991.
10. Gunnar Hunzelmann. Generierung von Protokollinformation für Softwarekomponentenschnittstellen aus annotiertem Java-Code. Diplomarbeit, Fakultät für Informatik, Universität Karlsruhe (TH), Germany, April 2001.
11. Anthony Iannino John D. Musa and Kazuhira Okumoto. Software Reliability - Measurement, prediction, application. McGraw-Hill, New York, 1987.
12. S. C. Kleene. Representation of events in nerve nets and finite automata. In C. Shannon and J. McCarthy, editors, Automata Studies, Annals of Math. Studies 34, pages 3-40. Princeton, New Jersey, 1956.
13. Bernd Krämer. Synchronization constraints in object interfaces. In Bernd Krämer, Michael P. Papazoglou, and Heinz W. Schnmidt, editors, Information Systems Interoperability, pages 111-141. Research Studies Press, Taunton, England, 1998,
14. Jeff Kramer, Jeff Magee, Keng Ng, and Naranker Dulay. Software architecture description. In Software Architecture for Product Families: Principles and Practice, pages 31-64. Addison-Wesley, 2000.
15. Jean-Claude Laprie and Karama Kanoun. Software reliability and system reliability. In Michael R. Lyu, editor, Handbook of Software Engineering Reliability, pages 27-69. McGraw-Hill, New York, 1996.
16. Jeff Magee, Naranker Dulay, Susan Eisenbach, and Jeff Kramer. Specifying distributed software architectures. In Proceedings of ESEC '95 - 5th European Software Engineering Conference, volume 989 of Lecture Notes in Computer Science, pages 137-153, Sitges, Spain, 25-28 September 1995. Springer-Verlag, Berlin, Germany.
17. Nenad Medvidovic and Richard N. Taylor. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26(1):70-93, Janurary 2000.
18. Bertrand Meyer. Applying "design by contract". IEEE Computer, 25(10):40-51, October 1992.
19. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs, NJ, USA, 2 edition, 1997.
20. Harlan D. Mills, Michael Dyer, and Richard Linger. Cleanoom software engineering. IEEE Software, 4(5):19-25, September 1987.
21. John D. Musa. Operational profiles in software-reliability engineering. IEEE Software, 10(2):14, March 1993.
22. Microsoft Corp., The .NET homepage. http://www.microsoft.com/net/default.asp.
23. Oscar Nierstrasz. Regular types for active objects. In Proceedings of the 8th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA-93), volume 28, 10 of ACM SIGPLAN Notices, pages 1-15, October 1993.
24. Ralf H. Reussner. Dynamic types for software components. In Companion of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '99), November 5-10 1999. extended abstract.
25. Ralf H. Reussner. Enhanced component interfaces to support dynamic adaption and extension. In 34th Hawaiin International Conference on System Sciences. IEEE, January 3-5 2001.
26. Ralf H. Reussner. Parametrisierte Verträge zur Protokolladaption bei Software-Komponenten. Logos Verlag, Berlin, 2001.
27. Ralf H. Reussner. The use of parameterised contracts for architecting systems with software components. In Wolfgang Week, Jan Bosch, and Clemens Szyperski, editors, Proceedings of the Sixth International Workshop on Component-Oriented Programming (WCOP'01), June 2001.
28. Ralf H. Reussner. Counter-constraint finite state machines: A new model for resource-bounded component protocols. In Bill Grosky, Prantisek Plasil, and Ales Krenek, editors, Proceedings of the 29th Annual Conference in Current Trends in Theory and Practice of Informatics (SOFSEM 2002), Milovy, Tschechische Republik, Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany, November 2002.
29. James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual Addison-Wesley, Reading, MA, USA, 1999.
30. Heinz W. Schmidt, Iman Poernomo, and Ralf H. Reussner. Trust-by-contract: Modelling, analysing and predicting behaviour in software architectures. Journal of Integrated Design and Process Science, 5(3):25-51, September 2001.
31. Heinz W. Schmidt and Ralf H. Reussner. Generating Adapters for Concurrent Component Protocol Synchronisation. In Proceedings of the Fifth IFIP International conference on Formal Methods for Open Object-based Distributed Systems, March 2002.
32. Heinz W. Schmidt and Ralf H. Reussner. Parameterised Contracts and Adaptor Synthesis. In Proceedings of the ICSE Workshop of Component Oriented Software Engineering (CBSE5). IEEE, May 2002.
33. Mary Shaw and David Garlan. Software Architecture. Prentice Hall, Englewood Cliffs, NJ, USA, 1996.
34. Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. ACM Press, Addison-Wesley, Reading, MA, USA, 1998.
35. Carmen Trammell. Quantifying the reliability of software: Statistical testing based on a usage model. In Proceedings of the Second IEEE International Symposium on Software Engineering Standards, pages 208-218, 1995.
36. A. Vallecillo, J. Hernández, and J.M. Troya. Object interoperability. In A. Moreira and S. Demeyer, editors, Object Oriented Technology - ECOOP '99 Workshop Reader, number 1743 in LNCS, pages 1-21. Springer-Verlag, Berlin, Germany, 1999.
37. A. Vallecillo, J. Hernández, and J.M. Troya. Object interoperability. In J. Malenfant, S. Moisan, and A. Moreira, editors, Object Oriented Technology - ECOOP 2000 Workshop Reader, number 1964 in LNCS, pages 256-269. Springer-Verlag, Berlin, Germany, 2000.
38. Wen-Li Wang, Ye Wu, and Mei-Hwa Chen. An Architecture-Based Software Reliability Model. In Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing, 16-17 December, Hong Kong, China. IEEE, 1999.
39. James A. Whittaker and Michael G. Thomason. A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering, 20(10):812-824, October 1994.
40. Niklaus Wirth. Programming in MODULA-2. Springer-Verlag, 3rd Edition, 1985.
41. Bart Wydaeghe. Component Composition Based on Composition Patterns and Usage Scenarios. Dissertation, Department of Computer Science, Vrije Universitiet Brussel, Belgium, 2001.
42. D. Yellin and R. Strom. Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems, 19(2):292-333, 1997.