Automatic implementation of constraints in component based applications

Information and Software Technology

Volumn 47, Issue 7, 2005, Pages 497-509

  Coronato, Antonio ^a   D'Acierno, Antonio ^a   De Pietro, Giuseppe ^a  

^a CNR   (Italy)

Author keywords

Automatic constraints implementation; Component engineering; Component modeling; Development process

Indexed keywords

AUTOMATION; COMPUTER NETWORKS; CONSTRAINT THEORY; FUNCTIONS; MATHEMATICAL MODELS; MIDDLEWARE;

AUTOMATIC CONSTRAINTS IMPLEMENTATION; COMPONENT ENGINEERING; COMPONENT MODELING; DEVELOPING PROCESSES;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 16344386025     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2004.09.015     Document Type: Article

References (30)

1. B. Meyer Applying design by contract IEEE Computer October 1992 40 51
2. B. Meyer Object Oriented Software Construction 2nd ed. 1997 Prentice Hall Englewood Cliffs, NJ
3. R. Kramer, iContract - the Java Design by Contract tool, in: Proceedings of International Conference of Object Oriented Language and Systems (TOOLS 26, USA'98), IEEE Computer Society Press, 1998.
4. R.G. Ross, Business Rule Concept, Business Rule Solutions, 1998.
5. J.J. Odell Advanced Object-Oriented Analysis & Design Using UML 1998 Cambridge University Press Cambridge
6. J. Warmer, and A. Kleppe The Object Constraint Language: Precise Modeling with UML 1999 Addison-Wesley New York
7. D.F. D'Souza, and A.C. Wills Objects, Components, and Framwiorks with UML: The Catalysis Approach 1999 Addison-Wesley New York
8. OMG, Relationship Service Specification version 1.0, April 2000, available at http://www.omg.org
9. W.L. Oellermann Architecting Web Services 2001 Apress
10. G.T. Heineman, and W.T. Councill Component-based Software Engineering 2001 Addison-Wesley New York
11. P. Abercrombie, and M. Karaorman jContractor: Bytecode instrumentation techniques for implementing design by contract in Java in: Proceedings of Second Workshop on Runtime Verification, RV 02. Copenhagen, Denmark July 2002 26
12. L.C. Briand, Y. Labiche, and H. Sun Investigating the use of analysis contracts to support fault isolation in object oriented code ACM SIGSOFT Software Engineering Notes, Proceedings of the International Symposium on Software Testing and Analysis 27 4 2002 4
13. E. Cariu, A. Beugnard, J.M. Jezequel, An Architecture and a Process for Implementing Distributed Collaborations, in: Proceedings of the Sixth International Enterprise Distributed Object Computing conference (EDOC'02), IEEE Computer Society Press, Los Alamitos, CA, 2002.
14. N. Medidovic, D.S. Rosenblum, D.F. Redmiles, and J.E. Robbins Modeling software architectures in the unified modeling language ACM Transactions on Software Engineering and Methodology 1 1 2002 2 57
15. A. Coronato, M. Cinquegrani, and G. De Pietro Adding Business Rules and Constraints in Component Based Applications in: Proceedings of the International Symposium on Distributed Objects and Applications (DOA 2002), Irvive, CA, USA - LNCS 2519 2002
16. J. Cheesman, and J. Daniels UML Components - A Simple Process for Specifying Component-Based Software 2003 Addison-Wesley New York
17. OMG, Response to the UML 2.0 OCL RfP (ad/2000-09-03), Revised Submission, Version 1.6, January 6, 2003.
18. OMG, UML Profile for Enterprise Distributed Object Computing Specifications, available at www.omg.org
19. OMG, Unified Modeling Language Specifications, v1.5, chapter 6, available at www.omg.org
20. IONA, ORBIX 2000 Tutorial, available at http://www.iona.com/docs
21. Sun Microsystems, CORBA Technology and the Java2 Platform, Standard Edition, available at http://java.sun.com/j2se/
22. http://www.cs.wustl.edu/schmidt/TAO.html
23. OMG, Common Object Request Broker Architecture: Core Specification, version 3.0.3, March 2004, available at http://www.omg.org
24. Sun Microsystems, Java tutorial, available at http://java.sun.com/ developer/onlineTraining/
25. ISO/IEC 14750 standard.
26. OMG, Transaction Service Specification version 1.4, September 2003, available at http://www.omg.org
27. Microsoft DCOM, available at http://msdn.microsoft.com
28. http://www2.inf.ethz.ch/personal/meyer/
29. http://www.javaworld.com/javaworld/jw-02-2001/jw-0216-cooltools.html
30. http://csd.informatik.uni-oldenburg.de/jass