𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Rigorous Software Engineering for Service-Oriented Systems Volume 6582 || An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems

✍ Scribed by Wirsing, Martin; Hölzl, Matthias


Book ID
121648183
Publisher
Springer Berlin Heidelberg
Year
2011
Tongue
English
Weight
494 KB
Edition
1
Category
Article
ISBN
3642204015

No coin nor oath required. For personal study only.

✦ Synopsis


Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical benefits of this approach. Furthermore it raises the standard for reliability, security, and performance for IT providers, system integrators, and software developers. This book documents the main results of Sensoria, an Integrated Project funded by the European Commission in the period 2005-2010. The book presents, as Sensoria's essence, a novel, coherent, and comprehensive approach to the design, formal analysis, automated deployment, and reengineering of service-oriented applications. Following a motivating introduction, the 32 chapters are organized in the following topical parts: modeling in service-oriented architectures; calculi for service-oriented computing; negotiation, planning, and reconfiguration; qualitative analysis techniques for SOC; quantitative analysis techniques for SOC; model-driven development and reverse engineering for service-oriented systems; and case studies and patterns.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Soft
✍ Cheng, Betty H. C.; de Lemos, Rogério; Giese, Holger; Inverardi, Paola; Magee, J 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 486 KB

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of future software systems that are able to self-adapt to changes that may occ

[Lecture Notes in Computer Science] Soft
✍ Cheng, Betty H. C.; de Lemos, Rogério; Giese, Holger; Inverardi, Paola; Magee, J 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 422 KB

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of future software systems that are able to self-adapt to changes that may occ