From distributed coordination to field calculus and aggregate computing

open6siThis work has been partially supported by: EU Horizon 2020 project HyVar (www.hyvar-project .eu), GA No. 644298; ICT COST Action IC1402 ARVI (www.cost -arvi .eu); Ateneo/CSP D16D15000360005 project RunVar (runvar-project.di.unito.it).Aggregate computing is an emerging approach to the engineering of complex coordination for distributed systems, based on viewing system interactions in terms of information propagating through collectives of devices, rather than in terms of individual devices and their interaction with their peers and environment. The foundation of this approach is the distillation of a number of prior approaches, both formal and pragmatic, proposed under the umbrella of field-based coordination, and culminating into the field calculus, a universal functional programming model for the specification and composition of collective behaviours with equivalent local and aggregate semantics. This foundation has been elaborated into a layered approach to engineering coordination of complex distributed systems, building up to pragmatic applications through intermediate layers encompassing reusable libraries of program components. Furthermore, some of these components are formally shown to satisfy formal properties like self-stabilisation, which transfer to whole application services by functional composition. In this survey, we trace the development and antecedents of field calculus, review the field calculus itself and the current state of aggregate computing theory and practice, and discuss a roadmap of current research directions with implications for the development of a broad range of distributed systems.embargoed_20210910Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, DaniloViroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danil

Supporting ambient assisting living by using executable context-adaptive task models

[EN] The amount of elderly people with chronic diseases is constantly increasing, and current health systems are not able to provide a proper supervision. Ambient Assisted Living (AAL) is a new research area that stands for the use of pervasive and mobile technologies in order to increase the quality of life, wellbeing and safety of elderly people. In this work, we present a tool-supported methodology to facilitate the creation of AAL systems through the use of executable models. AAL services are specified by executable context-adaptive task models by using concepts of a high level of abstraction, which facilitate the participation of medical professionals in the AAL specification. The task models are then interpreted and executed at runtime by a software infrastructure that automates the AAL services as specified. Thus, task models are the only implementation of the services, making it easy their further evolution after system deployment. In order to demonstrate the feasibility of our methodology, we have evaluated it in the development of an AAL system for assisting the patients of a nursing home.Serral Asensio, E.; Valderas Aranda, PJ.; Pelechano Ferragud, V. (2014). Supporting ambient assisting living by using executable context-adaptive task models. International Journal On Advances in Software. 7(1&2):77-87. http://hdl.handle.net/10251/52206S778771&

Autonomic Wireless Sensor Networks: A Systematic Literature Review

Autonomic computing (AC) is a promising approach to meet basic requirements in the design of wireless sensor networks (WSNs), and its principles can be applied to efficiently manage nodes operation and optimize network resources. Middleware for WSNs supports the implementation and basic operation of such networks. In this systematic literature review (SLR) we aim to provide an overview of existing WSN middleware systems that address autonomic properties. The main goal is to identify which development approaches of AC are used for designing WSN middleware system, which allow the self-management of WSN. Another goal is finding out which interactions and behavior can be automated in WSN components. We drew the following main conclusions from the SLR results: (i) the selected studies address WSN concerns according to the self-* properties of AC, namely, self-configuration, self-healing, self-optimization, and self-protection; (ii) the selected studies use different approaches for managing the dynamic behavior of middleware systems for WSN, such as policy-based reasoning, context-based reasoning, feedback control loops, mobile agents, model transformations, and code generation. Finally, we identified a lack of comprehensive system architecture designs that support the autonomy of sensor networking

Middleware Technologies for Cloud of Things - a survey

