Chris A. Vissers
was a full professor at the University of Twente (UT), the Netherlands, where he established and managed the Tele- Informatics and Open Systems group, responsible for research and teaching in distributed ICT systems. His personal interests are in architecture, in the formal approach to design and specification methodologies, and in industry and business applications. From 1992 to 2006 he organized and managed the Telematics Institute (TI) as its Scientific and General Director. He acted as the OSI- Reporteur on Formal Description Techniques, guiding the LOTOS (IS8807) and Estelle (IS9074) standards development groups.

Luís Ferreira Pires
is Associate Professor at UT. His research interests include design methodologies for distributed systems, architecture of distributed systems, modelling and specification techniques, middleware platforms and telematics applications. More recently he has been working on the application of Model-Driven Engineering (MDE) and Semantic web technologies to the design of context-aware applications and services, and to (dynamic) service composition. He contributed to various national and international research projects, co-authored more than 150 research papers in international conferences, workshops and journals, and is currently Education Director of the "Business Information Technology" Education Programme of the University of Twente.

Dick A. C. Quartel
is senior research consultant and team leader of the R&D department at BiZZdesign. In this capacity he supports, coordinates and contributes to the development of new and existing solutions in the areas of enterprise architecture, enterprise portfolio management, strategy implementation and business process management. He contributed to several national projects in these areas, with BiZZdesign often as partner or sponsor.

Marten J. van Sinderen
is associate professor at UT. From 1997 to 2000 he was senior researcher at UT's Centre for Telematics and Information Technology, and from 2000 to 2004 he chaired the Architecture and Services of Networked Applications group. Currently he is with the Services, Cybersecurity and Safety group. His research focuses on the design of networked information systems, particularly next-generation collaborative enterprises and smart systems and services. He managed and participated in several national and international research projects and co-authored more than 150 research papers, was chair of the Steering Committee of the EDOC Conference on Enterprise Computing (2011-2013), and is currently chair of the International Conference on e-Business (ICE-B) and co-chair of the International Joint Conference on Software Technologies (ICSOFT).

Presents a design methodology for complex interactive systems that is both practically applicable and theoretically sound

Includes numerous examples, exercises and solutions, and lots of additional questions and answers

Ideal for both teaching and self-study thanks to its didactic approach

Includes supplementary material: [...]

1. Systems and Systems Design.- 2. Design Models and Design Languages.- 3. Basic Design Concepts.- 4. Behaviour Modelling with Casually Related Actions.- 5. Behaviour Structuring.- 6. Interaction Refinement and Abstraction.- 7. Interaction Systems.- 8. Service Design.- 9. Service Elements.- 10. Protocol Design.- 11. Protocol Elements.- 12. Reference Models and Standard Interaction Systems.