دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Open Object-based Distributed Systems
دانلود کتاب روش‌های رسمی برای سیستم‌های توزیع شده مبتنی بر شی باز
مشخصات کتاب
Formal Methods for Open Object-based Distributed Systems
ویرایش:
نویسندگان: Elie Najm. Jean-Bernard Stefani (eds.)
سری: IFIP Advances in Information and Communication Technology
ISBN (شابک) : 9781504128759, 9780387350820
ناشر: Springer US
سال نشر: 1997
تعداد صفحات: 408
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 39 مگابایت
قیمت کتاب (تومان) : 44,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب روش‌های رسمی برای سیستم‌های توزیع شده مبتنی بر شی باز: مهندسی نرم افزار/برنامه نویسی و سیستم عامل، شبکه های ارتباطی کامپیوتری، پردازش سیگنال، تصویر و گفتار
در صورت تبدیل فایل کتاب Formal Methods for Open Object-based Distributed Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی برای سیستم‌های توزیع شده مبتنی بر شی باز نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌های رسمی برای سیستم‌های توزیع شده مبتنی بر شی باز
محاسبات توزیع شده مبتنی بر شی به عنوان مناسب ترین پایه برای پشتیبانی از محاسبات ناهمگن و سیستم های مخابراتی بزرگ در حال ایجاد است. ظهور سیستم های توزیع شده مبتنی بر شی باز (OODS) چالش ها و فرصت های جدیدی را برای استفاده و توسعه روش های رسمی به ارمغان می آورد. روش‌های رسمی برای سیستم‌های توزیع شده مبتنی بر شی باز، آخرین تحقیقات را در چندین زمینه مرتبط، و تبادل ایده‌ها و تجربیات در تعدادی از موضوعات از جمله: مدل‌های رسمی برای محاسبات توزیع‌شده مبتنی بر شی. معناشناسی سیستم های توزیع شده مبتنی بر شی و زبان های برنامه نویسی؛ تکنیک های رسمی در مشخصات، تجزیه و تحلیل و طراحی مبتنی بر شی و شی گرا. اصلاح و تغییر مشخصات؛ مدل‌سازی چند دیدگاه و سازگاری بین مدل‌های مختلف؛ تکنیک های رسمی در تأیید و آزمایش سیستم های توزیع شده؛ انواع، انواع خدمات و تایپ فرعی؛ مشخصات، تأیید و آزمایش محدودیت‌های کیفیت خدمات و روش‌های رسمی و چرخه عمر شی. این شامل مجموعه مقالات منتخب کارگاه بین‌المللی روش‌های رسمی برای سیستم‌های توزیع شده مبتنی بر شی باز است که توسط فدراسیون بین‌المللی پردازش اطلاعات حمایت می‌شود و در پاریس، فرانسه، در مارس 1996 مستقر است.
توضیحاتی درمورد کتاب به خارجی
Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and object oriented specification, analysis and design; refinement and transformation of specifications; multiple viewpoint modeling and consistency between different models; formal techniques in distributed systems verification and testing; types, service types and subtyping; specification, verification and testing of quality of service constraints and formal methods and the object life cycle. It contains the selected proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems, sponsored by the International Federation for Information Processing, and based in Paris, France, in March 1996.
فهرست مطالب
Front Matter....Pages i-x
Front Matter....Pages 1-1
Processes, Types, and Observations....Pages 3-3
Types for Active Objects Based on Trace Semantics....Pages 4-19
A type description language supporting interoperability in open distributed systems....Pages 20-35
Describing behaviour in interfaces....Pages 36-43
Front Matter....Pages 45-45
Formalizing Fusion Object-Oriented Analysis Models....Pages 47-62
An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols....Pages 63-78
Introducing formal notations in the development of object-based distributed applications....Pages 79-95
Front Matter....Pages 97-97
Refinement of Distributed Object Systems....Pages 99-114
Some Specification and Proof Steps of a Spanning Tree Algorithm with an Object-Oriented Method....Pages 115-131
Front Matter....Pages 133-133
Abstracting Interaction Patterns: A Programming Paradigm for Open Distributed Systems....Pages 135-153
Interaction Semantics for Components of Distributed Systems....Pages 154-169
Using Actors as a computational model for OOram....Pages 170-177
An Example for Concurrent Reflective Computations in Rewriting Logic....Pages 178-185
Front Matter....Pages 187-187
Viewpoint consistency in ODP, a general interpretation....Pages 189-204
Specification of composite objects based on the ODP Reference Model....Pages 205-220
An experience modelling telecommunications systems using ODP-DLcomp....Pages 221-228
Front Matter....Pages 229-229
Advantages of Formal Specifications: A Case Study of Replication in Lotus Notes....Pages 231-244
CPN Modelling of an Object Based System: The ODP Trader....Pages 245-260
An object-oriented description of services in a distributed system....Pages 261-268
Front Matter....Pages 269-269
Formalizing Composable Software Systems — A Research Agenda....Pages 271-282
Front Matter....Pages 269-269
Towards a calculus for generative communication....Pages 283-297
Omicron, An Object-Oriented Calculus....Pages 298-314
A stream-based mathematical model for distributed information processing systems - the SysLab system model -....Pages 315-322
Front Matter....Pages 323-323
Formal Specification and Design of Distributed Systems....Pages 325-340
Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling....Pages 341-356
Expressing Runtime Structure and Synchronisation in Concurrent OO Languages with MONSTR....Pages 357-372
Front Matter....Pages 373-373
Specifying ODP Computational Objects in Z....Pages 375-390
Can a flat notation be used to specify an OO system: using Z to describe RM-ODP constructs....Pages 391-398
Supporting ODP - Translating LOTOS to Z....Pages 399-406
Back Matter....Pages 407-411
