Algebraic Specification Techniques in Object Oriented Programming Environments

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

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.