Abstract
The abundance of software that will be more and more available will promote the production of appropriate integration means (architectures, connectors, integration patterns). The produced software will need to be able to evolve, react and adapt quickly to a continuously changing environment, while guaranteeing dependability through (on-the-fly) validation. The strongest adversary to this view is the lack of information about the software, notably about its structure, behavior, and execution context. Despite the possibility to extract observational models from existing software, a producer will always operate with software artifacts that exhibit a degree of uncertainty in terms of their functional and non functional characteristics. Uncertainty can only be controlled by making it explicit and by using it to drive the production process itself. This calls for a production process that explores available software and assesses its degree of uncertainty in relation to the opportunistic goal G, assists the producer in creating the appropriate integration means towards G, and validates the quality of the integrated system with respect to the goal G and the current context. In this paper we discuss how goal-oriented software systems can be opportunistically created by integrating under uncertainty existing pieces of software.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Asarin, E., Maler, O., Pnueli, A.: Symbolic Controller Synthesis for Discrete and Timed Systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds.) HS 1994. LNCS, vol. 999, pp. 1–20. Springer, Heidelberg (1995)
Autili, M., Di Benedetto, P., Inverardi, P.: Context-Aware Adaptive Services: The PLASTIC Approach. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 124–139. Springer, Heidelberg (2009)
Autili, M., Berardinelli, L., Cortellessa, V., Di Marco, A., Di Ruscio, D., Inverardi, P., Tivoli, M.: A Development Process for Self-adapting Service Oriented Applications. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 442–448. Springer, Heidelberg (2007)
Autili, M., Cortellessa, V., Di Ruscio, D., Inverardi, P., Pelliccione, P., Tivoli, M.: Eagle: engineering software in the ubiquitous globe by leveraging uncertainty. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC/FSE 2011, pp. 488–491. ACM, New York (2011)
Baier, C., Größer, M., Leucker, M., Bollig, B., Ciesinski, F.: Controller synthesis for probabilistic systems (extended abstract). In: IFIP TCS 2004, vol. 155 (2004)
Bertolino, A., De Angelis, G., Frantzen, L., Polini, A.: The PLASTIC Framework and Tools for Testing Service-Oriented Applications. In: De Lucia, A., Ferrucci, F. (eds.) ISSSE 2006-2008. LNCS, vol. 5413, pp. 106–139. Springer, Heidelberg (2009)
Bertolino, A., De Angelis, G., Polini, A.: (role)CAST: A Framework for On-line Service Testing. In: Proc. of WEBIST 2011 (2011)
Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: Proc. of ESEC/FSE 2009 (2009)
Blair, G., Bencomo, N., France, R.B.: Models@run.time. Computer 42, 22–27 (2009)
Blundell, C., Giannakopoulou, D., Pǎsǎreanu, C.S.: Assume-guarantee testing. Softw. Eng. Notes 31 (2005)
Boehm, B.: Value-based software engineering: reinventing. SIGSOFT Softw. Eng. Notes 28, 3 (2003)
Boehm, B.W.: Software risk management: Principles and practices. IEEE Softw. 8, 32–41 (1991)
Calinescu, R., Johnson, K., Rafiq, Y.: Using observation ageing to improve markovian model learning in qos engineering. In: ICPE, pp. 505–510 (2011)
Canal, C., Poizat, P., Salaün, G.: Synchronizing Behavioural Mismatch in Software Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 63–77. Springer, Heidelberg (2006)
Ceri, S., Braga, D., Corcoglioniti, F., Grossniklaus, M., Vadacca, S.: Search Computing Challenges and Directions. In: Dearle, A., Zicari, R.V. (eds.) ICOODB 2010. LNCS, vol. 6348, pp. 1–5. Springer, Heidelberg (2010)
Cetina, C., Giner, P., Fons, J., Pelechano, V.: Autonomic computing through reuse of variability models at runtime: The case of smart homes. Computer 42, 37–43 (2009)
Cobleigh, J.M., Giannakopoulou, D., Păsăreanu, C.S.: Learning Assumptions for Compositional Verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 331–346. Springer, Heidelberg (2003)
Di Cosmo, R., Di Ruscio, D., Pelliccione, P., Pierantonio, A., Zacchiroli, S.: Supporting Software Evolution in Component-Based FOSS Systems. Science of Computer Programming 76(12) (2011)
Dingel, J.: Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. In: Proc. of ICSE 2003 (2003)
Ephraim, Y., Merhav, N.: Hidden markov processes. IEEE Transactions on Information Theory 48, 1518–1569
Ernst, M.D., Perkins, J.H.: Learning from executions: Dynamic analysis for software engineering and program understanding. Tutorial at ASE 2005 (2005)
Famelis, M., Salay, R., Chechik, M.: Partial models: Towards modeling and reasoning with uncertainty. In: Proceedings of the 34th International Conference on Software Engineering, ICSE (2012)
Garlan, D.: Software engineering in an uncertain world. In: Proc. of FSE/SDP 2010, pp. 125–128 (2010)
Georgas, J.C., van der Hoek, A., Taylor, R.N.: Using architectural models to manage and visualize runtime adaptation. Computer 42, 52–60 (2009)
Ghezzi, C., Mocci, A., Monga, M.: Synthesizing intensional behavior models by graph transformation. In: Proc. of ICSE 2009, pp. 430–440 (2009)
Giannakopoulou, D., Pasareanu, C.S., Barringer, H.: Component verification with automatically generated assumptions. ASE Journal 12(3), 297–320 (2005)
Goldsby, H.J., Cheng, B.H.C.: Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 568–583. Springer, Heidelberg (2008)
Hamlet, D.: Composing Software Components: A Software-testing Perspective, 1st edn. Springer Publishing Company, Incorporated (2010)
Inverardi, P., Issarny, V., Spalazzese, R.: A Theory of Mediators for Eternal Connectors. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 236–250. Springer, Heidelberg (2010)
Inverardi, P., Spalazzese, R., Tivoli, M.: Application-Layer Connector Synthesis. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 148–190. Springer, Heidelberg (2011)
Lehmann, G., Blumendorf, M., Trollmann, F., Albayrak, S.: Meta-modeling Runtime Models. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 209–223. Springer, Heidelberg (2011)
Lorenzoli, D., Mariani, L., Pezzè, M.: Automatic generation of software behavioral models. In: Proc. of ICSE 2008, pp. 501–510 (2008)
Mishra, K., Trivedi, K.: Uncertainty propagation through software dependability models. In: 2011 IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE), November 29-December 2, pp. 80–89 (2011)
Morin, B., Barais, O., Jezequel, J.-M., Fleurey, F., Solberg, A.: Models@ run.time to support dynamic adaptation. Computer 42, 44–51 (2009)
Mula, J., Poler, R., Garcia-Sabater, J., Lario, F.: Models for production planning under uncertainty: A review. IJPE 103(1), 271–285 (2006)
Neil, M., Fenton, N., Tailor, M.: Using bayesian networks to model expected and unexpected operational losses. Risk Analysis 25(4), 963–972 (2005)
Passerone, R., de Alfaro, L., Henzinger, T.A., Sangiovanni-Vincentelli, A.L.: Convertibility verification and converter synthesis: two faces of the same coin. In: Proc. of ICCAD 2002, pp. 132–139 (2002)
Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81–98 (1989)
Schmidt, D.C.: Guest Editor’s Introduction: Model-Driven Engineering. Computer 39(2), 25–31 (2006)
Singh, H., Cortellessa, V., Cukic, B., Gunel, E., Bharadwaj, V.: A bayesian approach to reliability prediction and assessment of component based systems. In: Proc. of ISSRE 2001 (2001)
Stoelinga, M.: An introduction to probabilistic automata. Bulletin of the European Association for Theoretical Computer Science 78, 176–198 (2002)
Stringfellow, C., Amory, C.D., Potnuri, D., Andrews, A., Georg, M.: Comparison of software architecture reverse engineering methods. Information and Software Technology 48(7), 484–497 (2006)
Tivoli, M., Inverardi, P.: Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program. 71(3), 181–212 (2008)
Uchitel, S., Brunet, G., Chechik, M.: Synthesis of partial behavior models from properties and scenarios. IEEE Trans. Softw. Eng. 35, 384–406 (2009)
White, R.W., Roth, R.A.: Exploratory Search: Beyond the Query-Response Paradigm. Synthesis Lect. on ICRS. Morgan & Claypool Publishers (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Autili, M., Cortellessa, V., Di Ruscio, D., Inverardi, P., Pelliccione, P., Tivoli, M. (2012). Integration Architecture Synthesis for Taming Uncertainty in the Digital Space. In: Calinescu, R., Garlan, D. (eds) Large-Scale Complex IT Systems. Development, Operation and Management. Monterey Workshop 2012. Lecture Notes in Computer Science, vol 7539. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34059-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-34059-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34058-1
Online ISBN: 978-3-642-34059-8
eBook Packages: Computer ScienceComputer Science (R0)