Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Knowledge Management for Inclusive System Evolution

  • Chapter
  • First Online:
Transactions on Foundations for Mastering Change I

Part of the book series: Lecture Notes in Computer Science ((TFMC,volume 9960))

Abstract

When systems evolve in today’s complex, connected, and heterogeneous IT landscapes, waves of change ripple in every direction. Sometimes a change mandates other changes elsewhere, very often it is needed and opportune to check that a change indeed has no effects, or maybe only the announced effects, on other portions of the connected landscape, and impacts are often assessable only or also by expert professionals distinct from IT professionals. In this paper, we discuss the state of affairs with the current practice of software design, and examine it from the point of view of the adequacy of knowledge management and change enactment in a co-creation environment, as it is predicated and practiced by modern agile and lean IT development approaches, and in software ecosystems. True and functioning inclusion of non-IT stakeholders on equal terms, in our opinion, hinges on adequate, i.e., accessible and understandable, representation and management of knowledge about the system under development along the entire toolchain of design, development, and maintenance.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Notes

  1. 1.

    For instance, in the famous “tree-swing-comic”. Here [3] you find a commented version and also its derivation history, dating back to the ’70s.

  2. 2.

    This is genuine bidirectional incomprehension: as aptly captured in [1].

  3. 3.

    The Specification and Description Language (SDL), including the Message Sequence Charts (MSC), was defined by ITU-T in Recommendations Z.100 to Z.106.

