Skip to main content

2016 | OriginalPaper | Buchkapitel

Knowledge Management for Inclusive System Evolution

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
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
This is genuine bidirectional incomprehension: as aptly captured in [1].
 
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.
 
Literatur
5.
Zurück zum Zitat 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 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
6.
Zurück zum Zitat 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 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
7.
Zurück zum Zitat 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) 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)
8.
Zurück zum Zitat 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 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
9.
Zurück zum Zitat 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) 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)
10.
Zurück zum Zitat 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) 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)
11.
Zurück zum Zitat 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) 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)
12.
Zurück zum Zitat 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 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
13.
Zurück zum Zitat 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 CrossRef 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 CrossRef
14.
Zurück zum Zitat 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) 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)
15.
Zurück zum Zitat 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 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
16.
Zurück zum Zitat Isberner, M., Howar, F., Steffen, B.: Learning register automata: from languages to program structures. Mach. Learn. 96, 1–34 (2013)MathSciNetMATH Isberner, M., Howar, F., Steffen, B.: Learning register automata: from languages to program structures. Mach. Learn. 96, 1–34 (2013)MathSciNetMATH
17.
Zurück zum Zitat 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)CrossRef 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)CrossRef
18.
Zurück zum Zitat 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)CrossRef 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)CrossRef
19.
Zurück zum Zitat 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 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
20.
Zurück zum Zitat 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 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
21.
Zurück zum Zitat 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 CrossRef 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 CrossRef
22.
Zurück zum Zitat Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. Softw. Tools Technol. Transf. 5(2–3), 107–123 (2004)CrossRef Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. Softw. Tools Technol. Transf. 5(2–3), 107–123 (2004)CrossRef
24.
Zurück zum Zitat 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) 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)
25.
Zurück zum Zitat Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217–236. Springer, London (2012)CrossRef Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217–236. Springer, London (2012)CrossRef
26.
Zurück zum Zitat Meyer, B.: Applying “design by contract”. Computer 25(10), 40–51 (1992)CrossRef Meyer, B.: Applying “design by contract”. Computer 25(10), 40–51 (1992)CrossRef
27.
Zurück zum Zitat 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) 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)
28.
Zurück zum Zitat Scheer, A.-W.: Architecture of integrated information systems (ARIS). In: DIISM, pp. 85–99 (1993) Scheer, A.-W.: Architecture of integrated information systems (ARIS). In: DIISM, pp. 85–99 (1993)
29.
Zurück zum Zitat 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) 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)
30.
Zurück zum Zitat 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 CrossRef 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 CrossRef
31.
Zurück zum Zitat 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 CrossRef 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 CrossRef
32.
Zurück zum Zitat 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 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
33.
Zurück zum Zitat 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) 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)
34.
Zurück zum Zitat van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inform. Syst. 30(4), 245–275 (2005)CrossRef van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inform. Syst. 30(4), 245–275 (2005)CrossRef
35.
Zurück zum Zitat 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 CrossRef 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 CrossRef
36.
Zurück zum Zitat White, S.A., Miers, D.: BPMN Modeling and Reference Guide. Future Strategies Inc., Lighthouse Point (2008) White, S.A., Miers, D.: BPMN Modeling and Reference Guide. Future Strategies Inc., Lighthouse Point (2008)
Metadaten
Titel
Knowledge Management for Inclusive System Evolution
verfasst von
Tiziana Margaria
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-46508-1_2

Premium Partner