The next wave of communication and applications rely on the new services provided by Internet of Things which is becoming an important aspect in human and machines future. The IoT services are a key solution for providing smart environments in homes, buildings and cities. In the era of a massive number of connected things and objects with a high grow rate, several challenges have been raised such as management, aggregation and storage for big produced data. In order to tackle some of these issues, cloud computing emerged to IoT as Cloud of Things (CoT) which provides virtually unlimited cloud services to enhance the large scale IoT platforms. There are several factors to be considered in design and implementation of a CoT platform. One of the most important and challenging problems is the heterogeneity of different objects. This problem can be addressed by deploying suitable "Middleware". Middleware sits between things and applications that make a reliable platform for communication among things with different interfaces, operating systems, and architectures. The main aim of this paper is to study the middleware technologies for CoT. Toward this end, we first present the main features and characteristics of middlewares. Next we study different architecture styles and service domains. Then we presents several middlewares that are suitable for CoT based platforms and lastly a list of current challenges and issues in design of CoT based middlewares is discussed.Comment: http://www.sciencedirect.com/science/article/pii/S2352864817301268, Digital Communications and Networks, Elsevier (2017

Middleware Technologies for Cloud of Things - a survey

The next wave of communication and applications rely on the new services provided by Internet of Things which is becoming an important aspect in human and machines future. The IoT services are a key solution for providing smart environments in homes, buildings and cities. In the era of a massive number of connected things and objects with a high grow rate, several challenges have been raised such as management, aggregation and storage for big produced data. In order to tackle some of these issues, cloud computing emerged to IoT as Cloud of Things (CoT) which provides virtually unlimited cloud services to enhance the large scale IoT platforms. There are several factors to be considered in design and implementation of a CoT platform. One of the most important and challenging problems is the heterogeneity of different objects. This problem can be addressed by deploying suitable "Middleware". Middleware sits between things and applications that make a reliable platform for communication among things with different interfaces, operating systems, and architectures. The main aim of this paper is to study the middleware technologies for CoT. Toward this end, we first present the main features and characteristics of middlewares. Next we study different architecture styles and service domains. Then we presents several middlewares that are suitable for CoT based platforms and lastly a list of current challenges and issues in design of CoT based middlewares is discussed.Comment: http://www.sciencedirect.com/science/article/pii/S2352864817301268, Digital Communications and Networks, Elsevier (2017

Pervasive computing reference architecture from a software engineering perspective (PervCompRA-SE)

Pervasive computing (PervComp) is one of the most challenging research topics nowadays. Its complexity exceeds the outdated main frame and client-server computation models. Its systems are highly volatile, mobile, and resource-limited ones that stream a lot of data from different sensors. In spite of these challenges, it entails, by default, a lengthy list of desired quality features like context sensitivity, adaptable behavior, concurrency, service omnipresence, and invisibility. Fortunately, the device manufacturers improved the enabling technology, such as sensors, network bandwidth, and batteries to pave the road for pervasive systems with high capabilities. On the other hand, this domain area has gained an enormous amount of attention from researchers ever since it was first introduced in the early 90s of the last century. Yet, they are still classified as visionary systems that are expected to be woven into people’s daily lives. At present, PervComp systems still have no unified architecture, have limited scope of context-sensitivity and adaptability, and many essential quality features are insufficiently addressed in PervComp architectures. The reference architecture (RA) that we called (PervCompRA-SE) in this research, provides solutions for these problems by providing a comprehensive and innovative pair of business and technical architectural reference models. Both models were based on deep analytical activities and were evaluated using different qualitative and quantitative methods. In this thesis we surveyed a wide range of research projects in PervComp in various subdomain areas to specify our methodological approach and identify the quality features in the PervComp domain that are most commonly found in these areas. It presented a novice approach that utilizes theories from sociology, psychology, and process engineering. The thesis analyzed the business and architectural problems in two separate chapters covering the business reference architecture (BRA) and the technical reference architecture (TRA). The solutions for these problems were introduced also in the BRA and TRA chapters. We devised an associated comprehensive ontology with semantic meanings and measurement scales. Both the BRA and TRA were validated throughout the course of research work and evaluated as whole using traceability, benchmark, survey, and simulation methods. The thesis introduces a new reference architecture in the PervComp domain which was developed using a novel requirements engineering method. It also introduces a novel statistical method for tradeoff analysis and conflict resolution between the requirements. The adaptation of the activity theory, human perception theory and process re-engineering methods to develop the BRA and the TRA proved to be very successful. Our approach to reuse the ontological dictionary to monitor the system performance was also innovative. Finally, the thesis evaluation methods represent a role model for researchers on how to use both qualitative and quantitative methods to evaluate a reference architecture. Our results show that the requirements engineering process along with the trade-off analysis were very important to deliver the PervCompRA-SE. We discovered that the invisibility feature, which was one of the envisioned quality features for the PervComp, is demolished and that the qualitative evaluation methods were just as important as the quantitative evaluation methods in order to recognize the overall quality of the RA by machines as well as by human beings

