Abstract
The contract-based software implementation improves accuracy and verification capabilities of business information systems. This paper promotes contract identification in early phases of the software development and defining contracts within models. Design and implementation artifacts that are responsible for system functionality and system constraints are transformed during the consecutive development phases. Combination of the Model Driven Engineering paradigm and Design by Contract ideas constitutes the Contract Aware Software Development process (CASD). The approach is specialized for system modeling in UML, contracts specified at model level in Object Constraint Language (OCL), and the final implementation in the C# language. The specialized process is supported by the tool transforming the models with associated contracts into the corresponding programs with contracts at the code level.
Keywords
References
Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall (1997)
France, R., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: Proc. of Future of Software Engineering at ICSE 2007, pp. 37–54. IEEE Soc. (2007)
Derezińska, A., Ołtarzewski, P.: Business Software Development Process Combining Model-Driven and Contract-Based Approaches. In: Jałowiecki, P., Łuasiewicz, P., Orłowski, A. (eds.) Information Systems in Management XI, pp. 7–17. WULS Press, Warsaw (2011)
Object Constraint Language (OCL) (March 15, 2012), http://www.omg.org/spec/OCL/
Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Professional (2008)
Ołtrzewski, P.: Software Development Using Contracts by Example of the T.O.F.I.C Tool. Master Thesis, Inst. of Computer Science, Warsaw Univ. of Technology (2011) (in Polish)
Neumarite, L., Ceponiene, L., Vadrickas, G.: Representation of Business Rules in UML&OCL Models for Developing Information Systems. In: Stirna, J., Persson, A. (eds.) POEM 2008. LNBIP, vol. 15, pp. 182–196. Springer (2008)
Frankel, S.: Model Driven Architecture: Appling MDA to Enterprise Computing. Wiley Press, Hoboken (2003)
Microsoft Code Contracts (March 15, 2012), http://research.microsoft.com/en-us/projects/contracts
IBM Rational Software Architect (March 15, 2012), http://www-01.ibm.com/software/awdtools/swarchitect/
Derezińska, A., Ołtarzewski, P.: Model-Driven Engineering Support for Building C# Applications. In: Sobh, T., Elleithy, K. (eds.) Innovations in Computing Sciences and Software Engineering, pp. 449–454. Springer (2010)
Eiffel Software: An Eiffel Tutorial (March 15, 2012), http://docs.eiffel.com/
Chimiak-Opoka, J., Demuth, B., et al.: OCL Tools Report Based on the IDE4OCL Feature Model. In: Proc. of International Workshop on OCL and Textual Modeling, col. Tools Europe (2011)
Toval, A., Requena, V., Fernandez, J.L.: Emerging OCL tools. Journal of Software and System Modeling 2(4), 248–261 (2003)
Derezińska, A., Ołtarzewski, P.: Code Generation of Contracts Using OCL Tools. In: Borzemski, L., et al. (eds.) Information Systems Architecture and Technology, Web Information Systems Engineering, Knowledge Discovery and Hybrid Computing, pp. 235–244. Publishing House of Wroclaw University of Technology, Poland (2011)
Chimiak-Opoka, J., Demuth, B.: A Feature Model for an IDE4OCL. In: Proc. of International Workshop on OCL and Textual Modeling (2010)
Dresden OCL, (March 15, 2012), http://reuseware.org/index.php/DresdenOCL
Coronato, A., De Pietro, G.: Formal design and implementation of constraints in software components. Advances in Engineering Software 41, 737–747 (2010)
Dan, L., Danning, L.: Applying Model Driven to Software Development: a University Library Case Study. In: Proc. of the 3rd International Conference on Communication Software and Networks, ICCSN, pp. 179–183. IEEE Comp. Soc. (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Derezińska, A., Ołtarzewski, P. (2012). Towards Specialization of the Contract-Aware Software Development Process. In: Bajec, M., Eder, J. (eds) Advanced Information Systems Engineering Workshops. CAiSE 2012. Lecture Notes in Business Information Processing, vol 112. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31069-0_40
Download citation
DOI: https://doi.org/10.1007/978-3-642-31069-0_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31068-3
Online ISBN: 978-3-642-31069-0
eBook Packages: Computer ScienceComputer Science (R0)