Engineering Comes Home: Co-designing nexus infrastructure from the bottom-up

The ‘nexus’ between water, food and energy systems is well established. It is conventionally analysed as a supply-side problem of infrastructure interdependencies, overlooking demand-side interactions and opportunities. The home is one of the most significant sites of nexus interactions and opportunities for redesigning technologies and infrastructure. New developments in ‘smart city’ technologies have the potential to support a bottom-up approach to designing and managing nexus infrastructure. The Engineering Comes Home was a research project that turned infrastructure design on its head. The objectives of the project were to: Demonstrate a new paradigm for engineering design starting from the viewpoint of the home, looking out towards systems of provision to meet household demands. Integrate thinking about water, energy, food, waste and data at the domestic scale to support userled innovation and co-design of technologies and infrastructure. Test new design methods that connect homes to communities, technologies and infrastructure, enhancing positive interactions between data, water, energy, food and waste systems. Develop a robust Lifecycle Assessment (LCA) Calculator tool to support environmental decisionmaking in co-design. Working with residents of the Meakin Estate in South London, the project followed a co-design method to identify requirements, analyse options and develop and test a detailed design for a preferred option. The outputs were: 1) Ethnographic study of how residents use water, energy and food resources in their homes and key opportunities for engineering design to improve wellbeing and reduce resource consumption. 2) Co-design of decentralised infrastructural systems in three workshops in 2016-2017. The first workshop identified key priorities for development from the community using a novel token-based system design method, to enable participants to build up alternative designs for local provision of water, energy, food and waste services. The second workshop provided participants with factsheets and photographs of the candidate technologies, which were then analysed using a LCA Calculator tool. 47 Rainwater harvesting was selected as the technology for further co-design in the third workshop, which focussed on scaling up a pilot installation. 3) Pilot-scale smart rainwater system was installed in partnership with the Over The Air Analytics (OTA). OTA’s system enables remote control of the rainwater storage tanks to optimise their performance as stormwater attenuation as well as non-potable water supply. 4) Lifecycle Assessment (LCA) Calculator to enable quick estimation of the impacts of new systems and technology to deliver water, energy and food, and manage waste at the household and neighbourhood scale. 5) Stakeholders, including utilities, design consultancies and community based organisations, were engaged in three workshops to inform the wider relevance and development of the co-design methods and tools. 6) Toolbox and method statements to standardise and disseminate the methods used in the project for wider application and development

Transformation of UML models for service-oriented software architectures

Comunicação apresentada ao IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005), 12, Washington, 2005.The main aim of this paper is to present how to transform user requirements models into a software architecture for mobile applications. The technique (called "4SRS") is essentially based on the mapping of UML use case diagrams into UML object diagrams. UML sequence, activity, and state diagrams and other artifacts can also be considered within the transformation decisions. The applicability of this technique is illustrated by presenting some results from an e-government mobile application. The development of mobile applications typically follow a service-oriented approach. A service is a software entity running on one or more machines and providing a particular type of function to a priori unknown clients. These services must communicate with each other, whose combination makes up a service-oriented architecture. The communication can involve either simple data passing or it could involve two or more services coordinating some activity. Some means of connecting services to each other is needed, so workflow is a critical part of making services effective. When those services react to changes on user context, application are context-aware. For mobile applications, the definition of the underlying service-oriented software architecture must consider the services themselves as user requirements, as well as the mobile operators entry-points and the final clients interfaces, and use them to characterize the platform.USE-ME.GOV - IST-2002-002294 ; Fundação para a Ciência e a Tecnologia - METHODES (POSI/CHS/37334/2001), STACOS (POSI/CHS/48875/2002)

