A formal framework for design component contracts

Proceedings of the 2003 IEEE International Conference on Information Reuse and Integration, IRI 2003

Volumn , Issue , 2003, Pages 53-60

  Dong, Jing ^a   Alencar, Paulo ^b   Cowan, Donald ^b  

^a The University of Texas at Dallas   (United States)

^b UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Component based design; Contract; Design pattern; Model checking; Process calculus

Indexed keywords

CALCULATIONS; CONTRACTS; DESIGN; INFORMATION USE; INTEGRATION; LOGIC PROGRAMMING; MODEL CHECKING; NETWORK COMPONENTS; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY;

BINARY COMPONENTS; COMPONENT BASED DESIGN; COMPONENT TECHNOLOGIES; DESIGN PATTERNS; FORMAL SYSTEM MODELS; LARGE SOFTWARE SYSTEMS; PROCESS CALCULI; SOFTWARE COMPONENT;

SOFTWARE DESIGN;

EID: 2942568844     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IRI.2003.1251395     Document Type: Conference Paper

References (29)

1. S. Basu, S. A. Smolka, and O. R. Ward. Model Checking the Java Meta-Locking Algorithm. Proceedings of the 7th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems(ECBS), pages 342-350, April 2000.
2. A. Beugnard, J.-M. Jézéquel, N. Plouzeau, and D. Watkins. Making Components Contract Aware. IEEE Computer, 32(7): 38-45, July 1999.
3. A. Borgida and P. Devanbu. Adding more "dl" to idl: Towards more knowledgeable component interoperability. Proceedings of the 21st International Conference on Software Engineering, Los Angeles, USA, pages 378-387, May 1999.
4. A. Discenza. Design Patterns for WWW Museum Hypermedia. Technical Report 99, 4, Politecnico di Milano, 1999.
5. J. Dong. Design Component Contracts: Model and Analysis of Pattern-Based Composition. Ph.D. Thesis, Computer Science Department, University of Waterloo, June 2002.
6. J. Dong, P. Alencar, and D. Cowan. Ensuring Structure and Behavior Correctness in Design Composition. Proceedings of the 7th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems(ECBS), Edinburgh UK, pages 279-287, April 2000.
7. J. Dong, P. Alencar, and D. Cowan. A Behavioral Analysis Approach to Pattern-Based Composition. Proceedings of the 7th International Conference on Object-Oriented Information Systems (OOIS), Springer-Verlag, Calgary, Canada, August 2001.
8. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns, Elements of Reusable Object-Oriented Software. Addison-Wesley Publishing Company, 1995.
9. D. Garlan, R. Allen, and J. Ockerbloom. Architectural Mismatch or Why It's Hard to Build Systems out of Existing Parts. Proceedings of the 17th International Conference on Software Engineering, pages 179-185, April 1995.
10. D. Garlan and S. Khersonsky. Model Checking Implicit-Invocation Systems. Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD), pages 23-30, November 2000.
11. D. Garlan, R. T. Monroe, and D. Wile. Acme: Architectural Description of Component-Based Systems. Foundations of Component-Based Systems, (Leavens G. and Sitaraman M., eds.) Cambridge University Press, pages 47-67, 2000.
12. D. M. German. Hadez: A Framework for the Specification and Verification of Hypermedia Applications. Ph.D. Thesis, Computer Science Department, University of Waterloo, 2000.
13. D. M. Germán and D. D. Cowan. Towards a Unified Catalog of Hypermedia Design Patterns. Proceedings of the 33rd Annual Hawaii International Conference on System Sciences, January 2000.
14. R. Helm, I. M. Holland, and D. Gangopadhyay. Contracts: Specifying Behavioral Compositions in Object-Oriented Systems. Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA), USA, pages 169-180, October 1990.
15. S. A. Hissam. Experience Report: Correcting System Failure in a COTS Information System. Proceedings of the International Conference on Software Maintenance, Bethesda, USA, pages 170-176, November 1998.
16. R. K. Keller and R. Schauer. Design Components: Towards Software Composition at the Design Level. Proceedings of the 20th International Conference on Software Engineering, pages 302-311, 1998.
17. D. Kozen. Results on the Propositional μ-calculus. Theoretical Computer Science, 27: 333-354, 1983.
18. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, New York, NY, 1984.
19. B. Meyer. Applying "design by contract". IEEE Computer, pages 40-51, October 1992.
20. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
21. NGA. The National Gallery of Art. Available from http://www.nga.gov/help/help.htm, 2002.
22. O. Nierstrasz and L. Dami. Component-Oriented Software Technology. Object-Oriented Software Composition, ed. O. Nierstrasz and D. Tsichritzis, Prentice Hall, pages 3-28, 1995.
23. Y Ramakrishna, C. Ramakrishnan, I. Ramakrishnan, S. Smolka, T. Swift, and D. Warren. Efficient Model Checking Using Tabled Resolution. Proceedings of the 9th International Conference on Computer Aided Verification (CAV), Haifa Israel, LNCS1243, Springer-Verlag, pages 143-154, July 1997.
24. G. Rossi, D. Schwabe, and A. Garrido. Design Reuse in Hypermedia Applications Development. Proceedings of the ACM International Conference on Hypertext, pages 57-66, April 1997.
25. J. M. Rushby. Mechanizing Formal Methods. Proceedings of the 9th International Conference of Z Users (ZUM95), Jonathan P. Bowen and Michael G. Hinhey (eds), LNCS967, Springer-Verlag, Limerick, Ireland, pages 105-113, September 1995.
26. C. Stirling. An Introduction to Modal and Temporal Logics for CCS. Lecture Notes in Computer Science 491, Springer-Verlag, pages 1-20, 1991.
27. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison Wesley Longman, Reading, Mass., 1998.
28. W. Wang, Z. Hidvégi, A. D. Bailey, and A. B. Whinston. E-Process Design and Assurance Using Model Checking. IEEE Computer, 33(10): 48-53, October 2000.
29. H. Yu, X. He, Y. Deng, and L. Mo. Formal Analysis of Real-Time Systems with SAM. Proceedings of the 4th International Conference on Formal Engineering Methods (ICFEM), pages 275-286, Oct. 2002.