| 書(shū)目名稱 | Rigorous Software Engineering for Service-Oriented Systems | | 副標(biāo)題 | Results of the SENSO | | 編輯 | Martin Wirsing,Matthias H?lzl | | 視頻video | http://file.papertrans.cn/831/830398/830398.mp4 | | 概述 | High-quality selected papers.Covers state-of-the-art research.Uniquely high-profile | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | 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 an | | 出版日期 | Book 2011 | | 關(guān)鍵詞 | formal methods; model transformation; model-driven systems development; service engineering; service-ori | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-20401-2 | | isbn_softcover | 978-3-642-20400-5 | | isbn_ebook | 978-3-642-20401-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer Berlin Heidelberg 2011 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-21 04:37
發(fā)表于 2025-3-21 16:13:59
