Skip to main content
Erschienen in: Software and Systems Modeling 2/2019

30.03.2017 | Regular Paper

Managing design-time uncertainty

verfasst von: Michalis Famelis, Marsha Chechik

Erschienen in: Software and Systems Modeling | Ausgabe 2/2019

Einloggen

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

search-config
loading …

Abstract

Managing design-time uncertainty, i.e., uncertainty that developers have about making design decisions, requires creation of “uncertainty-aware” software engineering methodologies. In this paper, we propose a methodological approach for managing uncertainty using partial models. To this end, we identify the stages in the lifecycle of uncertainty-related design decisions and characterize the tasks needed to manage it. We encode this information in the Design-Time Uncertainty Management (DeTUM) model. We then use the DeTUM model to create a coherent, tool-supported methodology centred around partial model management. We demonstrate the effectiveness and feasibility of our methodology through case studies.

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 "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!

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!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
2
 
3
Revision 59 on Google Code, since then migrated to GitHub and available at: https://​github.​com/​umlet/​umlet/​commit/​f708f57a1fbf98b3​b083e583761e9887​ea717ef3, URL accessed on 2015-10-22.
 
6
The metamodels with the prefix \({\mathtt {GWPN}}\) were created by Guido Wachsmut and Kelly Garces. The metamodel \({\mathtt {Extended}}\) was created by Hugo Bruneliere and Pierrick Guyard. The metamodel \({\mathtt {PetriNet}}\) was created by David Touzet.
 
