دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.) سری: Lecture Notes in Computer Science 6582 : Programming and Software Engineering ISBN (شابک) : 9783642204005, 9783642204012 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 746 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 17 مگابایت
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار دقیق برای سیستم های سرویس گرا: نتایج پروژه SENSORIA در مهندسی نرم افزار برای محاسبات سرویس گرا: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار دقیق برای سیستم های سرویس گرا: نتایج پروژه SENSORIA در مهندسی نرم افزار برای محاسبات سرویس گرا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
محاسبات سرویس گرا الگویی برای توسعه و ارائه نرم افزار است که می تواند بسیاری از چالش های فناوری اطلاعات، از یکپارچه سازی سیستم های قدیمی تا ساختن سیستم ها و برنامه های کاربردی جدید، به طور گسترده، قابل اجرا و قابل ارزیابی را برطرف کند. استفاده گسترده از SOC مزایای عملی این رویکرد را نشان می دهد. علاوه بر این، استانداردهای قابلیت اطمینان، امنیت و عملکرد را برای ارائه دهندگان فناوری اطلاعات، یکپارچه سازان سیستم و توسعه دهندگان نرم افزار افزایش می دهد. این کتاب نتایج اصلی Sensoria، یک پروژه یکپارچه که توسط کمیسیون اروپا در دوره 2005-2010 تامین شده است را مستند می کند. این کتاب به عنوان جوهر Sensoria، رویکردی بدیع، منسجم و جامع را برای طراحی، تجزیه و تحلیل رسمی، استقرار خودکار و مهندسی مجدد برنامههای کاربردی سرویسمحور ارائه میدهد. پس از یک مقدمه انگیزشی، 32 فصل در بخشهای موضوعی زیر سازماندهی شدهاند: مدلسازی در معماریهای سرویسگرا. محاسبات برای محاسبات سرویس گرا. مذاکره، برنامه ریزی و پیکربندی مجدد؛ تکنیک های تحلیل کیفی برای SOC. تکنیک های تجزیه و تحلیل کمی برای SOC. توسعه مدل محور و مهندسی معکوس برای سیستم های سرویس گرا. و مطالعات موردی و الگوها.
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.
Front Matter....Pages -
Sensoria – Software Engineering for Service-Oriented Overlay Computers....Pages 1-14
A Unifying Formal Basis for the Sensoria Approach: A White Paper....Pages 15-25
Introduction to the Sensoria Case Studies....Pages 26-34
UML Extensions for Service-Oriented Systems....Pages 35-60
The Sensoria Reference Modelling Language....Pages 61-114
Model-Driven Development of Adaptable Service-Oriented Business Processes....Pages 115-132
A Formal Support to Business and Architectural Design for Service-Oriented Systems....Pages 133-152
Core Calculi for Service-Oriented Computing....Pages 153-188
Behavioral Theory for Session-Oriented Calculi....Pages 189-213
Static Analysis Techniques for Session-Oriented Calculi....Pages 214-231
Call-by-Contract for Service Discovery, Orchestration and Recovery....Pages 232-261
CC-Pi: A Constraint Language for Service Negotiation and Composition....Pages 262-281
Advanced Mechanisms for Service Composition, Query and Discovery....Pages 282-301
Advanced Mechanisms for Service Combination and Transactions....Pages 302-325
Model-Driven Development of Long Running Transactions....Pages 326-348
Hierarchical Models for Service-Oriented Systems....Pages 349-368
Analysing Protocol Stacks for Services....Pages 369-389
An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems....Pages 390-407
Tools and Verification....Pages 408-427
Specification and Analysis of Dynamically-Reconfigurable Service Architectures....Pages 428-446
SoSL : A Service-Oriented Stochastic Logic....Pages 447-466
Evaluating Service Level Agreements Using Observational Probes....Pages 467-485
Scaling Performance Analysis Using Fluid-Flow Approximation....Pages 486-505
Passage-End Analysis for Analysing Robot Movement....Pages 506-521
Quantitative Analysis of Services....Pages 522-540
Methodologies for Model-Driven Development and Deployment: An Overview....Pages 541-560
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis....Pages 561-584
Runtime Support for Dynamic and Adaptive Service Composition....Pages 585-603
Legacy Transformations for Extracting Service Components....Pages 604-621
The Sensoria Development Environment....Pages 622-639
Specification and Implementation of Demonstrators for the Case Studies....Pages 640-654
Sensoria Results Applied to the Case Studies....Pages 655-677
Analysing Robot Movement Using the Sensoria Methods....Pages 678-697
The Sensoria Approach Applied to the Finance Case Study....Pages 698-718
Sensoria Patterns....Pages 719-736
Back Matter....Pages -