Advertisement

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.

Keywords

Model Check System Life Cycle Maintenance Support Mediation Scenario Single Artifact 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Andrade, L.F., Fiadeiro, J.L.: Architecture Based Evolution of Software Systems, http://www.atxsoftware.com/publications/SFM.pdf
  2. 2.
    AspectJ Website, http://eclipse.org/aspectj/
  3. 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)CrossRefGoogle Scholar
  4. 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. 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. 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. 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)CrossRefGoogle Scholar
  8. 8.
    Heartbeat, Open Source High Availability Software, http://www.linux-ha.org
  9. 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. 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)CrossRefGoogle Scholar
  11. 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)zbMATHGoogle Scholar
  12. 12.
    JRules, ILOG, http://www.ilog.com/
  13. 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)CrossRefGoogle Scholar
  14. 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. 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. 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. 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)CrossRefGoogle Scholar
  18. 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. 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. 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. 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. 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)CrossRefGoogle Scholar
  23. 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. 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)CrossRefGoogle Scholar
  25. 25.
    Steffen, B.: Unifying models. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol. 1200, pp. 1–20. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  26. 26.
    Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design. In: [28], pp. 9–30Google Scholar
  27. 27.
    Steffen, B., Narayan, P.: Full Life-Cycle Support for End-to-End Processes. IEEE Computer 40(11), 64–73 (2007)CrossRefGoogle Scholar
  28. 28.
    Special Section on the Electronic Tool Integration Platform. Int. Journal on Software Tools for Technology Transfer 1(1+2) (November 1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Tiziana Margaria
    • 1
  • Bernhard Steffen
    • 2
  1. 1.Chair Service and Software EngineeringUniversity of PotsdamGermany
  2. 2.Chair of Programming SystemsTU DortmundGermany

Personalised recommendations