Towards the Composition of Services by End-Users: A Mobile-Based Solution

[EN] Nowadays, we live surrounded by heterogeneous and distributed services that are available to people anytime and anywhere. Even though these services can be used individually, it is through their synchronized and combined usage that end-users are provided with added value. However, existing solutions to service composition are not targeted at ordinary end-users. In fact, these solutions require technical knowledge to deal with the technological heterogeneity in which they are offered to the market. To this end, the paper presents a tool-supported platform that is aided by: (1) EUCalipTool, an end-user mobile tool that implements a Domain Specific Visual Language, which has been specifically designed to compose services on mobile devices; (2) a Faceted Service Registry, which plays the role of gateway between service implementations and end-users, hiding technological issues from the latter when including services in a composition; and (3) a Generation Module, which transforms end-user descriptions into BPMN specification that are interpreted by an execution infrastructure developed for that purpose.This work has been developed with the financial support of the Spanish State Research Agency under the project TIN2017-84094-R and co-financed with ERDF.Valderas, P.; Torres Bosch, MV.; Pelechano Ferragud, V. (2020). Towards the Composition of Services by End-Users: A Mobile-Based Solution. Business & Information Systems Engineering. 62(4):305-321. https://doi.org/10.1007/s12599-019-00617-zS305321624Amir R, Zeid A (2004) A UML profile for service-oriented architectures. In: Companion to the 19th annual ACM SIGPLAN conference on object-oriented programming systems, languages, and applications, Vancouver. ACM, New York, pp 192–193Athreya B, Bahmani F, Diede A, Scaffidi C (2012) End-user programmers on the loose: a study of programming on the phone for the phone. In: IEEE symposium on visual languages and human-centric computing, Innsbruck. IEEE, pp 75–82Atooma (2015) Atooma, a touch of magic. https://www.atooma.com/ . Accessed 1 Oct 2018Ayora C, Torres V, Weber B, Reichert M, Pelechano V (2013) Enhancing modeling and change support for process families through change patterns. In: Nurcan S et al (eds) Enterprise, Business-Process and Information Systems Modeling. BPMDS 2013, EMMSAD 2013, vol 147. Lecture Notes in Business Information Processing. Berlin, Heidelberg, pp 246–260Benedek J, Miner T (2002) Measuring desirability: new methods for evaluating desirability in a usability lab setting. In: Proceedings from the Usability’s Professionals Association (UPA)Broke J (1996) SUS. A “quick and dirty” usability scale. In: Jordan P et al (eds) Usability evaluation in industry. Taylor & Francis, London, pp 189–194Cuccurullo S, Francese R, Risi M, Tortora G (2011) MicroApps development on mobile phones. In: Costabile MF, Dittrich Y, Fischer G, Piccinno A (eds) End-User Development. IS-EUD 2011, vol 6654. Lecture Notes in Computer Science. Berlin, Heidelberg, pp 289–294Danado J, Paternò F (2014) Puzzle: a mobile application development environment using a jigsaw metaphor. J Vis Lang Comput 25(4):297–315Danado J, Davies M, Ricca P, Fensel A (2010) An authoring tool for user generated mobile services. In: Berre AJ, Gómez-Pérez A, Tutschku K, Fensel D (eds) Future internet—FIS 2010. FIS 2010, vol 6369. Lecture Notes in Computer Science. Berlin, Heidelberg, pp 118–127Dey AK, Sohn T, Streng S, Kodama J (2006) iCAP: interactive prototyping of context-aware applications. In: Fishkin KP, Schiele B, Nixon P, Quigley A (eds) Pervasive Computing. Pervasive 2006, vol 3968. Lecture Notes in Computer Science. Berlin, Heidelberg, pp 254–271Engeström Y, Miettinen R, Punamäki RL (1999) Perspectives on activity theory. Cambridge University Press, CambridgeErmagan V, Krüger IH (2007) A UML2 profile for service modeling. In: Engels G, Opdyke B, Schmidt DC, Weil F (eds) Model Driven Engineering Languages and Systems. MODELS 2007, vol 4735. Lecture Notes in Computer Science. Berlin, Heidelberg, pp 360–374Galitz WO (2002) The essential guide to user interface design: an introduction to GUI. Design principles and techniques. Wiley, New YorkGuillen J, Miranda J, Berrocal J, Garcia-Alonso J, Murillo JM, Canal C (2014) People as a service: a mobile-centric model for providing collective sociological profiles. IEEE Softw 31(2):48–53Häkkilä J, Korpipää P, Ronkainen S, Tuomela U (2005) Interaction and end-user programming with a context-aware mobile application. In: Costabile MF, Paternò F (eds) Human-Computer Interaction—INTERACT 2005, Lecture Notes in Computer Science, vol 3585. Berlin, Heidelberg, pp 927–937IFTTT (2015) IFTTT, if this then that. https://IFTTT.com/ . Accessed 1 Oct 2018Klusch M, Sycara K (2001) Brokering and matchmaking for coordination of agent societies: a survey. In: Omicini A, Zambonelli F, Klusch M, Tolksdorf R (eds) Coordination of Internet Agents. Springer, Berlin, Heidelberg, pp 197–224Locale (2015). http://www.twofortyfouram.com . Accessed 1 Oct 2018Lucci G, Paternò F (2014) Understanding end-user development of context-dependent applications in smartphones. In: Sauer S, Bogdan C, Forbrig P, Bernhaupt R, Winckler M (eds) Human-Centered Software Engineering. HCSE 2014, Lecture Notes in Computer Science, vol 8742. Berlin, Heidelberg, pp 182–198Paolucci M, Kawamura T, Payne TR, Sycara K (2002) Semantic matching of web services capabilities. In: Horrocks I, Hendler J (eds) The Semantic Web—ISWC 2002, Lecture Notes in Computer Science, vol 2342. Berlin, Heidelberg, pp 333–347Renger M, Kolfschoten GL, de Vreede GJ (2008) Challenges in collaborative modeling: a literature review. In: Advances in enterprise engineering I, vol 10, Montpellier, pp 61–77Repenning A, Ioannidou A (2006) What makes end-user development tick? 13 design guidelines. In: End user development. Human-computer interaction series, vol 9. Springer, Berlin, pp 51–85Rumbaugh J, Jacobson I, Booch G (2004) The unified modeling language reference manual. Pearson, LondonSegal J (2005) Two principles of end-user software engineering research. ACM SIGSOFT Softw Eng Notes 30(4):1–5Serral E, Valderas P, Pelechano V (2013) Context-adaptive coordination of pervasive services by interpreting models during runtime. Comput J 56(1):87–114Tasker (2015) Tasker, total automation for Android. http://tasker.dinglisch.net/ . Accessed 1 Oct 2018Uden L, Valderas P, Pastor O (2008) An activity-theory-based model to analyse web application requirements. Inf Res 13(2):1Valderas P, Pelechano V, Pastor O (2006) A transformational approach to produce web application prototypes from a web requirements model. Int J Web Eng Technol 3(1):4–42Valderas P, Torres V, Mansanet I, Pelechano V (2017) A mobile-based solution for supporting end-users in the composition of services. Multimed Tools Appl 76(15):16315–16345Workflow.is (2018) Workflow. Spend less taps, get more done. https://workflow.is/ . Accessed 1 Oct 2018Yu J, Sheng QZ, Han J, Wu Y, Liu C (2012) A semantically enhanced service repository for user-centric service discovery and management. Data Knowl Eng 72:202–21