Abstract
Contract-Aware Software Development (CASD) process combines the Model Driven Engineering (MDE) approach with the Design by Contract ideas performed at the modeling level. Software engineering solutions need empirical investigation on the impact of methodology on the developed products. Therefore we have designed and performed a controlled experiment analyzing the crucial parts of the process. We focused on the CASD process specialized for UML models with contracts specified in the Object Constraint Language (OCL). Models with contracts are automatically transformed into C# code. In the experiment different development phases and their products were evaluated. As a result a high consistency between contract specification at a model and a code level was confirmed. The evidences stressed very high requirements on the tool support, and some inconveniences that still limit widespread application of the MDE paradigm.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
A. Derezińska and P. Ołtarzewski, “Towards specialization of the Contract-Aware Software Development process,” in Advanced Information Systems Engineering Workshops, M. Bajec and J. Eder, Eds. LNBIP 112, Springer-Verlag Berlin Heidelberg, 2012, pp. 494–501.
R. France and B. Rumpe, “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.
B. Meyer, Object-Oriented Software Construction, 2nd ed., Prentice Hall, 1997.
Unified Modeling Language (UML) [Online]. Available: http://www.omg.org/spec/UML/
J. Warmer and A. Kleppe, The Object Constraint Language: getting your models ready for MDA, Addison-Wesley Professional, 2008.
Object Constraint Language (OCL). [Online]. Available:, http://www.omg.org/spec/OCL/
Microsoft Code Contracts, Available: http://research.microsoft.com/en-us/projects/contracts
A. Derezińska and P. Ołtarzewski, “Model-Driven Engineering support for building C# applications,” in Innovations in Computing Sciences and Software Engineering, T. Sobh, K. Elleithy, Eds. Springer, 2010, pp. 449-454.
IBM Rational Software Architect, Available: http://www-01.ibm.com/software/awdtools/swarchitect/
A. Derezińska and P. Ołtarzewski, “Code generation of contracts using OCL tools,” in Information Systems Architecture and Technology, Web Information Systems Engineering, Knowledge Discovery and Hybrid Computing, L. Borzemski et al., Eds. Publishing House of Wroclaw University of Technology, Poland, 2011, pp. 235-244.
A. Coronato and G. De Pietro, “Formal design and implementation of constraints in software components,” Advances in Engineering Software, 41, pp. 737-747, 2010.
L. Dan and L. Danning, “Applying Model Driven to software development: a University Library case study,” in Proc. of the 3 rd International Conference on Communication Software and Networks, ICCSN, pp. 179-183. IEEE Comp. Soc., 2011.
J. Cabot, R. Clarisó and D. Riera, “Verifying UML/OCL Operation Contracts,” in IFM 2009, LNCS 5423, Springer, 2009, pp 40-55.
A. Demuth, R. E. Lopez-Herrejon, A. Egyed, “Constraint-driven Modeling through Transformation,” Softw. Syst. Model., Springer, June 2013
Mohagheghi, P., Fernandez, M., Martell, J., Fritzsche, M., Giliani, W.: MDE adoption in industry: Challenges and success criteria, in ChaMDE 2008 Workshop Proceedings: International Workshop on Challenges in Model-Driven Software Engineering, pp. 5–9, 2008.
J. Chimiak-Opoka, et al., “OCL Tools Report Based on the IDE4OCL Feature Model,” Electronic Communications of the EASST, vol 36, pp.1-18, 2010.
Dresden OCL, Available: http://reuseware.org/index.php/DresdenOCL
C. Wohlin, P. Runeson, M. Host, M., C. Ohlsson, B. Regnell, and A. Wesslen, Experimentation in Software Engineering - An Introduction, Kluwer Academic Pub., Norwell, MA, USA, 2000.
M. Höst, B. Regnell, and C. Wohlin, “Using Students as Subjects - comparative study of students and professionals in lead-time impact assessment”, Empirical Software Engineering, vol 5, no 4, pp. 201—214, 2000.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Derezińska, A., Ołtarzewski, P. (2015). Evaluation of the Contract-Aware Software Development Process in a Controlled Experiment. In: Elleithy, K., Sobh, T. (eds) New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering. Lecture Notes in Electrical Engineering, vol 312. Springer, Cham. https://doi.org/10.1007/978-3-319-06764-3_45
Download citation
DOI: https://doi.org/10.1007/978-3-319-06764-3_45
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06763-6
Online ISBN: 978-3-319-06764-3
eBook Packages: EngineeringEngineering (R0)