Abstract
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in modeling distributed systems as long as business rules implementation, design-by-contract practice, and fault-tolerance requirements are concerned. Nevertheless, component developers are not sufficiently supported by existing tools to model and implement such features. In this paper, we propose a set of tools that enable developers both to model component constraints and to automatically generate component skeletons that already implement such constraints.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Heineman, G.T., Councill, W.T.: Component-Based Softwar Engineering. Addison-Wesley publishing, Reading (2001)
Ross, R.G.: Business Rule Solutions. In: The Business Rule Book, 2nd edn. (1997)
Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley publishing, Reading (1999)
Eriksson, H.-E., Penker, M.: UML toolkit. Wiley publishing, Chichester
Meyer, B.: Object Oriented Construction. Prentice-Hall, Englewood Cliffs (1988)
Cheesman, J., Daniels, J.: UML Components – A Simple Process for Specifying Component-Based Software. Addison-Wesley, Reading (2003)
D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1999)
Sun Microsystems, CORBA Technology and the Java2 Platform, Standard Edition, available at http://java.sun.com/j2se/1.4.2/docs/guide/corba/index.html
ORBIX 2000 Tutorial, available at http://www.iona.com/docs
ISO/IEC 14750 standard
Medidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling Software Architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology 1(1), 2–57 (2002)
Meyer, B.: Applying Design by contract, pp. 40–51. IEEE Computer, Los Alamitos (1992)
Rosenblum, D.S.: A Practical Approach to Programming with Assertion. IEEE transactions on Software Engineering 21(1), 19–31 (1995)
Jézéquel, J.M., Meyer, B.: Design by contract: The Lessons of Ariane. IEEE Computer (January 1997)
Holt, R.C., Cordy, J.R.: The Turing Programming Language. Communication of ACMÂ 31(12) (December 1988)
Coronato, A., Cinquegrani, M., De Pietro, G.: Adding Business Rules and Constraints in Component Based Applications. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519. Springer, Heidelberg (2002)
Briand, L.C., Labiche, Y., Sun, H.: Investigating the use of analysis contracts to support fault isolation in object oriented code. In: Proceedings of the international symposium on Software testing and analysis, ACM SIGSOFT Software Engineering Notes, vol. 27(4)
Cariu, E., Beugnard, A., Jezequel, J.M.: An Architecture and a Process for Implementing Distributed Collaborations. In: the proc. of the 6th Int. Enterprise Distributed Object Computing conference (EDOC 2002). IEEE Computer Society Press, Los Alamitos (2002)
Kramer, R.: iContract – the Java Design by Contract tool. In: proc. of International Conference of Object Oriented Language and Systems (TOOLS 26, USA 1998). IEEE Computer Society Press, Los Alamitos (1998)
OMG, Response to the UML 2.0 OCL RfP (ad/2000-09-03), Revised Submission, Version 1.6, January 6 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Coronato, A., d’Acierno, A., D’Ambrosio, D., De Pietro, G. (2005). Supporting Tools for Designing-By-Contract in Component-Based Applications. In: Wiil, U.K. (eds) Metainformatics. MIS 2004. Lecture Notes in Computer Science, vol 3511. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11518358_1
Download citation
DOI: https://doi.org/10.1007/11518358_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27328-8
Online ISBN: 978-3-540-32105-7
eBook Packages: Computer ScienceComputer Science (R0)