Literatur
1.
Zurück zum Zitat Apvrille, L., Muhammad, W., Ameur-Boulifa, R., Coudert, S., Pacalet, R.: A uml-based environment for system design space exploration. In: 13th IEEE International Conference on Electronics, Circuits and Systems, 2006. ICECS ’06, pp. 1272–1275 (2006). doi:10.1109/ICECS.2006.379694 Apvrille, L., Muhammad, W., Ameur-Boulifa, R., Coudert, S., Pacalet, R.: A uml-based environment for system design space exploration. In: 13th IEEE International Conference on Electronics, Circuits and Systems, 2006. ICECS ’06, pp. 1272–1275 (2006). doi:10.​1109/​ICECS.​2006.​379694
2.
Zurück zum Zitat Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Proceedings of MODELS’10, pp. 121–135 (2010) Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Proceedings of MODELS’10, pp. 121–135 (2010)
3.
Zurück zum Zitat Auer, M., Tschurtschenthaler, T., Biffl, S.: A flyweight uml modelling tool for software development in heterogeneous environments. In: Proceedings, 29th Euromicro Conference, 2003, pp. 267–272 (2003). doi:10.1109/EURMIC.2003.1231600 Auer, M., Tschurtschenthaler, T., Biffl, S.: A flyweight uml modelling tool for software development in heterogeneous environments. In: Proceedings, 29th Euromicro Conference, 2003, pp. 267–272 (2003). doi:10.​1109/​EURMIC.​2003.​1231600
4.
Zurück zum Zitat Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Proceedings of SMT’10 (2010) Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB Standard: Version 2.0. In: Proceedings of SMT’10 (2010)
5.
Zurück zum Zitat Bernstein, P.A.: Applying model management to classical meta data problems. In: Proceedings of CIDR’03 (2003) Bernstein, P.A.: Applying model management to classical meta data problems. In: Proceedings of CIDR’03 (2003)
6.
Zurück zum Zitat Bézivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: Proceedings of OOPSLA/GPCE’04 (2004) Bézivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: Proceedings of OOPSLA/GPCE’04 (2004)
7.
Zurück zum Zitat Brooks, F.P.: The mythical man-month. Addison-Wesley, Reading (1995) Brooks, F.P.: The mythical man-month. Addison-Wesley, Reading (1995)
8.
Zurück zum Zitat Chechik, M., Czarnecki, K., Famelis, M., Rubin, J., Salay, R.: Choices, Choices! Reasoning About Uncertainty and Variability (2016) (In progress) Chechik, M., Czarnecki, K., Famelis, M., Rubin, J., Salay, R.: Choices, Choices! Reasoning About Uncertainty and Variability (2016) (In progress)
9.
Zurück zum Zitat Classen, A., Heymans, P., Schobbens, P., Legay, A., Raskin, J.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of ICSE’10, pp. 335–344 (2010) Classen, A., Heymans, P., Schobbens, P., Legay, A., Raskin, J.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: Proceedings of ICSE’10, pp. 335–344 (2010)
10.
Zurück zum Zitat Czarnecki, K., Helsen, S., Eisenecher, U.: Staged configuration using feature models. In: Proceedings of SPLC’04, pp. 266–283 (2004) Czarnecki, K., Helsen, S., Eisenecher, U.: Staged configuration using feature models. In: Proceedings of SPLC’04, pp. 266–283 (2004)
11.
Zurück zum Zitat Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there and back again. In: 11th International Software Product Line Conference, 2007. SPLC 2007, pp. 23–34 (2007). doi:10.1109/SPLINE.2007.24 Czarnecki, K., Wasowski, A.: Feature diagrams and logics: there and back again. In: 11th International Software Product Line Conference, 2007. SPLC 2007, pp. 23–34 (2007). doi:10.​1109/​SPLINE.​2007.​24
12.
Zurück zum Zitat De Moura, L., Bjørner, N.: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9), 69–77 (2011)CrossRef De Moura, L., Bjørner, N.: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9), 69–77 (2011)CrossRef
13.
Zurück zum Zitat Di Sandro, A., Salay, R., Famelis, M., Kokaly, S., Chechik, M.: MMINT: a graphical tool for interactive model management. In: Proceedings of MODELS’15 (2015) Di Sandro, A., Salay, R., Famelis, M., Kokaly, S., Chechik, M.: MMINT: a graphical tool for interactive model management. In: Proceedings of MODELS’15 (2015)
14.
Zurück zum Zitat Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series), 1st edn. Springer, Berlin (2006)MATH Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series), 1st edn. Springer, Berlin (2006)MATH
15.
Zurück zum Zitat Esfahani, N., Malek, S.: Uncertainty in self-adaptive software systems. In: de Lemos, R., Giese, H.A., Müller, H., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II, International Seminar, Dagstuhl Castle, Germany, October 24–29, 2010 Revised Selected and Invited Papers, pp. 214–238. Springer, Berlin, Heidelberg (2013) Esfahani, N., Malek, S.: Uncertainty in self-adaptive software systems. In: de Lemos, R., Giese, H.A., Müller, H., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II, International Seminar, Dagstuhl Castle, Germany, October 24–29, 2010 Revised Selected and Invited Papers, pp. 214–238. Springer, Berlin, Heidelberg (2013)
16.
Zurück zum Zitat Famelis, M., Ben-David, N., Di Sandro, A., Salay, R., Chechik, M.: MU-MMINT: an IDE for model uncertainty. In: Proceedings of ICSE’15 formal demonstrations (2015) Famelis, M., Ben-David, N., Di Sandro, A., Salay, R., Chechik, M.: MU-MMINT: an IDE for model uncertainty. In: Proceedings of ICSE’15 formal demonstrations (2015)
17.
Zurück zum Zitat Famelis, M., Ben-David, S., Chechik, M., Salay, R.: Partial models: a position paper. In: Proceedings of MoDeVVa’11, pp. 1–6 (2011) Famelis, M., Ben-David, S., Chechik, M., Salay, R.: Partial models: a position paper. In: Proceedings of MoDeVVa’11, pp. 1–6 (2011)
18.
Zurück zum Zitat Famelis, M., Chechik, M., Salay, R.: Partial models: towards modeling and reasoning with uncertainty. In: Proceedings of ICSE’12 (2012) Famelis, M., Chechik, M., Salay, R.: Partial models: towards modeling and reasoning with uncertainty. In: Proceedings of ICSE’12 (2012)
19.
Zurück zum Zitat Famelis, M., Lucio, L., Selim, G., Di Sandro, A., Salay, R., Chechik, M., Cordy, J.R., Dingel, J., Vangheluwe, H., Ramesh, S.: Migrating automotive product lines: a case study. In: Proceedings of ICMT’15 (2015) Famelis, M., Lucio, L., Selim, G., Di Sandro, A., Salay, R., Chechik, M., Cordy, J.R., Dingel, J., Vangheluwe, H., Ramesh, S.: Migrating automotive product lines: a case study. In: Proceedings of ICMT’15 (2015)
20.
Zurück zum Zitat Famelis, M., Salay, R., Di Sandro, A., Chechik, M.: Transformation of models containing uncertainty. In: Proceedings of MODELS’13, pp. 673–689 (2013) Famelis, M., Salay, R., Di Sandro, A., Chechik, M.: Transformation of models containing uncertainty. In: Proceedings of MODELS’13, pp. 673–689 (2013)
21.
Zurück zum Zitat Famelis, M., Santosa, S.: MAV-Vis: a notation for model uncertainty. In: Proceedings of MiSE’13 (2013) Famelis, M., Santosa, S.: MAV-Vis: a notation for model uncertainty. In: Proceedings of MiSE’13 (2013)
22.
Zurück zum Zitat Fehling, R.: A concept of hierarchical petri nets with building blocks. In: Rozenberg, G. (ed.) Advances in Petri Nets 1993, Lecture Notes in Computer Science, vol. 674, pp. 148–168. Springer, Berlin, Heidelberg (1993). doi:10.1007/3-540-56689-9_43 CrossRef Fehling, R.: A concept of hierarchical petri nets with building blocks. In: Rozenberg, G. (ed.) Advances in Petri Nets 1993, Lecture Notes in Computer Science, vol. 674, pp. 148–168. Springer, Berlin, Heidelberg (1993). doi:10.​1007/​3-540-56689-9_​43 CrossRef
23.
Zurück zum Zitat Fowler, M., Highsmith, J.: The agile manifesto. Softw. Dev. 9(8), 28–35 (2001) Fowler, M., Highsmith, J.: The agile manifesto. Softw. Dev. 9(8), 28–35 (2001)
24.
Zurück zum Zitat Goldratt, E.M.: Critical Chain: A Business Novel. North River Press, Great Barrington (1997) Goldratt, E.M.: Critical Chain: A Business Novel. North River Press, Great Barrington (1997)
25.
Zurück zum Zitat Goldsby, H., Cheng, B.: Automatically discovering properties that specify the latent behavior of uml models. In: Petriu, D.C., Rouquette, N., Haugen, O. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 6394, pp. 316–330. Springer, Berlin, Heidelberg (2010). doi:10.1007/978-3-642-16145-2_22 CrossRef Goldsby, H., Cheng, B.: Automatically discovering properties that specify the latent behavior of uml models. In: Petriu, D.C., Rouquette, N., Haugen, O. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 6394, pp. 316–330. Springer, Berlin, Heidelberg (2010). doi:10.​1007/​978-3-642-16145-2_​22 CrossRef
26.
Zurück zum Zitat Gomaa, H.: Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison Wesley Longman Publishing Co. Inc, Redwood City (2004) Gomaa, H.: Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison Wesley Longman Publishing Co. Inc, Redwood City (2004)
27.
Zurück zum Zitat Gronback, R.: Eclipse Modeling Project. Addison Wesley, Reading (2009) Gronback, R.: Eclipse Modeling Project. Addison Wesley, Reading (2009)
28.
Zurück zum Zitat Grumberg, O., Schuster, A., Yadgar, A.: Memory efficient all-solutions sat solver and its application for reachability analysis. In: Hu, A., Martin, A. (eds.) Formal Methods in Computer-Aided Design, Lecture Notes in Computer Science, vol. 3312, pp. 275–289. Springer, Berlin, Heidelberg (2004). doi:10.1007/978-3-540-30494-4_20 Grumberg, O., Schuster, A., Yadgar, A.: Memory efficient all-solutions sat solver and its application for reachability analysis. In: Hu, A., Martin, A. (eds.) Formal Methods in Computer-Aided Design, Lecture Notes in Computer Science, vol. 3312, pp. 275–289. Springer, Berlin, Heidelberg (2004). doi:10.​1007/​978-3-540-30494-4_​20
29.
Zurück zum Zitat Guan, S.U., Yu, H.Y., Yang, J.S.: A prioritized petri net model and its application in distributed multimedia systems. IEEE Trans. Comput. 47(4), 477–481 (1998). doi:10.1109/12.675716 CrossRef Guan, S.U., Yu, H.Y., Yang, J.S.: A prioritized petri net model and its application in distributed multimedia systems. IEEE Trans. Comput. 47(4), 477–481 (1998). doi:10.​1109/​12.​675716 CrossRef
30.
Zurück zum Zitat Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: a tool for automatic verification of probabilistic systems. In: Proceedings of TACAS’06, LNCS, vol. 3920, pp. 441–444 (2006) Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: a tool for automatic verification of probabilistic systems. In: Proceedings of TACAS’06, LNCS, vol. 3920, pp. 441–444 (2006)
32.
Zurück zum Zitat Ikonen, M., Kettunen, P., Oza, N., Abrahamsson, P.: Exploring the sources of waste in kanban software development projects. In: 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 376–381 (2010). doi:10.1109/SEAA.2010.40 Ikonen, M., Kettunen, P., Oza, N., Abrahamsson, P.: Exploring the sources of waste in kanban software development projects. In: 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 376–381 (2010). doi:10.​1109/​SEAA.​2010.​40
33.
Zurück zum Zitat Jensen, K.: Coloured petri nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Central Models and Their Properties, Lecture Notes in Computer Science, vol. 254, pp. 248–299. Springer, Berlin, Heidelberg (1987). doi:10.1007/BFb0046842 CrossRef Jensen, K.: Coloured petri nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Petri Nets: Central Models and Their Properties, Lecture Notes in Computer Science, vol. 254, pp. 248–299. Springer, Berlin, Heidelberg (1987). doi:10.​1007/​BFb0046842 CrossRef
34.
Zurück zum Zitat Jensen, K., Kristensen, L.M.: Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58(6), 61–70 (2015)CrossRef Jensen, K., Kristensen, L.M.: Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58(6), 61–70 (2015)CrossRef
35.
Zurück zum Zitat Jouault, F., Bézivin, J.: KM3: a DSL for metamodel specification. In: Formal Methods for Open Object-Based Distributed Systems, LNCS, vol. 4037, pp. 171–185 (2006). doi:10.1007/11768869_14 Jouault, F., Bézivin, J.: KM3: a DSL for metamodel specification. In: Formal Methods for Open Object-Based Distributed Systems, LNCS, vol. 4037, pp. 171–185 (2006). doi:10.​1007/​11768869_​14
36.
Zurück zum Zitat Kang, E., Jackson, E., Schulte, W.: An approach for effective design space exploration. In: Calinescu, R., Jackson, E. (eds.) Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, Lecture Notes in Computer Science, vol. 6662, pp. 33–54. Springer, Berlin, Heidelberg (2011). doi:10.1007/978-3-642-21292-5_3 Kang, E., Jackson, E., Schulte, W.: An approach for effective design space exploration. In: Calinescu, R., Jackson, E. (eds.) Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, Lecture Notes in Computer Science, vol. 6662, pp. 33–54. Springer, Berlin, Heidelberg (2011). doi:10.​1007/​978-3-642-21292-5_​3
37.
Zurück zum Zitat Kästner, C., Apel, S., Thüm, T., Saake, G.: Type checking annotation-based product lines. ACM TOSEM 21(3), 14 (2012)CrossRef Kästner, C., Apel, S., Thüm, T., Saake, G.: Type checking annotation-based product lines. ACM TOSEM 21(3), 14 (2012)CrossRef
38.
Zurück zum Zitat Kästner, C., von Rhein, A., Erdweg, S., Pusch, J., Apel, S., Rendel, T., Ostermann, K.: Toward variability-aware testing. In: Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD’12, pp. 1–8. ACM, New York, USA (2012) Kästner, C., von Rhein, A., Erdweg, S., Pusch, J., Apel, S., Rendel, T., Ostermann, K.: Toward variability-aware testing. In: Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD’12, pp. 1–8. ACM, New York, USA (2012)
39.
Zurück zum Zitat Ladas, C.: Scrumban-Essays on Kanban Systems for Lean Software Development. Modus Cooperandi Press (2009) Ladas, C.: Scrumban-Essays on Kanban Systems for Lean Software Development. Modus Cooperandi Press (2009)
40.
Zurück zum Zitat Mangano, N., Baker, A., Dempsey, M., Navarro, E., van der Hoek, A.: Software design sketching with calico. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, ASE ’10, pp. 23–32. ACM, New York (2010). doi:10.1145/1858996.1859003 Mangano, N., Baker, A., Dempsey, M., Navarro, E., van der Hoek, A.: Software design sketching with calico. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, ASE ’10, pp. 23–32. ACM, New York (2010). doi:10.​1145/​1858996.​1859003
41.
Zurück zum Zitat Martin, R.C.: Agile Software Development: Principles, Patterns, and Practices. Prentice Hall PTR, Upper Saddle River (2003) Martin, R.C.: Agile Software Development: Principles, Patterns, and Practices. Prentice Hall PTR, Upper Saddle River (2003)
42.
Zurück zum Zitat Mashiyat, A., Famelis, M., Salay, R., Chechik, M.: Using developer conversations to resolve uncertainty in software development: a position paper. In: Proceedings of RSSE’14 (2014) Mashiyat, A., Famelis, M., Salay, R., Chechik, M.: Using developer conversations to resolve uncertainty in software development: a position paper. In: Proceedings of RSSE’14 (2014)
43.
Zurück zum Zitat Mens, T., Van Der Straeten, R.: Incremental resolution of model inconsistencies. In: Proceedings of WADT’06 (2007) Mens, T., Van Der Straeten, R.: Incremental resolution of model inconsistencies. In: Proceedings of WADT’06 (2007)
44.
Zurück zum Zitat Mens, T., Van Eetvelde, N., Demeyer, S., Janssens, D.: Formalizing refactorings with graph transformations. J. Softw. Maint. Evol. Res. Pract. 17(4), 247–276 (2005). doi:10.1002/smr.316 CrossRef Mens, T., Van Eetvelde, N., Demeyer, S., Janssens, D.: Formalizing refactorings with graph transformations. J. Softw. Maint. Evol. Res. Pract. 17(4), 247–276 (2005). doi:10.​1002/​smr.​316 CrossRef
45.
Zurück zum Zitat Midtgaard, J., Brabrand, C., Wasowski, A.: Systematic derivation of static analyses for software product lines. In: Proceedings of the 13th International Conference on Modularity, MODULARITY ’14, pp. 181–192. ACM, New York (2014). doi:10.1145/2577080.2577091 Midtgaard, J., Brabrand, C., Wasowski, A.: Systematic derivation of static analyses for software product lines. In: Proceedings of the 13th International Conference on Modularity, MODULARITY ’14, pp. 181–192. ACM, New York (2014). doi:10.​1145/​2577080.​2577091
46.
Zurück zum Zitat Misra, S.C., Kumar, V., Kumar, U.: Identifying some important success factors in adopting agile software development practices. J. Syst. Softw. 82(11), 1869–1890 (2009)CrossRef Misra, S.C., Kumar, V., Kumar, U.: Identifying some important success factors in adopting agile software development practices. J. Syst. Softw. 82(11), 1869–1890 (2009)CrossRef
48.
Zurück zum Zitat Monden, Y.: Toyota Production System: An Integrated Approach to Just-in-Time. CRC Press, Boca Raton (2011)CrossRef Monden, Y.: Toyota Production System: An Integrated Approach to Just-in-Time. CRC Press, Boca Raton (2011)CrossRef
49.
Zurück zum Zitat Moody, D.: The ”physics” of notations: toward a scientific basis for constructing visual notations in software engineering. TSE 35(6), 756–779 (2009) Moody, D.: The ”physics” of notations: toward a scientific basis for constructing visual notations in software engineering. TSE 35(6), 756–779 (2009)
52.
Zurück zum Zitat Petre, M.: Insights from expert software design practice. In: Proceedings of FSE’09 (2009) Petre, M.: Insights from expert software design practice. In: Proceedings of FSE’09 (2009)
53.
Zurück zum Zitat Petri, C.A.: Kommunikation mit automaten. Ph.D. Thesis, Universität Hamburg (1962) Petri, C.A.: Kommunikation mit automaten. Ph.D. Thesis, Universität Hamburg (1962)
54.
Zurück zum Zitat Pohl, K., Böckle, G., Van Der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, New York (2005)CrossRefMATH Pohl, K., Böckle, G., Van Der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, New York (2005)CrossRefMATH
55.
Zurück zum Zitat Poppendieck, M., Poppendieck, T.: Lean Software Development: An Agile Toolkit. Addison-Wesley Professional, Reading (2003) Poppendieck, M., Poppendieck, T.: Lean Software Development: An Agile Toolkit. Addison-Wesley Professional, Reading (2003)
56.
Zurück zum Zitat Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Thesis, Massachusetts Institute of Technology (1974) Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Thesis, Massachusetts Institute of Technology (1974)
58.
Zurück zum Zitat Ramirez, A., Jensen, A., Cheng, B.: A taxonomy of uncertainty for dynamically adaptive systems. In: Proceedings of SEAMS’12, pp. 99–108 (2012) Ramirez, A., Jensen, A., Cheng, B.: A taxonomy of uncertainty for dynamically adaptive systems. In: Proceedings of SEAMS’12, pp. 99–108 (2012)
60.
Zurück zum Zitat Rubin, J., Chechik, M.: A survey of feature location techniques. In: Reinhartz-Berger, I., Sturm, A., Clark, T., Cohen, S., Bettin, J. (eds.) Domain Engineering, pp. 29–58. Springer, Berlin Heidelberg (2013). doi:10.1007/978-3-642-36654-3_2 CrossRef Rubin, J., Chechik, M.: A survey of feature location techniques. In: Reinhartz-Berger, I., Sturm, A., Clark, T., Cohen, S., Bettin, J. (eds.) Domain Engineering, pp. 29–58. Springer, Berlin Heidelberg (2013). doi:10.​1007/​978-3-642-36654-3_​2 CrossRef
61.
Zurück zum Zitat Salay, R., Famelis, M., Chechik, M.: Language independent refinement using partial modeling. In: Proceedings of FASE’12 (2012) Salay, R., Famelis, M., Chechik, M.: Language independent refinement using partial modeling. In: Proceedings of FASE’12 (2012)
62.
Zurück zum Zitat Salay, R., Famelis, M., Rubin, J., Di Sandro, A., Chechik, M.: Lifting model transformations to product lines. In: Proceedings of ICSE’14, pp. 673–689 (2014) Salay, R., Famelis, M., Rubin, J., Di Sandro, A., Chechik, M.: Lifting model transformations to product lines. In: Proceedings of ICSE’14, pp. 673–689 (2014)
63.
Zurück zum Zitat Saxena, T., Karsai, G.: Mde-based approach for generalizing design space exploration. In: Petriu, D., Rouquette, N., Haugen, O. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 6394, pp. 46–60. Springer, Berlin, Heidelberg (2010). doi:10.1007/978-3-642-16145-2_4 CrossRef Saxena, T., Karsai, G.: Mde-based approach for generalizing design space exploration. In: Petriu, D., Rouquette, N., Haugen, O. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 6394, pp. 46–60. Springer, Berlin, Heidelberg (2010). doi:10.​1007/​978-3-642-16145-2_​4 CrossRef
64.
Zurück zum Zitat Schobbens, P., Heymans, P., Trigaux, J.C.: Feature diagrams: a survey and a formal semantics. In: 14th IEEE International Conference on Requirements Engineering, pp. 139–148 (2006) Schobbens, P., Heymans, P., Trigaux, J.C.: Feature diagrams: a survey and a formal semantics. In: 14th IEEE International Conference on Requirements Engineering, pp. 139–148 (2006)
65.
Zurück zum Zitat Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, Upper Saddle River (2008) Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, Upper Saddle River (2008)
66.
Zurück zum Zitat Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework. Addison-Wesley, Reading (2009) Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework. Addison-Wesley, Reading (2009)
67.
Zurück zum Zitat Thüm, T., Apel, S., Kästner, C., Kuhlemann, M., Schaefer, I., Saake, G.: Analysis strategies for software product lines. School of Computer Science, University of Magdeburg, Technical Report FIN-004-2012 (2012) Thüm, T., Apel, S., Kästner, C., Kuhlemann, M., Schaefer, I., Saake, G.: Analysis strategies for software product lines. School of Computer Science, University of Magdeburg, Technical Report FIN-004-2012 (2012)
68.
Zurück zum Zitat Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Proceedings of UML’03, pp. 326–340 (2003) Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Proceedings of UML’03, pp. 326–340 (2003)
69.
Zurück zum Zitat Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination analysis of model transformations by Petri nets. In: Proceedings of ICGT’06, pp. 260–274 (2006) Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination analysis of model transformations by Petri nets. In: Proceedings of ICGT’06, pp. 260–274 (2006)
70.
Zurück zum Zitat Wüest, D., Seyff, N., Glinz, M.: Flexisketch team: collaborative sketching and notation creation on the fly. In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), vol. 2, pp. 685–688 (2015). doi:10.1109/ICSE.2015.223 Wüest, D., Seyff, N., Glinz, M.: Flexisketch team: collaborative sketching and notation creation on the fly. In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), vol. 2, pp. 685–688 (2015). doi:10.​1109/​ICSE.​2015.​223
Metadaten
Titel
Managing design-time uncertainty
verfasst von
Michalis Famelis
Marsha Chechik
Publikationsdatum
30.03.2017
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 2/2019
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-017-0594-9

Weitere Artikel der Ausgabe 2/2019

Software and Systems Modeling 2/2019 Zur Ausgabe