Multi-level Autonomic Business Process Management

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-38484-4_14Nowadays, business processes are becoming increasingly complex and heterogeneous. Autonomic Computing principles can reduce this complexity by autonomously managing the software systems and the running processes, their states and evolution. Business Processes that are able to be self-managed are referred to as Autonomic Business Processes (ABP). However, a key challenge is to keep the models of such ABP understandable and expressive in increasingly complex scenarios. This paper discusses the design aspects of an autonomic business process management system able to self-manage processes based on operational adaptation. The goal is to minimize human intervention during the process definition and execution phases. This novel approach, named MABUP, provides four well-defined levels of abstraction to express business and operational knowledge and to guide the management activity; namely, Organizational Level, Technological Level, Operational Level and Service Level. A real example is used to illustrate our proposal.Research supported by CAPES, CNPQ and Spanish Ministry of Science and Innovation.Oliveira, K.; Castro, J.; España Cubillo, S.; Pastor López, O. (2013). Multi-level Autonomic Business Process Management. En Enterprise, Business-Process and Information Systems Modeling. Springer. 184-198. doi:10.1007/978-3-642-38484-4_14S184198España, S., González, A., Pastor, Ó.: Communication Analysis: A Requirements Engineering Method for Information Systems. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 530–545. Springer, Heidelberg (2009)Ganek, A.G., Corbi, T.A.: The dawning of the autonomic computing era. IBM Systems Journal 42(1), 5–18 (2003)Gonzalez, A., et al.: Unity criteria for Business Process Modelling. In: Third International Conference on Research Challenges in Information Science, RCIS 2009, pp. 155–164 (2009)Greenwood, D., Rimassa, G.: Autonomic Goal-Oriented Business Process Management. Management, 43 (2007)Haupt, T., et al.: Autonomic execution of computational workflows. In: 2011 Federated Conference on Computer Science and Information Systems, FedCSIS, pp. 965–972 (2011)Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE (2003)Lee, K., et al.: Workflow adaptation as an autonomic computing problem. In: Proceedings of the 2nd Workshop on Workflows in Support of Large-Scale Science, New York, NY, USA, pp. 29–34 (2007)Mosincat, A., Binder, W.: Transparent Runtime Adaptability for BPEL Processes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 241–255. Springer, Heidelberg (2008)Oliveira, K., et al.: Towards Autonomic Business Process Models. In: International Conference on Software Engineering and Knowledge, SEKE 2012, San Francisco, California, USA (2012)Rahman, M., et al.: A taxonomy and survey on autonomic management of applications in grid computing environments. Concurr. Comput.: Pract. Exper. 23(16), 1990–2019 (2011)Reijers, H.A., Mendling, J.: Modularity in process models: Review and effects. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 20–35. Springer, Heidelberg (2008)Rodrigues Nt., J.A., Monteiro Jr., P.C.L., de O. Sampaio, J., de Souza, J.M., Zimbrão, G.: Autonomic Business Processes Scalable Architecture. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 78–83. Springer, Heidelberg (2008)Strohmaier, M., Yu, E.: Towards autonomic workflow management systems. ACM Press (2006)Terres, L.D., et al.: Selection of Business Process for Autonomic Automation. In: 2010 14th IEEE International Enterprise Distributed Object Computing Conference, pp. 237–246 (October 2010)Tretola, G., Zimeo, E.: Autonomic internet-scale workflows. In: Proceedings of the 3rd International Workshop on Monitoring, Adaptation and Beyond, New York, NY, USA, pp. 48–56 (2010)Vedam, H., Venkatasubramanian, V.: A wavelet theory-based adaptive trend analysis system for process monitoring and diagnosis. In: Proceedings of the 1997 American Control Conference, vol. 1, pp. 309–313 (June 1997)Wang, Y., Mylopoulos, J.: Self-Repair through Reconfiguration: A Requirements Engineering Approach. In: 2009 IEEE/ACM International Conference on Automated Software Engineering, pp. 257–268 (November 2009)Yu, T., Lin, K.: Adaptive algorithms for finding replacement services in autonomic distributed business processes. In: Proceedings Autonomous Decentralized Systems, ISADS 2005, pp. 427–434 (2005

Defining and validating a multimodel approach for product architecture derivation and improvement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-41533-3_24Software architectures are the key to achieving the non-functional requirements (NFRs) in any software project. In software product line (SPL) development, it is crucial to identify whether the NFRs for a specific product can be attained with the built-in architectural variation mechanisms of the product line architecture, or whether additional architectural transformations are required. This paper presents a multimodel approach for quality-driven product architecture derivation and improvement (QuaDAI). A controlled experiment is also presented with the objective of comparing the effectiveness, efficiency, perceived ease of use, intention to use and perceived usefulness with regard to participants using QuaDAI as opposed to the Architecture Tradeoff Analysis Method (ATAM). The results show that QuaDAI is more efficient and perceived as easier to use than ATAM, from the perspective of novice software architecture evaluators. However, the other variables were not found to be statistically significant. Further replications are needed to obtain more conclusive results.This research is supported by the MULTIPLE project (MICINN TIN2009-13838) and the Vali+D fellowship program (ACIF/2011/235).González Huerta, J.; Insfrán Pelozo, CE.; Abrahao Gonzales, SM. (2013). Defining and validating a multimodel approach for product architecture derivation and improvement. En Model-Driven Engineering Languages and Systems. Springer. 388-404. https://doi.org/10.1007/978-3-642-41533-3_24S388404Ali-Babar, M., Lago, P., Van Deursen, A.: Empirical research in software architecture: opportunities, challenges, and approaches. Empirical Software Engineering 16(5), 539–543 (2011)Ali-Babar, M., Zhu, L., Jeffery, R.: A Framework for Classifying and Comparing Software Architecture Evaluation Methods. In: 15th Australian Software Engineering Conference, Melbourne, Australia, pp. 309–318 (2004)Basili, V.R., Rombach, H.D.: The TAME project: towards improvement-oriented software environments. IEEE Transactions on Software Engineering 14(6), 758–773 (1988)Barkmeyer, E.J., Feeney, A.B., Denno, P., Flater, D.W., Libes, D.E., Steves, M.P., Wallace, E.K.: Concepts for Automating Systems Integration NISTIR 6928. National Institute of Standards and Technology, U.S. Dept. of Commerce (2003)Bosch, J.: Design and Use of Software Architectures. Adopting and Evolving Product-Line Approach. Addison-Wesley, Harlow (2000)Botterweck, G., O’Brien, L., Thiel, S.: Model-driven derivation of product architectures. In: 22th Int. Conf. on Automated Software Engineering, New York, USA, pp. 469–472 (2007)Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented software architecture, vol. 1: A System of Patterns. Wiley (1996)Cabello, M.E., Ramos, I., Gómez, A., Limón, R.: Baseline-Oriented Modeling: An MDA Approach Based on Software Product Lines for the Expert Systems Development. In: 1st Asia Conference on Intelligent Information and Database Systems, Vietnam (2009)Carifio, J., Perla, R.J.: Ten Common Misunderstandings, Misconceptions, Persistent Myths and Urban Legends about Likert Scales and Likert Response Formats and their Antidotes. Journal of Social Sciences 3(3), 106–116 (2007)Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Boston (2007)Czarnecki, K., Kim, C.H.: Cardinality-based feature modeling and constraints: A progress report. In: Int. Workshop on Software Factories, San Diego-CA (2005)Datorro, J.: Convex Optimization & Euclidean Distance Geometry. Meboo Publishing (2005)Davis, F.D.: Perceived usefulness, perceived ease of use and user acceptance of information technology. MIS Quarterly 13(3), 319–340 (1989)Douglass, B.P.: Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison-Wesley, Boston (2002)Feiler, P.H., Gluch, D.P., Hudak, J.: The Architecture Analysis & Design Language (AADL): An Introduction. Tech. Report CMU/SEI-2006-TN-011. SEI, Carnegie Mellon University (2006)Gómez, A., Ramos, I.: Cardinality-based feature modeling and model-driven engineering: Fitting them together. In: 4th Int. Workshop on Variability Modeling of Software Intensive Systems, Linz, Austria (2010)Gonzalez-Huerta, J., Insfran, E., Abrahao, S.: A Multimodel for Integrating Quality Assessment in Model-Driven Engineering. In: 8th International Conference on the Quality of Information and Communications Technology (QUATIC 2012), Lisbon, Portugal, September 3-6 (2012)Gonzalez-Huerta, J., Insfran, E., Abrahao, S., McGregor, J.D.: Non-functional Requirements in Model-Driven Software Product Line Engineering. In: 4th Int. Workshop on Non-functional System Properties in Domain Specific Modeling Languages, Insbruck, Austria (2012)Guana, V., Correal, V.: Variability quality evaluation on component-based software product lines. In: 15th Int. Software Product Line Conference, Munich, Germany, vol. 2, pp. 19.1–19.8 (2011)Insfrán, E., Abrahão, S., González-Huerta, J., McGregor, J.D., Ramos, I.: A Multimodeling Approach for Quality-Driven Architecture Derivation. In: 21st Int. Conf. on Information Systems Development (ISD 2012), Prato, Italy (2012)ISO/IEC 25000:2005, Software Engineering. Software product Quality Requirements and Evaluation SQuaRE (2005)Kazman, R., Klein, M., Clements, P.: ATAM: Method for Architecture Evaluation (CMU/SEI-2000-TR-004, ADA382629). Software Engineering Institute, Carnegie Mellon University, Pittsburgh (2000), http://www.sei.cmu.edu/publications/documents/00.reports/00tr004.htmlKim, T., Ko, I., Kang, S., Lee, D.: Extending ATAM to assess product line architecture. In: 8th IEEE Int. Conference on Computer and Information Technology, Sydney, Australia, pp. 790–797 (2008)Kitchenham, B.A., Pfleeger, S.L., Hoaglin, D.C., Rosenber, J.: Preliminary Guidelines for Empirical Research in Software Engineering. IEEE Transactions on Software Engineering 28(8) (2002)Kruchten, P.B.: The Rational Unified Process: An Introduction. Addison-Wesley (1999)Martensson, F.: Software Architecture Quality Evaluation. Approaches in an Industrial Context. Ph. D. thesis, Blekinge Institute of Technology, Karlskrona, Sweden (2006)Maxwell, K.: Applied Statistics for Software Managers. Software Quality Institute Series. Prentice-Hall (2002)Olumofin, F.G., Mišic, V.B.: A holistic architecture assessment method for software product lines. Information and Software Technology 49, 309–323 (2007)Perovich, D., Rossel, P.O., Bastarrica, M.C.: Feature model to product architectures: Applying MDE to Software Product Lines. In: IEEE/IFIP & European Conference on Software Architecture, Helsinki, Findland, pp. 201–210 (2009)Robertson, S., Robertson, J.: Mastering the requirements process. ACM Press, New York (1999)Roos-Frantz, F., Benavides, D., Ruiz-Cortés, A., Heuer, A., Lauenroth, K.: Quality-aware analysis in product line engineering with the orthogonal variability model. Software Quality Journal (2011), doi:10.1007/s11219-011-9156-5Saaty, T.L.: The Analytical Hierarchical Process. McGraw- Hill, New York (1990)Taher, L., Khatib, H.E., Basha, R.: A framework and QoS matchmaking algorithm for dynamic web services selection. In: 2nd Int. Conference on Innovations in Information Technology, Dubai, UAE (2005)Wohlin, C., Runeson, P., Host, M., Ohlsson, M.C., Regnell, B., Weslen, A.: Experimentation in Software Engineering - An Introduction. Kluwer (2000

Capability driven development: an approach to designing digital enterprises

The final publication is available at Springer via http://dx.doi.org/10.1007/s12599-014-0362-0[EN] The need for organizations to operate in changing environments is addressed by proposing an approach that integrates organizational development with information system (IS) development taking into account changes in the application context of the solution. This is referred to as Capability Driven Development (CDD). A meta-model representing business and IS designs consisting of goals, key performance indicators, capabilities, context and capability delivery patterns, is being proposed. The use of the meta-model is validated in three industrial case studies as part of an ongoing collaboration project, whereas one case is presented in the paper. Issues related to the use of the CDD approach, namely, CDD methodology and tool support are also discussed.This work has been partially supported by the EU-FP7 funded project no: 611351 CaaS - Capability as a Service in Digital Enterprises.Berzisa, S.; Bravos, G.; Cardona Gonzalez, T.; Czubayko, U.; España, S.; Grabis, J.; Henkel, M.... (2015). Capability driven development: an approach to designing digital enterprises. Business and Information Systems Engineering. 57(1):15-25. https://doi.org/10.1007/s12599-014-0362-0S1525571ArchiMate (2013) An enterprise modeling language from the Open Group. http://www.opengroup.org/archimate/ . Accessed 3 Dec 2014Asadi M, Ramsin R (2008) MDA-based methodologies: an analytical survey. In: Proceedings Model driven architecture – foundations and applications (ECMDA-FA 2008), LNCS 5095, pp 419–431Barney JB (1991) Firm resources and sustained competitive advantage. J Manag 17(1):99–120Bērziša S, Bravos G, Gonzalez Cardona T, Czubayko U, España S, Grabis J, Henke lM, Jokste L, Kampars J, Koc H, Kuhr J, Llorca C, Loucopoulos P, Juanes Pascua lR, Sandkuh lK, Simic H, Stirna J, Zdravkovic J (2014) Deliverable 1.4: Requirements specification for CDD, CaaS – capability as a service for digital enterprises. FP7 project no 611351, Riga Technical University, Latvia. Submitted for reviewBubenko JA Jr, Persson A, Stirna J (2001) User guide of the knowledge management approach using enterprise knowledge patterns. Deliverable D3, IST programme project hypermedia and pattern based knowledge management for smart organisations. project no. IST-2000-28401, Royal Institute of Technology, SwedenBriand LC, Yue T, Labiche Y (2011) A systematic review of transformation approaches between user requirements and analysis models. Requir Eng 16:75–99De Kinderen S, Gordijn J, Akkermans H (2009) Reasoning about customer needs in multi-supplier ICT service bundles using decision models. In: Proceedings 11th international conference on enterprise information systems (ICEIS 2009), pp 131–136Deloitte (2009) Cloud computing: forecasting change. Deloitte Consulting, New York. http://public.deloitte.no/dokumenter/2_Cloud_Computing%5B1%5D.pdf . Accessed 3 Dec 2014Dey A (2001) Understanding and using context. Pers Ubiquitous Comput 5(1):4–7Gamma E, Helm R, Johnson R, Vlissides J (1995) Design patterns: elements of reusable object-oriented software architecture. Addison-Wesley, BostonGomes D, Gonçalves JM, Santos R, Aguiar R (2010) XMPP based context management architecture. In: Proceedings GLOBECOM workshop, IEEE, pp 1372–1377González A, España S, Ruiz M, Pastor Ó (2011) Systematic derivation of class diagrams from communication-oriented business process models. In: 12th working conference on business process modeling, development, and support (BPMDS’11). Springer LNBIP 81, pp 246–260Henkel M, Stirna J (2010) Pondering on the key functionality of model driven development tools: the case of mendix. In: Forbrig P, Günther H (eds) Proceedings business informatics research (BIR 2010), Springer LNBIP 64, pp 146–160Hervas R, Bravo J, Fontecha J (2010) A context model based on ontological languages – a proposal for information visualisation. J Univers Comput Sci 16(12):1539–1555Jarke M, Loucopoulos P, Lyytinen K, Mylopoulos J, Robinson W (2011) The brave new world of design requirements. Information Syst 36(7):992–1008Kaplan RS, Norton DP (2004) Strategy maps: converting intangible assets into tangible outcomes. Harvard Business School Press, BostonKleppe A, Warmer J, Bast W (2013) MDA explained. Addison-Wesley, BostonLoniewski G, Insfran E, Abrahao L (2010) A systematic review of the use of requirements engineering techniques in model-driven development. In: Proceedings model driven engineering languages and systems (MODELS 2010), Part II, LNCS 6395, pp 213–227Mohagheghi P, Dehlen V (2008) Where is the proof? - a review of experiences from applying MDE in industry. In: Proceedings model driven architecture – foundations and applications (ECMDA-FA 2008). LNCS 5095. Springer, Heidelberg, pp 432–443Nilsson AG, Tolis C, Nellborn C (eds) (1999) Perspectives on business modelling: understanding and changing organisations. Springer, HeidelbergOASIS (2011) Reference architecture foundation for service oriented architecture version 1.0, committee specification draft 03/public review draft 02 06 July 2011. http://docs.oasis-open.org/soa-rm/soa-ra/v1.0/soa-ra.pdf . Accessed 3 Dec 2014OMG (2011a) UML superstructure. http://www.omg.org/spec/UML/2.4.1/ . Accessed 3 Dec 2014OMG (2011b) Business process model and notation. http://www.omg.org/spec/BPMN/2.0/ . Accessed 3 Dec 2014Osterwalder A, Pigneur Y (2003) Modeling value propositions in e-business. Proc 5th international conference on electronic commerce (ICEC 2003). ACM Conference Proceedings Series 50Papazoglou MP, Yang J (2002) Design methodology for web services and business processes. In: Proceedings 3rd international workshop on technologies for e-services (TES 03). LNCS 2444. Springer, Heidelberg, pp 54–64Pastor O, Giachetti G (2010) Linking goal-oriented requirements and model-driven development. In: Intentional perspectives on information systems engineering. Springer, Heidelberg, pp 257–276Porter ME (1985) Competitive advantage: creating and sustaining superior performance. Free Press, New YorkRuiz M, Costal D, España S, Franch X, Pastor Ó (2014) Integrating the goal and business process perspectives in information system analysis. In: 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014). LNCS 8484. Springer, Heidelberg, pp 332–346Sheng Q, Yu J, Dustar S (eds) (2010) Enabling context-aware web services: methods, architectures, and technologies. Chapman & Hall/CRC, Boca RatonSmanchat S, Ling S, Indrawan M (2008) A survey on context-aware workflow adaptations. In: Proceedings 6th international conference on advances in mobile computing and multimedia (MoMM 2008), New York, pp 414–417Stirna J, Grabis J, Henkel M, Zdravkovic J (2012) Capability driven development – an approach to support evolving organizations. In: The practice of enterprise modeling (PoEM 2012). LNBIP 134. Springer, Heidelberg, pp 117–131Vale S, Hammoudi S (2009) COMODE: a framework for the development of context-aware applications in the context of MDE. In: Proceedings 4th international conference on internet and web applications and services (ICIW 2009). IEEE, Venice, pp 261–266Wesenberg H (2011) Enterprise modeling in an agile world. In: Johannesson P, Krogstie J, Opdahl AL (eds) The practice of enterprise modeling (PoEM 2011). LNBIP 92. Springer, Heidelberg, pp 126–130Zdravkovic J, Stirna J, Henkel M, Grabis J (2013) Modeling business capabilities and context dependent delivery by cloud services. In: Proceedings advanced information systems engineering (CAiSE 2013). LNCS 7908. Springer, Heidelberg, pp 369–38

Quality of service and quality of control based protocol to distribute agents

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-14883-5_10This paper describes an agent s movement protocol. Additionally, a distributed architecture to implement such protocol is presented. The architecture allows the agents to move in accordance with their requirements. The protocol is based on division and fusion of the agents in their basic components called Logical Sensors. The movement of the agents is based on the quality of services (QoS) and quality of control (QoC) parameters that the system can provides. The protocol is used to know the impact that the movement of the agents may have on the system and obtain the equilibrium points where the impact is minimal.The architecture described in this article is a part of the coordinated project SIDIRELI: Distributed Systems with Limited Resources. Control Kernel and Coordination. Education and Science Department, Spanish Government. CICYT: MICINN: DPI2008-06737-C02-01/02.Poza-Lujan, J.; Posadas-Yagüe, J.; Simó Ten, JE. (2010). Quality of service and quality of control based protocol to distribute agents. En Distributed Computing and Artificial Intelligence: 7th International Symposium. Springer. 73-80. doi:10.1007/978-3-642-14883-5_10S7380Posadas, J.L., Poza, J.L., Simó, J.E., Benet, G., Blanes, F.: Agent Based Distributed Architecture for Mobile Robot Control. In: Engineering Applications of Artificial Intelligence, vol. 21(6), pp. 805–823. Pergamon Press Ltd., Oxford (2008)Object Management Group (OMG): Data Distribution Service for Real-Time Systems, v1.1. Document formal / 2005-12-04 (2005)Odum, E.P.: Fundamentals of Ecology, 3rd edn. W.B. Saunders Company, Philadelphia (1971)Aurrecoechea, C., Campbell, A.T., Hauw, L.: A Survey of QoS Architectures. ACM/Springer Verlag Multimedia Systems Journal, Special Issue on QoS Architecture 6(3), 138–151 (1998)Pardo-Castellote, G.O.: Data-Distribution Service: architectural overview. In: Proceedings of 23rd International Conference on Distributed Computing Systems Workshops, vol. 19-22, pp. 200–206 (2003)International Telecommunication Union (ITU). Terms and Definitions Related to Quality of Service and Network Performance Including Dependability. ITU-T Recommendation E.800 (0894) (1994)Foundation for Intelligent Physical Agents. FIPA Quality of Service Ontology Specification, Experimental Doc: XC00094 (2002)Dorf, R.C., Bishop, R.H.: Modern Control Systems, 11th edn. Prentice Hall, Englewood Cliffs (2008)Poza, J.L., Posadas, J.L., Simó, J.E.: Middleware with QoS Support to Control Intelligent Systems. In: 2nd International Conference on Advanced Engineering Computing and Applications in Sciences, ADVCOMP, pp. 211–216 (2008)Bellifemine, F., Poggi, A., Rimassa, G.: Jade: A FIPA-compliant agent framework. In: Proceedings of PAAM 1999, pp. 97–108 (1999)Poza, J.L., Posadas, J.L., Simó, J.E.: From the Queue to the Quality of Service Policy: A Middleware Implementation. In: Omatu, S., Rocha, M.P., Bravo, J., Fernández, F., Corchado, E., Bustillo, A., Corchado, J.M. (eds.) IWANN 2009. Part II. LNCS, vol. 5518, pp. 432–437. Springer, Heidelberg (2009)Foundation for Intelligent Physical Agents. FIPA Agent Management Specification, Doc: FIPA00023 (2000)Jeong, B., Cho, H., Kulvatunyou, B., Jones, A.: A Multi-Criteria Web Services Composition Problem. In: Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007 (IRI 2007), pp. 379–384. IEEE, Los Alamitos (2007)Poza, J.L., Posadas, J.L., Simó, J.E., Benet, G.: Distributed Agent Specification for an Intelligent control Architecture. In: 6th International Workshop on Practical Applications of Agents and Multiagent Systems. IWPAAMS (2007) ISBN 978-84-611-8858-

Automating unobtrusive personalized services in ambient media environments

The final publication is available at Springer via http://dx.doi.org/10.1007/s11042-013-1634-2In the age of ambient media, people are surrounded by lots of physical objects (media objects) for rendering the digital world in the natural environment. These media objects should interact with users in a way that is not disturbing for them. To address this issue, this work presents a design and automation strategy for augmenting the world around us with personalized ambient media services that behave in a considerate manner. That is, ambient services are capable of adjusting its obtrusiveness level (i.e., the extent to which each service intrudes the user¿s mind) by using the appropriate media objects for each user¿s situation.This work has been developed with the support of MICINN, under the project EVERYWARE TIN2010-18011, and the support of the Christian Doppler Forschungsgesellschaft and the BMWFJ, Austria.Serral Asensio, E.; Gil Pascual, M.; Valderas Aranda, PJ.; Pelechano Ferragud, V. (2014). Automating unobtrusive personalized services in ambient media environments. Multimedia Tools and Applications. 71(1):159-178. https://doi.org/10.1007/s11042-013-1634-2S159178711Bencomo N, Grace P, Flores-Cortés CA, Hughes D, Blair GS (2008) Genie: supporting the model driven development of reflective, component-based adaptive systems. In: ICSE, pp 811–814Blumendorf M, Lehmann G, Albayrak S (2010) Bridging models and systems at runtime to build adaptive user interfaces. In: Proc. of EICS 2010. ACM, pp 9–18Brown DM (2010) Communicating design: developing web site documentation for design and planning, 2nd edn. New Riders PressCalinescu R (2011) When the requirements for adaptation and high integrity meet. In: Proceedings of the 8th workshop on assurances for self-adaptive systems, ASAS ’11. ACM, New York, pp 1–4Filieri A, Ghezzi C, Tamburrelli G (2011) Run-time efficient probabilistic model checking. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE ’11. ACM, New York, pp 341–350Gershenfeld N, Krikorian R, Cohen D (2004) The internet of things. Sci Am 291(4):46–51Gibbs WW (2005) Considerate computing. Sci Am 292(1):54–61Gulliksen J, Goransson B, Boivie I, Blomkvist S, Persson J, Cajander A (2003) Key principles for user-centred systems design. Behav Inform Technol 22:397–409Hinckley K, Horvitz E (2001) Toward more sensitive mobile phones. In: Proc. of the UIST ’01, pp 191–192Ho J, Intille SS (2005) Using context-aware computing to reduce the perceived burden of interruptions from mobile devices. In: Proc. of CHI ’05. ACM, pp 909–918Horvitz E, Kadie C, Paek T, Hovel D (2003) Models of attention in computing and communication: from principles to applications. Commun ACM 46:52–59Ju W, Leifer L (2008) The design of implicit interactions: making interactive systems less obnoxious. Des Issues 24(3):72–84Kortuem G, Kawsar F, Fitton D, Sundramoorthy V (2010) Smart objects as building blocks for the internet of things. IEEE Internet Comput 14(1):44–51Lewis JR (1995) Ibm computer usability satisfaction questionnaires: psychometric evaluation and instructions for use. Int J Hum Comput Interact 7(1):57–78Lugmayr A, Risse T, Stockleben B, Laurila K, Kaario J (2009) Semantic ambient media—an introduction. Multimed Tools Appl 43(3):337–359Mattern F (2003) From smart devices to smart everyday objects. In: Proc. Smart Objects Conf. (SOC 03). Springer, pp 15–16Morin B, Barais O, Jezequel JM, Fleurey F, Solberg A (2009) Models run.time to support dynamic adaptation. Comput 42(10):44–51Nelson L, Churchill EF (2005) User experience of physical-digital object systems: implications for representation and infrastructure. Paper presented at smart object systems workshop, in cojunction with ubicomp 2005Paternò F (2002) Concurtasktrees: an engineered approach to model-based design of interactive systems. In: L.E. Associates (ed) The handbook of analysis for human-computer interaction, pp 483–500Paternò F (2003) From model-based to natural development. HCI International, pp 592–596Ramchurn SD, Deitch B, Thompson MK, Roure DCD, Jennings NR, Luck M (2004) Minimising intrusiveness in pervasive computing environments using multi-agent negotiation. MobiQuitous ’04, pp 364–372Runeson P, Höst M (2009) Guidelines for conducting and reporting case study research in software engineering. Empir Softw Eng 14(2):131–164Schmidt A (2000) Implicit human computer interaction through context. Pers Technol 4(2–3):191–199Serral E, Valderas P, Pelechano V (2010) Supporting runtime system evolution to adapt to user behaviour. In: Proc. of CAiSE’10, pp 378–392Serral E, Valderas P, Pelechano V (2010) Towards the model driven development of context-aware pervasive systems. PMC 6(2):254–280Siegemund F (2004) A context-aware communication platform for smart objects. In: Proc of the int conf on pervasive computing. Springer, pp 69–86Streitz NA, Rocker C, Prante T, Alphen Dv, Stenzel R, Magerkurth C (2005) Designing smart artifacts for smart environments. Comput 38(3):41–49. doi: 10.1109/MC.2005.92Thiesse F, Kohler M (2008) An analysis of usage-based pricing policies for smart products. Electron Mark 18(3):232–241. doi: 10.1080/10196780802265751Vastenburg MH, Keyson DV, de Ridder H (2008) Considerate home notification systems: a field study of acceptability of notifications in the home. Pers Ubiquit Comput 12(8):555–56

Designing a goal-oriented smart-home environment

The final publication is available at Springer via http://dx.doi.org/10.1007/s10796-016-9670-x[EN] Nowadays, systems are growing in power and in access to more resources and services. This situation makes it necessary to provide user-centered systems that act as intelligent assistants. These systems should be able to interact in a natural way with human users and the environment and also be able to take into account user goals and environment information and changes. In this paper, we present an architecture for the design and development of a goal-oriented, self-adaptive, smart-home environment. With this architecture, users are able to interact with the system by expressing their goals which are translated into a set of agent actions in a way that is transparent to the user. This is especially appropriate for environments where ambient intelligence and automatic control are integrated for the user’s welfare. In order to validate this proposal, we designed a prototype based on the proposed architecture for smart-home scenarios. We also performed a set of experiments that shows how the proposed architecture for human-agent interaction increases the number and quality of user goals achieved.This work is partially supported by the Spanish Government through the MINECO/FEDER project TIN2015-65515-C4-1-R.Palanca Cámara, J.; Del Val Noguera, E.; García-Fornes, A.; Billhard, H.; Corchado, JM.; Julian Inglada, VJ. (2016). Designing a goal-oriented smart-home environment. Information Systems Frontiers. 1-18. https://doi.org/10.1007/s10796-016-9670-xS118Alam, M. R., Reaz, M. B. I., & Ali, M. A. M. (2012). A review of smart homes: Past, present, and future. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 42(6), 1190–1203.Andrushevich, A., Staub, M., Kistler, R., & Klapproth, A. (2010). Towards semantic buildings: Goal-driven approach for building automation service allocation and control. In 2010 IEEE conference on emerging technologies and factory automation (ETFA) (pp. 1–6) IEEE.Ayala, I., Amor, M., & Fuentes, L. (2013). Self-configuring agents for ambient assisted living applications. Personal and Ubiquitous Computing, 17(6), 1159–1169.Cetina, C., Giner, P., Fons, J., & Pelechano, V. (2009). Autonomic computing through reuse of variability models at runtime: The case of smart homes. Computer, 42(10), 37–43.Cook, D. J. (2009). Multi-agent smart environments. Journal of Ambient Intelligence and Smart Environments, 1(1), 51–55.Dalpiaz, F., Giorgini, P., & Mylopoulos, J. (2009). An architecture for requirements-driven self-reconfiguration. In Advanced information systems engineering (pp. pp 246–260). Springer.De Silva, L. C., Morikawa, C., & Petra, I. M. (2012). State of the art of smart homes. Engineering Applications of Artificial Intelligence, 25(7), 1313–1321.Huhns, M., & et al. (2005). Research directions for service-oriented multiagent systems. IEEE Internet Computing, 9, 69–70.Iftikhar, M. U., & Weyns, D. (2014). Activforms: active formal models for self-adaptation. In SEAMS, (pp 125–134).Kucher, K., & Weyns, D. (2013). A self-adaptive software system to support elderly care. Modern Information Technology, MIT.Lieberman, H., & Espinosa, J. (2006). A goal-oriented interface to consumer electronics using planning and commonsense reasoning. In Proceedings of the 11th international conference on Intelligent user interfaces (pp. 226–233).Liu, H., & Singh, P. (2004). ConceptNet—a practical commonsense reasoning tool-kit. BT Technology Journal, 22(4), 211–226.Loseto, G., Scioscia, F., Ruta, M., & Di Sciascio, E. (2012). Semantic-based smart homes: a multi-agent approach. In 13th Workshop on objects and Agents (WOA 2012) (Vol. 892, pp. 49–55).Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., Narayanan, S., Paolucci, M., Parsia, B., Payne, T., & et al (2004). OWL-S: Semantic markup for web services. W3C Member Submission, 22, 2007–2004.Matthews, R. B., Gilbert, N. G., Roach, A., Polhill, J. G, & Gotts, N. M. (2007). Agent-based land-use models: a review of applications. Landscape Ecology, 22(10), 1447–1459.Molina, J. M., Corchado, J. M., & Bajo, J. (2008). Ubiquitous computing for mobile environments. In Issues in multi-agent systems (pp 33–57). Birkhäuser, Basel.Palanca, J., Navarro, M., Julian, V., & García-Fornes, A. (2012). Distributed goal-oriented computing. Journal of Systems and Software, 85(7), 1540–1557. doi: 10.1016/j.jss.2012.01.045 .Rao, A., & Georgeff, M. (1995). BDI agents: From theory to practice. In Proceedings of the first international conference on multi-agent systems (ICMAS95) (pp. 312–319).Reddy, Y. (2006). Pervasive computing: implications, opportunities and challenges for the society. In 1st International symposium on pervasive computing and applications (p. 5).de Silva, L., & Padgham, L. (2005). Planning as needed in BDI systems. International Conference on Automated Planning and Scheduling.Singh, P. (2002). The public acquisition of commonsense knowledge. In Proceedings of AAAI Spring symposium acquiring (and using) linguistic (and world) knowledge for information access

Requirements Engineering for Pervasive Services

Developing pervasive mobile services for a mass market of end customers entails large up-front investments and therefore a good understanding of customer requirements is of paramount importance. This paper presents an approach for developing requirements engineering method that takes distinguishing features of pervasive services into account and that is based on fundamental insights in design methodology