References

  1. The business-it gap illustrated. http://modeling-languages.com/how-users-and-programmers-see-each-other/

  2. Owl-s: Semantic markup for web services. W3C Member Submission 22 November 2004. http://www.w3.org/Submission/OWL-S/

  3. The tree-swing cartoon. http://www.businessballs.com/treeswing.htm

  4. The tree-swing cartoon. http://www.businessballs.com/businessballs_treeswing_pictures.htm

  5. Blum, N., Magedanz, T., Kleessen, J., Margaria, T.: Enabling eXtreme model driven design of parlay X-based communications services for end-to-end multiplatform service orchestrations. In: 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp. 240–247, June 2009

    Google Scholar 

  6. Boßelmann, S., Margaria, T.: Guided business modeling and analysis for business professionals. In: Pfannstiel, M.A., Rasche, C. (eds.) Service Business Model Innovation in Healthcare and Hospital Management. Springer, November 2016. ISBN 978-3-319-46411-4

    Google Scholar 

  7. Boßelmann, S., Frohme, M., Kopetzki, D., Lybecait, M., Naujokat, S., Neubauer, J., Wirkner, D., Zweihoff, P., Bernhard Steffen, D.: A programming-less modeling environment for web applications. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) (2016)

    Google Scholar 

  8. Boßelmann, S., Wickert, A., Lamprecht, A-L., Margaria, T.: Modeling directly executable processes for healthcare professionals with xmdd. In: Pfannstiel, M.A., Rasche, C. (eds). Service Business Model Innovation in Healthcare and Hospital Management. Springer Verlag, November 2016. ISBN 978-3-319-46411-4

    Google Scholar 

  9. Boßelmann, S., Neubauer, J., Naujokat, S., Steffen, B.: Model-driven design of secure high assurance systems: an introduction to the open platform from the user perspective. In: Margaria, T., Solo, A.M.G. (eds). The 2016 International Conference on Security and Management (SAM 2016), Special Track End-to-End Security and Cybersecurity: From the Hardware to Application, pp. 145–151. CREA Press (2016)

    Google Scholar 

  10. Celebic, B., Breu, R., Felderer, M.: Traceability types for mastering change in collaborative software quality management. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 242–256. Springer, Heidelberg (2016)

    Google Scholar 

  11. Doedt, M., Steffen, B.: An evaluation of service integration approaches of business process management systems. In: Proceedings of the 35th Annual IEEE Software Engineering Workshop (SEW 2012) (2012)

    Google Scholar 

  12. Fitzgerald, B.: Software crisis 2.0. In: Keynote at EASE 2016, 20th International Conference on Evaluation and Assessment in Software Engineering, Limerick (Irealnd), June 2016

    Google Scholar 

  13. 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). doi:10.1007/3-540-45923-5_6

    Chapter  Google Scholar 

  14. Hagerer, A., Margaria, T., Niese, O., Steffen, B., Brune, G., Ide, H.-D.: Efficient regression testing of CTI-systems: testing a complex call-center solution. Ann. Rev. Commun. Int. Eng. Consortium (IEC) 55, 1033–1040 (2001)

    Google Scholar 

  15. Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: Test Conference, Proceedings, ITC 2003, International, vol. 1, pp. 971–980, October 2003

    Google Scholar 

  16. Isberner, M., Howar, F., Steffen, B.: Learning register automata: from languages to program structures. Mach. Learn. 96, 1–34 (2013)

    MathSciNet  MATH  Google Scholar 

  17. Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Rustan, K., Leino, M., Burdy, L., Cheon, Y., Poll, E.: An overview of jml tools and applications. STTT 7(3), 212–232 (2005)

    Article  Google Scholar 

  18. Margaria, T., Boßelmann, S., Doedt, M., Floyd, B.D., Steffen, B.: Customer-oriented business process management: visions and obstacles. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 407–429. Springer, London (2012)

    Chapter  Google Scholar 

  19. Margaria, T., Floyd, B.D., Gonzalez Camargo, R., Lamprecht, A.-L., Neubauer, J., Seelaender, M.: Simple management of high assurance data in long-lived interdisciplinary healthcare research: a proposal. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 526–544. Springer, Heidelberg (2014). doi:10.1007/978-3-662-45231-8_44

    Google Scholar 

  20. Margaria, T., Raffelt, H., Steffen, B.: Analyzing second-order effects between optimizations for system-level test-based model generation. In: Test Conference, Proceedings. ITC 2005, IEEE International. IEEE Computer Society, November 2005

    Google Scholar 

  21. Margaria, T., Steffen, B.: Backtracking-free design planning by automatic synthesis in METAFrame. In: Astesiano, E. (ed.) FASE 1998. LNCS, vol. 1382, pp. 188–204. Springer, Heidelberg (1998). doi:10.1007/BFb0053591

    Chapter  Google Scholar 

  22. Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. Softw. Tools Technol. Transf. 5(2–3), 107–123 (2004)

    Article  Google Scholar 

  23. Margaria, T., Steffen, B.: Agile IT: thinking in user-centric models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 490–502. Springer, Heidelberg (2008). doi:10.1007/978-3-540-88479-8_35

    Chapter  Google Scholar 

  24. 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, Hershey (2009)

    Google Scholar 

  25. Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217–236. Springer, London (2012)

    Chapter  Google Scholar 

  26. Meyer, B.: Applying “design by contract”. Computer 25(10), 40–51 (1992)

    Article  Google Scholar 

  27. Rensink, A.: Model patterns: the quest for the right level of abstraction. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 47–70. Springer, Heidelberg (2016)

    Google Scholar 

  28. Scheer, A.-W.: Architecture of integrated information systems (ARIS). In: DIISM, pp. 85–99 (1993)

    Google Scholar 

  29. Steffen, B.: LNCS transaction on the foundations for mastering change: preliminary manifesto. In: Steffen, B., Margaria, T. (eds.) ISoLA 2014. LNCS, vol. 8802, p. 514. Springer, Heidelberg (2014)

    Google Scholar 

  30. Steffen, B., Margaria, T.: 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). doi:10.1007/3-540-48092-7_17

    Chapter  Google Scholar 

  31. Steffen, B., Margaria, T., Claßen, A., Braun, V.: The METAFrame’95 environment. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 450–453. Springer, Heidelberg (1996). doi:10.1007/3-540-61474-5_100

    Chapter  Google Scholar 

  32. Steffen, B., Margaria, T., Raffelt, H., Niese, O.: Efficient test-based model generation of legacy systems. In: Proceedings of the 9th IEEE International Workshop on High Level Design Validation and Test (HLDVT 2004), pp. 95–100. IEEE Computer Society Press, Sonoma, November 2004

    Google Scholar 

  33. Steffen, B., Naujokat, S.: Archimedean points: the essence for mastering of change. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 24–46. Springer, Heidelberg (2016)

    Google Scholar 

  34. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inform. Syst. 30(4), 245–275 (2005)

    Article  Google Scholar 

  35. Beeck, M., Braun, V., Claßen, A., Dannecker, A., Friedrich, C., Koschützki, D., Margaria, T., Schreiber, F., Steffen, B.: Graphs in MetaFrame: the unifying power of polymorphism. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 112–129. Springer, Heidelberg (1997). doi:10.1007/BFb0035384

    Chapter  Google Scholar 

  36. White, S.A., Miers, D.: BPMN Modeling and Reference Guide. Future Strategies Inc., Lighthouse Point (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lero and Chair of Software Systems, University of Limerick, Limerick, Ireland

    Tiziana Margaria

Authors
  1. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tiziana Margaria .

Editor information

Editors and Affiliations

  1. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this chapter

Cite this chapter

Margaria, T. (2016). Knowledge Management for Inclusive System Evolution. In: Steffen, B. (eds) Transactions on Foundations for Mastering Change I. Lecture Notes in Computer Science(), vol 9960. Springer, Cham. https://doi.org/10.1007/978-3-319-46508-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-46508-1_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-46507-4

  • Online ISBN: 978-3-319-46508-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation