Skip to main content
SpringerLink
Log in

Evaluation of the Contract-Aware Software Development Process in a Controlled Experiment

  • Conference paper
  • First Online:
New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 312))

  • 2360 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. B. Meyer, Object-Oriented Software Construction, 2nd ed., Prentice Hall, 1997.

    Google Scholar 

  4. Unified Modeling Language (UML) [Online]. Available: http://www.omg.org/spec/UML/

  5. J. Warmer and A. Kleppe, The Object Constraint Language: getting your models ready for MDA, Addison-Wesley Professional, 2008.

    Google Scholar 

  6. Object Constraint Language (OCL). [Online]. Available:, http://www.omg.org/spec/OCL/

  7. Microsoft Code Contracts, Available: http://research.microsoft.com/en-us/projects/contracts

  8. 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.

    Google Scholar 

  9. IBM Rational Software Architect, Available: http://www-01.ibm.com/software/awdtools/swarchitect/

  10. 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.

    Google Scholar 

  11. A. Coronato and G. De Pietro, “Formal design and implementation of constraints in software components,” Advances in Engineering Software, 41, pp. 737-747, 2010.

    Article  MATH  Google Scholar 

  12. 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.

    Google Scholar 

  13. J. Cabot, R. Clarisó and D. Riera, “Verifying UML/OCL Operation Contracts,” in IFM 2009, LNCS 5423, Springer, 2009, pp 40-55.

    Google Scholar 

  14. A. Demuth, R. E. Lopez-Herrejon, A. Egyed, “Constraint-driven Modeling through Transformation,” Softw. Syst. Model., Springer, June 2013

    Google Scholar 

  15. 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.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. Dresden OCL, Available: http://reuseware.org/index.php/DresdenOCL

  18. 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.

    Google Scholar 

  19. 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.

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Warsaw University of Technology, 00-661, Warsaw, Poland

    A. Derezińska & P. Ołtarzewski

Authors
  1. A. Derezińska
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. Ołtarzewski
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. Derezińska .

Editor information

Editors and Affiliations

  1. Computer Science and Engineering, University of Bridgeport Associate Dean for Graduate Programs, Bridgeport, Connecticut, USA

    Khaled Elleithy

  2. Engineering and Computer Science, University of Bridgeport Dean of the School of Engineering, Bridgeport, Connecticut, USA

    Tarek Sobh

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation