Marco Autili
Vittorio Cortellessa
Davide Di Ruscio
Paola Inverardi
Patrizio Pelliccione
ABSTRACT
In the next future we will be surrounded by a virtually infinite number of software applications that provide computational software resources in the open Globe. This will radically change the way software will be produced and used. Users will be keen on producing their own piece of software, by also reusing existing software, to better satisfy their needs, therefore with a goal oriented, opportunistic use in mind. The produced software will need to be able to evolve, react and adapt to a continuously changing environment, while guaranteeing dependability. The strongest adversary to this view is the lack of knowledge on the software's 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. We believe that uncertainty can only be controlled by making it explicit and by using it to drive the production process itself. In this paper, we introduce a novel paradigm of software 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 G and the current context.
- E. Asarin, O. Maler, and A. Pnueli. Symbolic controller synthesis for discrete and timed systems. In Hybrid Systems II, 1995. Google Scholar
Digital Library
- M. Autili, L. Berardinelli, V. Cortellessa, A. Marco, D. Ruscio, P. Inverardi, and M. Tivoli. A development process for self-adapting service oriented applications. In Proc. of ICSOC '07, pages 442--448, 2007. Google ScholarDigital Library
- C. Baier, M. Größer, M. Leucker, B. Bollig, and F. Ciesinski. Controller synthesis for probabilistic systems (extended abstract). In IFIP TCS 2004, volume 155. 2004.Google ScholarCross Ref
- T. Berg, B. Jonsson, and H. Raffelt. Regular inference for state machines using domains with equality tests. In Proc. of FASE'08/ETAPS'08, pages 317--331, 2008. Google ScholarDigital Library
- A. Bertolino, G. Angelis, L. Frantzen, and A. Polini. Software engineering. chapter The PLASTIC Framework and Tools for Testing Service-Oriented Applications, pages 106--139. Springer-Verlag, Berlin, Heidelberg, 2009. Google ScholarDigital Library
- A. Bertolino, G. De Angelis, and A. Polini. (role)CAST : A Framework for On-line Service Testing. In Proc. of WEBIST'11, 2011.Google Scholar
- A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli. Automatic synthesis of behavior protocols for composable web-services. In Proc of ESEC/FSE '09, 2009. Google ScholarDigital Library
- G. Blair, N. Bencomo, and R. B. France. [email protected]. Computer, 42:22--27, 2009. Google ScholarDigital Library
- C. Blundell, D. Giannakopoulou, and C. S. Pǎasǎreanu. Assume-guarantee testing. SIGSOFT Softw. Eng. Notes, 31, September 2005. Google ScholarDigital Library
- B. W. Boehm. Software risk management: Principles and practices. IEEE Softw., 8:32--41, January 1991. Google ScholarDigital Library
- C. Canal, P. Poizat, and G. Salaün. Synchronizing behavioural mismatch in software composition. In FMOODS, pages 63--77, 2006. Google ScholarDigital Library
- S. Ceri, D. Braga, F. Corcoglioniti, M. Grossniklaus, and S. Vadacca. Search computing challenges and directions. In Proc of ICOODB'10, pages 1--5, 2010. Google ScholarDigital Library
- J. M. Cobleigh, D. Giannakopoulou, and C. Pasareanu. Learning Assumptions for Compositional Verification. In Proc. of TACAS 2003, number 2619 in LNCS, 2003. Google ScholarDigital Library
- R. Di Cosmo, D. Di Ruscio, P. Pelliccione, A. Pierantonio, and S. Zacchiroli. Supporting Software Evolution in Component-Based FOSS Systems. Science of Computer Programming, 76(12), 2011. Google ScholarDigital Library
- J. Dingel. Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. In Proc. of ICSE2003. Google ScholarDigital Library
- Y. Ephraim and N. Merhav. Hidden markov processes. IEEE Transactions on Information Theory, 48:1518--1569. Google ScholarDigital Library
- M. D. Ernst and J. H. Perkins. Learning from executions: Dynamic analysis for software engineering and program understanding, Tutorial at ASE 2005.Google Scholar
- J. R. Galbraith. Designing Complex Organizations. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1st edition, 1973. Google ScholarDigital Library
- D. Garlan. Software engineering in an uncertain world. In Proc. of FSE/SDP'10, pages 125--128, 2010. Google ScholarDigital Library
- C. Ghezzi. ERC Advanced Investigator Grant N. 227977 {2008--2013}.Google Scholar
- C. Ghezzi, A. Mocci, and M. Monga. Synthesizing intensional behavior models by graph transformation. In Proc. of ICSE '09, pages 430--440, 2009. Google ScholarDigital Library
- D. Giannakopoulou, C. S. Pasareanu, and H. Barringer. Component verification with automatically generated assumptions. In ASE journal, 12(3): 297--320, 2005. Google ScholarDigital Library
- H. J. Goldsby and B. H. Cheng. Automatically generating behavioral models of adaptive systems to address uncertainty. In Proc. of MoDELS '08, pages 568--583, 2008. Google ScholarDigital Library
- D. Hamlet. Composing Software Components: A Software-testing Perspective. Springer Publishing Company, Incorporated, 1st edition, 2010. Google ScholarDigital Library
- P. Inverardi. Software of the future is the future of software? In Proc. of TGC'06, pages 69--85, 2006. Google ScholarDigital Library
- D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic generation of software behavioral models. In Proc. of ICSE '08, pages 501--510, 2008. Google ScholarDigital Library
- K. Meinke. Automated black-box testing of functional correctness using function approximation. In Proc. of ISSTA '04, pages 143--153, 2004. Google ScholarDigital Library
- J. Mula, R. Poler, J. Garcia-Sabater, and F. Lario. Models for production planning under uncertainty: A review. IJPE, 103(1):271--285, 2006.Google ScholarCross Ref
- M. Neil, N. Fenton, and M. Tailor. Using bayesian networks to model expected and unexpected operational losses. Risk Analysis, 25(4):963--972, 2005.Google ScholarCross Ref
- R. Passerone, L. de Alfaro, T. A. Henzinger, and A. L. Sangiovanni-Vincentelli. Convertibility verification and converter synthesis: two faces of the same coin. In Proc. of ICCAD '02, pages 132--139, 2002. Google ScholarDigital Library
- P. Ramadge and W. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81--98, jan 1989.Google ScholarCross Ref
- H. Singh, V. Cortellessa, B. Cukic, E. Gunel, and V. Bharadwaj. A bayesian approach to reliability prediction and assessment of component based systems. In Proc. of ISSRE '01, 2001. Google ScholarDigital Library
- M. Tivoli and P. Inverardi. Failure-free coordinators synthesis for component-based architectures. Sci. Comput. Program., 71(3):181--212, May 2008. Google ScholarDigital Library
- S. Uchitel, G. Brunet, and M. Chechik. Synthesis of partial behavior models from properties and scenarios. IEEE Trans. Softw. Eng., 35:384--406, May 2009. Google ScholarDigital Library
- A. Wasylkowski, A. Zeller, and C. Lindig. Detecting object usage anomalies. In Proc. of ESEC-FSE '07, pages 35--44, 2007. Google ScholarDigital Library
- R. W. White and R. A. Roth. Exploratory Search: Beyond the Query-Response Paradigm. Synthesis Lect. on ICRS. Morgan & Claypool Publishers, 2009. Google ScholarDigital Library
Index Terms
- EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
Recommendations
Towards a framework to characterize ubiquitous software projects
Context: Ubiquitous Computing (or UbiComp) represents a paradigm in which information processing is thoroughly integrated into everyday objects and activities. From a Software Engineering point of view this development scenario brings new challenges in ...
Ultralarge Systems: Redefining Software Engineering?
Ultra-Large-Scale Systems: The Software Challenge of the Future, a report produced by Carnegie Mellon University's Software Engineering Institute, just might be a watershed blueprint for the next generation of top-level software design. Although it's ...
Survey of requirements and solutions for ubiquitous software
MUM '04: Proceedings of the 3rd international conference on Mobile and ubiquitous multimediaUbiquitous computing embeds computer technology in our everyday environment, providing a human with information services and applications through any device over different kinds of networks. Ubiquitous computing can be seen as a prerequisite for ...
Reviews
Larry Bernstein
Autili et al. describe the EAGLE approach for software integration where the integrator does not know the boundary conditions for a system composed of working components. They claim that the reuse of working software demands that our software production processes radically change their focus. In addition, from the "more traditional aspects of efficiency and resource optimization, to adaptability and fit-for-purpose, [...] inefficient usage of resources and redundancy" must be accepted. This paper is not an easy read, but seems to suggest that software system realization will become a trial-and-error approach of finding working components, hooking them together, checking to make sure they perform essential features, and accepting certain inefficiencies and uncertainties. Perhaps the execution space should be bounded by an encapsulation program, but this technique is not mentioned in the paper. Figures 1 and 2 give insight to the future of software realization and require careful study. As we reuse more working software, we will need ways to determine how well the integrated components meet our needs. If you find yourself doing more integration than development, study this paper carefully for it may forecast your future work. Nevertheless, it could benefit from a good edit. Online Computing Reviews Service
Access critical reviews of Computing literature here
Become a reviewer for Computing Reviews.
Comments