Designing a domain-specific contract language: A metamodelling approach

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

Volumn 3748, Issue , 2005, Pages 175-189

  Chan, Zhan En ^a   Paige, Richard F ^b  

^a UNIVERSITY OF WARWICK   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTER SOFTWARE; DATABASE SYSTEMS; SOFTWARE ENGINEERING;

DOMAIN-SPECIFIC CONTRACT LANGUAGES (DSCL); METAMODEL-BASED APPROACH;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33646527148     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11581741_14     Document Type: Conference Paper

References (35)

1. What is metamodeling, and what is it good for? available at www.metamodel.com, last accessed 5 June 2005.
2. T. Baar and R. Hahnle. An integrated metamodel for OCL types. In Proceedings of OOPSLA 2000, Workshop Refactoring the UML: In Search of the Core, Minneapolis, Minnesota, USA, 2000.
3. Baresi L., Denaro, G., Mainetti, L., Paolini, P.: Assertions to better specify the Amazon bug.ACM International Conference Proceeding Series 27,2002,pp:585-592.
4. M. Barnett, C. Cook, O. Pendse, G. Rothermel, J. Summet, and C. Wallace. End-user software engineering with assertions in the spreadsheet paradigm. In Proceedings of the 25th International Conference on Software Engineering, pages 93-103. IEEE Computer Society, 2003.
5. Antoine Beugnard, Jean-Marc Jézéquel, Noel Plouzeau, and Damien Watkins. Making components contract aware. IEEE Computer, 32(7): 38-45, July 1999.
6. L. C. Briand, Y. Labiche, and H. Sun. Investigating the use of analysis contracts to support fault isolation in object oriented code. In Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, pages 70-80. ACM Press, 2002.
7. Zhan En Chan. Multiview of a contract metamodel in systems engineering. Msc thesis, Department of Computer Science, University of York, United Kingdom, September 2004.
8. N. Damianou, N. Dulay, E. Lupu, and M. Sloman. The Ponder policy specification language. In Proceedings of Policy 2001: Workshop on Policies for Distributed Systems and Networks, LNCS 1995, pages 18-39. Springer-Verlag, 2001.
9. S. Flake and W. Mueller. An OCL extension for real-time constraints. In Object Modeling with the OCL, LNCS 2263, pages 150-171. Springer-Verlag, 2002.
10. C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-580, October 1969.
11. Microsoft Inc. Domain-Specific Language (DSL) Tools, 2004.
12. C. Mingins J.-M. Jézéquel, M. Train. Design Patterns and Contracts. Addition-Wesley, 1999.
13. H. Klaeren, E. Pulvermüller, A. Rashid, and A. Speck. Aspect composition applying the design by contract principle. In GCSE 2000, LNCS 2177, pages 57-69. Springer-Verlag, 2001.
14. G. Kotonya and Ian Sommerville. Requirements Engineering: processes and techniques. John Wiley & Sons, 1998.
15. S. W. Loke and S. Ling. Design-by-contract for Java based mobile agents. In Proc. OOSDS'99, 1999.
16. P. Madsen. Enhancing design-by-contract with knowledge about equivalence partitions. Journal of Object Technology, Special issue: TOOLS USA 2003, 3(4):5-21, April 2004.
17. A. McNeile and N. Simons. Methods of Behaviour Modelling: A Commentary on Behaviour Modelling Techniques for MDA. Metamaxim Ltd., 2004. DRAFT Version 3.
18. Bertrand Meyer. Building bug-free O-O software: An introduction to design by contract, available at www.eiffel.com.
19. Bertrand Meyer. Design-by-contract. Technical report tr-ei-12/co, ISE Inc., 1987.
20. Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 1997.
21. C. Michiels, M. Snoeck, W. Lemahieu, F. Goethals, and G. Dedene. A layered architecture sustaining model driven and event driven software development, technical report, KU-Leuven.
22. R. Mitchell and J. McKim. Design by Contract, by Example. Addison-Wesley, 2001.
23. I. Nunes. Design by contract using meta-assertions. Journal of Object Technology, Special Edition: TOOLS USA 2002 proceedings, 1(3):37-56, 2002.
24. I. Nunes. An OCL extension for low-coupling preserving contracts. In UML 2003, LNCS 2863, pages 310-324. Springer-Verlag, 2003.
25. Object Management Group. UML 2.0 OCL Final Adopted Specification, 2004.
26. Society of Automative Engineers. Architectural Analysis and Design Language (AADL). SAE, 2005.
27. Richard Paige. An encoding of unit and accuracy assertions in UML and OCL, DARP internal report, 2003.
28. A. Radjenovic. AIM: Architectural Modelling for Managing Change in HIRTS. DARP HIRTS Project, 2005.
29. M. Richters and M. Gogolla. A metamodel for OCL. In UML '99, LNCS 1723, pages 156-171. Springer-Verlag, 1999.
30. David S. Rosenblum. A practical approach to programming with assertions. IEEE Transactions on Software Engineering, 21(1): 19-31, January 1995.
31. G. Rosu and F. Chen. Certifying measurement unit safety policy. In 18th IEEE International Conference on Automated Software Engineering, page 304. IEEE Computer Society, October 2003.
32. J. Skene, D. D. Lamanna, and W. Emmerich. Precise service level agreements. In Proc. ICSE'04. IEEE Press, 2004.
33. Ian Sommerville. Software Engineering. Addison-Wesley, 7th edition edition, 2004.
34. R. N. Taylor. Assertions in programming languages. ACM SICPLAN Notices, 15(1): 105-114, 1980.
35. Franois Yergeau, John Cowan, Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, and Eve Maler. Extensible markup language (XML) 1.1.