Skip to main content
SpringerLink
Log in

Agile IT: Thinking in User-Centric Models

  • Conference paper
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 17))

Abstract

We advocate a new teaching direction for modern CS curricula: extreme model-driven development (XMDD), a new development paradigm designed to continuously involve the customer/application expert throughout the whole systems’ life cycle. Based on the ‘One-Thing Approach’, which works by successively enriching and refining one single artifact, system development becomes in essence a user-centric orchestration of intuitive service functionality. XMDD differs radically from classical software development, which, in our opinion is no longer adequate for the bulk of application programming – in particular when it comes to heterogeneous, cross organizational systems which must adapt to rapidly changing market requirements. Thus there is a need for new curricula addressing this model-driven, lightweight, and cooperative development paradigm that puts the user process in the center of the development and the application expert in control of the process evolution.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andrade, L.F., Fiadeiro, J.L.: Architecture Based Evolution of Software Systems, http://www.atxsoftware.com/publications/SFM.pdf

  2. AspectJ Website, http://eclipse.org/aspectj/

  3. Bajohr, M., Margaria, T.: MaTRICS: A Service-Based Management Tool for Remote Intelligent Configuration of Systems. Innovations in Systems and Software Engineering (ISSE) 2(2), 99–111 (2005)

    Article  Google Scholar 

  4. Bajohr, M., Margaria, T.: High Service Availability in MaTRICS for the OCS. In: Proc. ISoLA 2008, 3rd Int. Symp. on Leveraging Applications of Formal Methods, Verification, and Validation, Chalkidiki (GR), October 2008. CCIS, vol. 17. Springer, Heidelberg (2008)

    Google Scholar 

  5. Ball, T., Cook, B., Das, S., Rajamani, S.: Refining approximations in software predicate abstraction. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 338–340. Springer, Heidelberg (2004)

    Google Scholar 

  6. Corbett, J., Dwyer, M., Hatcliff, J., Robby.: Bandera: A Source-level Interface for Model Checking Java Programs. In: Proc. ICSE 2000, 22nd Int. Conf. on Software Engineering, pp. 762–765 (2000)

    Google Scholar 

  7. Hagerer, A., Hungar, H., Niese, O., Steffen, B.: Model Generation by Moderated Regular Extrapolation. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 80–95. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  8. Heartbeat, Open Source High Availability Software, http://www.linux-ha.org

  9. Hörmann, M., Margaria, T., Mender, T., Nagel, R., Steffen, B., Trinh, H.: The jABC Approach to Rigorous Collaborative Development of SCM Applications. In: Proc. ISoLA 2008, 3rd Int. Symp. on Leveraging Applications of Formal Methods, Verification, and Validation, Chalkidiki (GR), October 2008. CCIS, vol. 17. Springer, Heidelberg (2008)

    Google Scholar 

  10. Jörges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92–108. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  11. Jonsson, B., Margaria, T., Naeser, G., Nyström, J., Steffen, B.: Incremental requirement specification for evolving systems. Nordic Journal of Computing 8(1), 65 (2001); In: Proc. of Feature Interactions in Telecommunications and Software Systems (2000)

    MATH  Google Scholar 

  12. JRules, ILOG, http://www.ilog.com/

  13. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Videira Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Akşit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  14. Kubczak, C., Margaria, T., Steffen, B., Nagel, R.: Service-oriented Mediation with jABC/jETI. In: Semantic Web Services Challenge Results from the First Year (Semantic Web and Beyond). Springer, Heidelberg (2008)

    Google Scholar 

  15. Margaria, T., Karusseit, M.: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences, 2nd IFIP Conference on e- commerce, e-business, e-government (I3E 2002). In: Towards the Knowledge Society - eCommerce, eBusiness and eGovernment, Lisboa (P), 7-9 Oct. 2002, pp. 497–511. Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

  16. Margaria, T., Steffen, B.: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach. STTT, Int. Journal on Software Tools for Technology Transfer (2003)

    Google Scholar 

  17. Margaria, T., Steffen, B.: METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390–415. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  18. Margaria, T., Steffen, B.: From the How to the What. In: Proc. VSTTE 2005, Verified Software—Theories, Tools, and Experiments, IFIP Working Conference, Zurich, October 2005. LNCS, vol. 4171. Springer, Heidelberg (2005)

    Google Scholar 

  19. Margaria, T., Steffen, B.: Business Process Modelling in the jABC: The One-Thing Approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global (2009)

    Google Scholar 

  20. Marowsky-Bre, L.: A new cluster resource manager for heartbeat. In: UKUUG LISA/Winter Conf. on High-Availability and Reliability, Bournemouth, UK (2004)

    Google Scholar 

  21. Niese, O., Margaria, T., Hagerer, A., Nagelmann, M., Steffen, B., Brune, G., Ide, H.: An automated testing environment for CTI systems using concepts for specification and verification of workflows. Annual Review of Communication. In: Int. Engineering Consortium (IEC), Chicago, USA, vol. 54, pp. 927–936 (2001)

    Google Scholar 

  22. Niese, O., Steffen, B., Margaria, T., Hagerer, A., Brune, G., Ide, H.: Library-based design and consistency checks of system-level industrial test cases. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 233–248. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  23. Petrie, C., Zaremba, M., Lausen, H., Komazec, S., Küster, U.: SWS Challenge Scenarios. In: Semantic Web Services Challenge Results from the First Year (Semantic Web and Beyond). Springer, Heidelberg (2008)

    Google Scholar 

  24. Shankar, N., Owre, S.: Principles and Pragmatics of Subtyping in PVS. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol. 1827, pp. 37–52. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  25. Steffen, B.: Unifying models. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol. 1200, pp. 1–20. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  26. Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design. In: [28], pp. 9–30

    Google Scholar 

  27. Steffen, B., Narayan, P.: Full Life-Cycle Support for End-to-End Processes. IEEE Computer 40(11), 64–73 (2007)

    Article  Google Scholar 

  28. Special Section on the Electronic Tool Integration Platform. Int. Journal on Software Tools for Technology Transfer 1(1+2) (November 1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Chair Service and Software Engineering, University of Potsdam, Germany

    Tiziana Margaria

  2. Chair of Programming Systems, TU Dortmund, Germany

    Bernhard Steffen

Authors
  1. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Technische Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Margaria, T., Steffen, B. (2008). Agile IT: Thinking in User-Centric Models. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88479-8_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88478-1

  • Online ISBN: 978-3-540-88479-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation