This book presents a design methodology that is practically applicable to the architectural design of a broad range of systems. It is based on fundamental design concepts to conceive and specify the required functional properties of a system, while abstracting from the specific implementation functions and technologies that can be chosen to build the system. Abstraction and precision are indispensable when it comes to understanding complex systems and precisely creating and representing them at a high functional level. Once understood, these concepts appear natural, self-evident and extremely powerful, since they can directly, precisely and concisely reflect what is considered essential for the functional behavior of a system. The first two chapters present the global views on how to design systems and how to interpret terms and meta-concepts. This informal introduction provides the general context for the remainder of the book. On a more formal level, Chapters 3 through 6 present the main basic design concepts, illustrating them with examples. Language notations are introduced along with the basic design concepts. Lastly, Chapters 7 to 12 discuss the more intricate basic design concepts of interactive systems by focusing on their common functional goal. These chapters are recommended to readers who have a particular interest in the design of protocols and interfaces for various systems. The didactic approach makes it suitable for graduate students who want to develop insights into and skills in developing complex systems, as well as practitioners in industry and large organizations who are responsible for the design and development of large and complex systems. It includes numerous tangible examples from various fields, and several appealing exercises with their solutions.

The Cloud Computing and Services Science book comprises a collection of the best papers presented at the International Conference on Cloud Computing and Services Science (CLOSER), which was held in The Netherlands in May 2011. In netting papers from the conference researchers and experts from all over the world explore a wide-ranging variety of the emerging Cloud Computing platforms, models, applications and enabling technologies. Further, in several papers the authors exemplify essential links to Services Science as service development abstraction, service innovation, and service engineering, acknowledging the service-orientation in most current IT-driven structures in the Cloud.

The Cloud Computing and Services Science book is organized around important dimensions of technology trends in the domain of cloud computing in relation to a broad scientific understanding of modern services emerging from services science. The papers of this book are inspired by scholarly and practical work on the latest advances related to cloud infrastructure, operations, security, services, and management through the global network. This book includes several features that will be helpful, interesting, and inspirational to students, researchers as well as practitioners. Professionals and decision makers working in this field will also benefit from this book

The present book includes extended and revised versions of a set of selected papers presented at the 18th International Joint Conference on e-Business and Telecommunications, ICETE 2021, held as an online web-based event (due to the COVID-19 pandemic) in July 2021. The 17 full papers included in this book were carefully reviewed and selected from 197 submissions. They were organized in topical sections as follows: e-Business and security and cryptography.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017. The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and maintenance; development methods and models; systems security; dynamic software updates; systems integration; business process modelling; intelligent problem solving; multi-agent systems; and solutions involving big data, the Internet of Things and business intelligence.

This book presents a design methodology that is practically applicable to the architectural design of a broad range of systems. It is based on fundamental design concepts to conceive and specify the required functional properties of a system, while abstracting from the specific implementation functions and technologies that can be chosen to build the system. Abstraction and precision are indispensable when it comes to understanding complex systems and precisely creating and representing them at a high functional level. Once understood, these concepts appear natural, self-evident and extremely powerful, since they can directly, precisely and concisely reflect what is considered essential for the functional behavior of a system. The first two chapters present the global views on how to design systems and how to interpret terms and meta-concepts. This informal introduction provides the general context for the remainder of the book. On a more formal level, Chapters 3 through 6 present the main basic design concepts, illustrating them with examples. Language notations are introduced along with the basic design concepts. Lastly, Chapters 7 to 12 discuss the more intricate basic design concepts of interactive systems by focusing on their common functional goal. These chapters are recommended to readers who have a particular interest in the design of protocols and interfaces for various systems. The didactic approach makes it suitable for graduate students who want to develop insights into and skills in developing complex systems, as well as practitioners in industry and large organizations who are responsible for the design and development of large and complex systems. It includes numerous tangible examples from various fields, and several appealing exercises with their solutions.

This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy Embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems

This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015. The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; software engineering methods and techniques; distributed and mobile software systems.

This book constitutes the proceedings of the 6th International IFIP Working Conference on Enterprise Interoperability, IWEI 2015, held in Nimes, France, in May 2015. The event was organized by the IFIP Working Group 5.8 on Enterprise Interoperability in co-operation with INTEROP-VLab and PGSO (Pole Grand Sud Ouest) from INTEROP-Vlab. The theme for IWEI 2015 was "From Enterprise Interoperability Modelling and Analysis to Enterprise Interoperability Engineering." The nine full, four short, and two industrial papers presented in this volume were carefully selected from 20 submissions. The selection was based on a thorough review process, in which each paper was reviewed by at least three experts in the field. The papers are representative of the current research activities in the area of enterprise interoperability. They cover a wide spectrum of enterprise interoperability issues, including foundational theories, frameworks, architectures, methods and guidelines, and applications and case studies.

This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Software and Data Technologies, ICSOFT 2012, held in Rome, Italy, in July 2012. The 14 revised full papers presented were carefully reviewed and selected from 127 submissions. The papers focus on the following research topics and applications: programming issues, theoretical aspects of software engineering, management information systems, distributed systems, ubiquity, data interoperability, context understanding.

The Cloud Computing and Services Science book comprises a collection of the best papers presented at the International Conference on Cloud Computing and Services Science (CLOSER), which was held in The Netherlands in May 2011. In netting papers from the conference researchers and experts from all over the world explore a wide-ranging variety of the emerging Cloud Computing platforms, models, applications and enabling technologies. Further, in several papers the authors exemplify essential links to Services Science as service development abstraction, service innovation, and service engineering, acknowledging the service-orientation in most current IT-driven structures in the Cloud.

