مشخصات کتاب

Objektorientierte Spezifikation von Informationssystemen

ویرایش: 1 
نویسندگان: Dr. Gunter Saake (auth.)  
سری: TEUBNER-TEXTE zur Informatik 
ISBN (شابک) : 9783815420546, 9783322953704 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1993 
تعداد صفحات: 248 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت 

کلمات کلیدی مربوط به کتاب مشخصات شی گرا سیستم های اطلاعاتی: مهندسی، عمومی

در صورت تبدیل فایل کتاب Objektorientierte Spezifikation von Informationssystemen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مشخصات شی گرا سیستم های اطلاعاتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مشخصات شی گرا سیستم های اطلاعاتی

موضوع این کتاب شرح رسمی سیستم های اطلاعاتی با روش های شی گرا می باشد. ما تمام سیستم های نرم افزاری پیچیده ای را که از ذخیره سازی دائمی داده ها در پایگاه داده و دسترسی تعاملی به اطلاعات ذخیره شده به عنوان سیستم های اطلاعاتی پشتیبانی می کنند، مشخص می کنیم. بنابراین این خصوصیات شامل بخش عمده ای از برنامه های کاربردی کامپیوتری است که در حال حاضر مورد استفاده عملی و در مرحله طراحی هستند و اهمیت روش های طراحی رسمی تایید شده برای چنین سیستم هایی در آینده افزایش خواهد یافت. در حالی که روش‌های توصیف رسمی در حوزه مشخصات برنامه‌های کلاسیک و پروتکل‌های ارتباطی در عین حال فرآیندهای تثبیت شده‌ای هستند، فرآیندهای غیررسمی در حال حاضر در حوزه مدل‌سازی سیستم‌های اطلاعاتی غالب هستند. اگر روش‌های رسمی واقعاً در این زمینه استفاده شوند، اغلب فقط جنبه جزئی کوچکی از کل سیستم را شامل می‌شوند، مانند مدل‌سازی اطلاعات ذخیره‌شده در قالب طرح‌واره‌ای از یک مدل داده. در این کتاب، یک رویکرد مبتنی بر رسمی برای مدل‌سازی شی‌گرا سیستم‌های اطلاعاتی ارائه شده است که مفاهیم مدل‌سازی به خوبی تثبیت شده از روش‌های غیررسمی تثبیت‌شده را ادغام می‌کند. ساختار کتاب به شرح زیر است. در فصل 1، اصطلاحات سیستم اطلاعات، مشخصات رسمی و توصیف شی گرا معرفی شده و به طور مختصر مشخص می شود. فصل دوم به طراحی مفهومی سیستم های اطلاعاتی می پردازد. الزامات کلی برای طراحی مفهومی مورد بحث قرار می گیرد و این الزامات با فرمالیسم های مشخصات تعیین شده مقایسه می شوند. یک بخش به طراحی مفهومی چند لایه اختصاص داده شده است که یک سیستم اطلاعاتی را در لایه‌های اطراف یک پایگاه داده مرکزی مدل می‌کند. پس از نقد کلی این رویکرد، ارجاع رویکرد طراحی کلاسیک به اصول طراحی شی گرا مورد بحث قرار می گیرد.

توضیحاتی درمورد کتاب به خارجی

Thema des vorliegenden Buches ist die formale Beschreibung von Informationssy stemen mit objektorientierten Methoden. Als Informationssysteme charakterisieren wir aIle komplexen Software-Systeme, die eine dauerhafte Datenhaltung in einer Da tenbank und interaktiven Zugang zu den gespeicherten Informationen unterstiitzen. Diese Charakterisierung umfaBt somit den gr6fiten Teil der aktuell praktisch einge setzten und im Entwurf befindlichen rechnergestiitzten Anwendungen, und die Be deutung auch formal abgesicherter Entwurfsmethoden wird fiir derartige Systeme in Zukunft noch zunehmen. Wahrend formale Beschreibungsmethoden im Bereich der klassischen Programm spezifikation und auch der Kommunikationsprotokolle inzwischen etablierte Verfah ren sind, dominieren moment an im Bereich der Modellierung von Informationssy stemen eher informelle Verfahren. Werden in diesem Gebiet tatsiichlich formale Me thoden eingesetzt, so beinhalten diese oft nur einen kleinen Teilaspekt des gesamten Systems, etwa die Modellierung der gespeicherten Information in Form eines Sche mas eines Datenmodells. 1m vorliegenden Buch wird ein formal basierter Ansatz zur objektorientierten Modellierung von Informationssystemen vorgestellt, der bewahrte Modellierungskonzepte der etablierten informellen Methoden integriert. Das Buch ist wie folgt aufgebaut. 1m Kapitel 1 werden die Begriffe Informati onssystem, formale Spezijikation und objektorientierte Beschreibung eingefiihrt und kurz charakterisiert. Kapitel 2 behandelt den konzeptionellen Entwurf von Infor mationssystemen. Es werden allgemeine Anforderungen an den konzeptionellen Ent wurf diskutiert und diese Anforderungen den etablierten Spezifikationsformalismen gegeniibergestellt. Ein Abschnitt ist dem mehrschichtigen konzeptionellen Entwurf, der ein Informationssystem in Schichten urn eine zentrale Datenbank herum model liert, gewidmet. Nach einer allgemeinen Kritik dieses Ansatzes wird der Bezug des klassischen Entwurfsansatzes zu objektorientierten Entwurfsprinzipien diskutiert.

فهرست مطالب

Front Matter....Pages 1-10
Einleitung....Pages 11-20
Konzeptioneller Entwurf....Pages 21-40
Formale Beschreibung von Objekten....Pages 41-86
Beziehungen zwischen Objekten....Pages 87-132
Objektgesellschaften....Pages 133-188
Vergleich mit anderen Ansätzen....Pages 189-218
Resümee und Ausblick....Pages 219-221
Back Matter....Pages 222-248

نظرات کاربران

کتاب های تصادفی

دانلود کتاب The Legend of St Brendan: A Comparative Study of the Latin and Anglo-Norman Versions (The Northern World)

دانلود کتاب Maschinenelemente. Entwerfen, Berechnen und Gestalten im Maschinenbau. Ein Lehr- und Arbeitsbuch: Zweiter Band: Getriebe

دانلود کتاب Parteiliche Kommunikation am politischen Wendepunkt: Der EU-Beitritt der Türkei in deutschen und türkischen Parlamentsdebatten

دانلود کتاب Fish diseases and medicine

دانلود کتاب Cross-Continental Agro-Food Chains Structures, Actors and Dynamics in the Global Food System (Routledge Studies in Human Geography)