Providers and consumers have to deal with variants of software services, which are alternative instances of a services design, implementation, deployment, or operation. This work develops the service feature modeling language to represent software service variants and a suite of methods to select variants for development or delivery. An evaluation describes the systems implemented to make use of service feature modeling and its application to two real-world use cases.

This book constitutes the refereed proceedings of the 9th International Conference on Service-Oriented Computing, ICSOC 2011, held in Paphos, Cyprus, in December 2011. The 54 revised papers presented were carefully reviewed and selected from 184 submissions. The papers are organized in topical sections on business process modeling, quality of service, formal methods, XaaS computing, service discovery, service security and trust, service runtime infrastructures and service applications.

This book constitutes the thoroughly refereed proceedings of five international workshops held in Ljubljana, Slovenia, in conjunction with the 28th International Conference on Advanced Information Systems Engineering, CAiSE 2016, in June 2016. The 16 full and 9 short papers were carefully selected from 51 submissions. The associated workshops were the Third International Workshop on Advances in Services DEsign based on the Notion of CApabiliy (ASDENCA) co-arranged with the First International Workshop on Business Model Dynamics and Information Systems Engineering (BumDISE), the Fourth International Workshop on Cognitive Aspects of Information Systems Engineering (COGNISE), the First International Workshop on Energy-awareness and Big Data Management in Information Systems (EnBIS), the Second International Workshop on Enterprise Modeling (EM), and the Sixth International Workshop on Information Systems Security Engineering (WISSE).

Service Level Agreements for Cloud Computing provides a unique combination of business-driven application scenarios and advanced research in the area of service-level agreements for Clouds and service-oriented infrastructures. Current state-of-the-art research findings are presented in this book, as well as business-ready solutions applicable to Cloud infrastructures or ERP (Enterprise Resource Planning) environments. Service Level Agreements for Cloud Computing contributes to the various levels of service-level management from the infrastructure over the software to the business layer, including horizontal aspects like service monitoring. This book provides readers with essential information on how to deploy and manage Cloud infrastructures. Case studies are presented at the end of most chapters. Service Level Agreements for Cloud Computing is designed as a reference book for high-end practitioners working in cloud computing, distributed systems and IT services. Advanced-level students focused on computer science will also find this book valuable as a secondary text book or reference.

The goal of the International Conference on Software Composition is to advance the state of research on modularity and reuse in the context of software development based on components, services, features, or models. Software composition is becoming more and more important as innovation in software engineering shifts from the development of individual components to their reuse and recombination in novel ways. To this end, for the 2010 edition, researchers were solicited to contribute on topics such as component adaptation techniques, composition languages, modeling, as well as emerging composition techniques such as aspect-oriented programming, servi- oriented architectures, and mashups. In line with previous editions of SC, contri- tions were sought focusing on both theory and practice, with a particular interest in efforts relating them. This LNCS volume contains the proceedings of the 9th International Conference on Software Composition, which was held during July 1–2, 2010, as a collocated event of the TOOLS 2010 Federated Conferences, in Malaga, Spain.

The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the development of software-intensive systems from - dependently developed software-building blocks (components), the development of components, and system maintenance and improvement by means of com- nent replacement and customization. The aim of the conference is to promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. In line with a broad interest, CBSE 2010 received 48 submissions. From these submissions, 14 were accepted after a careful peer-review process followed by an online program committee discussion. This resulted in an acceptance rate of 29%. The selected technical papers are published in this volume. For the fourth time, CBSE 2010 was held as part of the conference series: Fed- ated Events on Component-Based Software Engineering and Software Archit- ture (COMPARCH). The federated events were: the 13th International S- posium on Component-Based Software Engineering (CBSE 2010), the 6th - ternational Conference on the Quality of Software Architectures (QoSA 2010), andthe1stInternationalSymposium onArchitecting CriticalSystems(ISARCS 2010). Together with COMPARCH’s Industrial Experience Report Track and the co-located Workshop on Component-Oriented Programming (WCOP 2010), COMPARCH provided a broad spectrum of events related to components and architectures.

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as SDL and related languages; testing; and services and components to a wide range presentations of domain specific languages and applications, going from use maps to train station models or user interfaces for scientific dataset editors for high performance computing.

Ambient intelligence (AmI) is an element of pervasive computing that brings smartness to living and business environments to make them more sensitive, adaptive, autonomous and personalized to human needs. It refers to intelligent interfaces that recognise human presence and preferences, and adjust smart environments to suit their immediate needs and requirements. The key factor is the presence of intelligence and decision-making capabilities in IoT environments. The underlying technologies include pervasive computing, ubiquitous communication, seamless connectivity of smart devices, sensor networks, artificial intelligence (AI), machine learning (ML) and context-aware human-computer interaction (HCI). AmI applications and scenarios include smart homes, autonomous self-driving vehicles, healthcare systems, smart roads, the industry sector, smart facilities management, the education sector, emergency services, and many more. The advantages of AmI in the IoT environment are extensive. However, as for any new technological paradigm, there are also many open issues and limitations. This book discusses the AmI element of the IoT and the relevant principles, frameworks, and technologies in particular, as well as the benefits and inherent limitations. It reviews the state of the art of current developments relating to smart spaces and AmI-based IoT environments. Written by leading international researchers and practitioners, the majority of the contributions focus on device connectivity, pervasive computing and context modelling (including communication, security, interoperability, scalability, and adaptability). The book presents cutting-edge research, current trends, and case studies, as well as suggestions to further our understanding and the development and enhancement of the AmI-IoT vision.

This book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th International Conference on Model Driven Engineering Languages and Systems, in Toulouse, France, September 28 - October 3, 2008. The contributions are organized within the volume according to the workshops at which they were presented: Model Based Architecting and Construction of Embedded Systems (ACES-MB); Challenges in Model Driven Software Engineering (CHAMDE); Empirical Studies of Model Driven Engineering (ESMDA); Models@runtime; Model Co-evolution and Consistency Management (MCCM); Model-Driven Web Engineering (MDWE); Modeling Security (MODSEC); Model-Based Design of Trustworthy Health Information Systems (MOTHIS); Non-functional System Properties in Domain Specific Modeling Languages (NFPin DSML); OCL Tools: From Implementation to Evaluation and Comparison (OCL); Quality in Modeling (QIM); and Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE). Each section includes a summary of the workshop. The last three sections contain selected papers from the Doctoral Symposium, the Educational Symposium and the Research Project Symposium, respectively.