The Cloud Computing and Services Science book is organized around important dimensions of technology trends in the domain of cloud computing in relation to a broad scientific understanding of modern services emerging from services science. The papers of this book are inspired by scholarly and practical work on the latest advances related to cloud infrastructure, operations, security, services, and management through the global network. This book includes several features that will be helpful, interesting, and inspirational to students, researchers as well as practitioners. Professionals and decision makers working in this field will also benefit from this book

This book constitutes the proceedings of the 5th International IFIP Working Conference on Enterprise Interoperability (IWEI 2013), held in Enschede, The Netherlands, during March 27-28, 2013. The theme for IWEI 2013 was "Information Services and Processes for the Interoperable Economy and Society."

The 15 full papers presented in this volume were carefully selected from 35 submissions. The selection was based on a thorough review process, in which each paper was reviewed by at least three experts in the field. The papers are representative of the current research activities in the area of enterprise interoperability and are grouped into six sections: enterprise service interoperability, enterprise interoperability in sectors, interoperability methodology, interoperability for specific application types, strategic and tactical aspects of enterprise interoperability, and ontology-based interoperability. Two keynotes and an invited paper complete this volume.

One of the trends in the global market is the increasing collaboration among ent- prises. Constant changes in inter- and intra-organizational environments will persist in the future. Organizations have to flexibly and continuously react to (imminent) changes in markets and trading partners. Large companies but also SMEs have to cope with internal changes from both a technical (e.g., new information, communi- tion, software and hardware technologies) and an organizational point of view (e.g., merging, re-organization, virtual organizations, etc.). In this context, the competiti- ness of an enterprise depends not only on its internal performance to produce products and services, but also on its ability to seamlessly interoperate with other enterprises. External and internal collaborative work needs more interoperable solutions. The International Workshop on Enterprise Interoperability, IWEI, aims at identi- ing and discussing challenges and solutions with respect to enterprise interoperability, both at the business and the technical level. The workshop promotes the development of a scientific foundation for specifying, analyzing and validating interoperability solutions; an architectural framework for addressing interoperability problems from different viewpoints and at different levels of abstraction; a maturity model to eva- ate and rank interoperability solutions with respect to distinguished quality criteria; and a working set of practical solutions and tools that can be applied to interoperab- ity problems to date. IWEI is organized by the IFIP Working Group 5.8 on Enterprise Interoperability.

This volume presents carefully revised texts of selected lectures given at the 13th EUNICE Open European Summer School and the proceedings of the conjoint IFIP TC6.6 Workshop on Dependable and Adaptable Networks and Services, EUNICE 2007, held at the University of Twente in Enschede, The Netherlands, in July 2007.

The 17 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on middleware and supportive services, context-awareness, voice over IP, user behavior, security and legal aspects, performance aspects, and novel architectures.

This book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11–13, 2022.  The 10 full papers included in this book were carefully reviewed and selected from 102 submissions. They were organized in topical sections as follows: tool assisted empirical approach to reusability models assessment; functional programming; three forms of mutant subsumption: basic, strict and broad; and on the efficiency of building large collections of software: modeling, algorithms, and experimental results.

This book constitutes the refereed proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Virtual Event, July 6-8, 2021. The conference was held virtually due to the COVID-19 crisis. The 10 full papers included in this book were carefully reviewed and selected from 117 submissions.

This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019. The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Joint Conference on Software Technologies, ICSOFT 2018, held in Porto, Portugal, in July 2018. The 18 revised full papers were carefully reviewed and selected from 117 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.

This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014. The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies; software engineering and systems security; distributed systems; and software project management.

This book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The 19 revised full papers presented were carefully reviewed and selected from 121 paper submissions. The papers focus on the following research topics and applications: new software paradigm trends and mainstream software engineering and applications.

This book constitutes the proceedings of the Fourth International IFIP Working Conference on Enterprise Interoperability (IWEI 2012), held in Harbin, China, September 6-7, 2012. The theme for IWEI 2012 was "Collaboration, Interoperability and Services for Networked Enterprises," so submissions and discussions focused on these three areas critical for enterprise interoperability.

The 10 full papers, 3 short papers, and 4 invited papers presented in this volume were carefully selected from 21 submissions, following a thorough reviewing process, during which each paper was scrutinized by at least three experts in the field. The papers cover a wide spectrum of enterprise interoperability issues, ranging from foundational theories, frameworks, architectures, methods and guidelines to applications, and case studies. In addition, this volume also includes the two invited keynotes.

The 10 full papers, 3 short papers, and 4 invited papers presented in this volume were carefully selected from 21 submissions, following a thorough reviewing process, during which each paper was scrutinized by at least three experts in the field. The papers cover a wide spectrum of enterprise interoperability issues, ranging from foundational theories, frameworks, architectures, methods and guidelines to applications, and case studies. In addition, this volume also includes the two invited keynotes.

This book constitutes the proceedings of theThird International IFIP Working Conference on Enterprise Interoperability (IWEI 2011), held in Stockholm, Sweden, March 23-24, 2011.

The special theme chosen for IWEI 2011 was Interoperability and Future Internet for Next-Generation Enterprises . Thus special attention was given to how the interoperability needs of enterprises will be shaped and supported by the emerging Future Internet.

The 15 papers presented in this volume were carefully selected from 47 submissions, based on a thorough reviewing process in which each paper was scrutinized by at least three experts in the field. The papers cover a wide spectrum of enterprise interoperability issues, ranging from foundational theories, frameworks, architectures, methods and guidelines to applications and case studies. This volume also includes the abstracts of the two invited talks on challenges for future networked enterprise systems.