Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement PDF full book. Access full book title Deriving Object-Oriented Specifications from Algebraic Specifications through Refinement by Bastian Dölle. Download full books in PDF and EPUB format.
Author: Bastian Dölle
Publisher: Cuvillier Verlag
ISBN: 3867274525
Category :
Languages : en
Pages : 173
Get Book Here
Book Description
Author: Bastian Dölle
Publisher: Cuvillier Verlag
ISBN: 3867274525
Category :
Languages : en
Pages : 173
Get Book Here
Book Description
Author: Bastian Dölle
Publisher: Cuvillier Verlag
ISBN: 3736924526
Category : Mathematics
Languages : en
Pages : 173
Get Book Here
Book Description
This thesis presents a formal method how to refine algebraic specifications into object-oriented specifications in a systematic way. Thereby, we highlight the conceptual differences between algebraic specifications and object-oriented modeling. The correctness of the refinement step is established by preserving the models of the algebraic specification respecting a natural semantic relation. The thesis also comprises a basic system model for object-oriented systems and a comprehensive case study demonstrating the refinement step. Moreover, we survey the prototype system ASIOS which is an interactive tool mechanizing the transformation of algebraic specifications into object-oriented specifications. The basic system model for object-oriented systems serves to precisely define the semantics of object-oriented specifications. This way, it lays the formal foundation for the proof of the correctness of the transformation. The applicability of the transformation is demonstrated by a case study using the well-known abstract data type "stacks of natural numbers''. We investigate the transformation for characteristic design choices of the respective design space, and we present object-oriented classes which provide interpretations for the resulting object-oriented specifications. Furthermore, we give an implementation of each of these classes in the object-oriented programming language JAVA. All transformation procedures have been implemented in the prototype system ASIOS. The tool supports the transformation process with a graphical user interface providing the necessary guidance for the programmer in making various design choices. ASIOS includes an editor for entering algebraic specifications in CASL notation which is realized as an Eclipse plug-in. The tool results with UML class diagrams and sequence diagrams that can be exported as XMI files. The thesis shows that algebraic specifications can be refined into object-oriented specifications in a profound way. The transformation bridges the gap between functional specification concepts and object-oriented modeling techniques, and thus contributes to a better understanding of object-oriented software construction. Moreover, an important area of application comprises the mechanized top-down development of software components.
Author: Joseph M. Morris
Publisher: Springer Science & Business Media
ISBN: 1447137566
Category : Mathematics
Languages : en
Pages : 488
Get Book Here
Book Description
This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991. The term refinement embraces the theory and practice of using formal methods for specifying and implementing hardware and software. Most of the achievements to date in the field have been in developing the theoretical framework for mathematical approaches to programming, and on the practical side in formally specifying software, while more recently we have seen the development of practical approaches to deriving programs from their speCifications. The workshop gives a fair picture of the state of the art: it presents new theories for reasoning about software and hardware and case studies in applying known theory to interesting small-and medium-scale problems. We hope the book will be Of interest both to researchers in formal methods, and to software engineers in industry who want to keep abreast of possible applications of formal methods in industry. The programme consisted both of invited talks and refereed papers. The invited speakers were Ib S0rensen, Jean-Raymond Abrial, Donald MacKenzie, Ralph Back, Robert Milne, Mike Read, Mike Gordon, and Robert Worden who gave the introductory talk. This is the first refinement workshop that solicited papers for refereeing, and despite a rather late call for papers the response was excellent.
Author: Ruth Breu
Publisher: Springer Science & Business Media
ISBN: 9783540549727
Category : Computers
Languages : en
Pages : 248
Get Book Here
Book Description
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.
Author: Mehdi Khosrow-Pour
Publisher: IGI Global Snippet
ISBN: 9781605660264
Category : Computers
Languages : en
Pages : 4292
Get Book Here
Book Description
"This set of books represents a detailed compendium of authoritative, research-based entries that define the contemporary state of knowledge on technology"--Provided by publisher.
Author: Magne Haveraaen
Publisher: Springer Science & Business Media
ISBN: 9783540616290
Category : Computers
Languages : en
Pages : 568
Get Book Here
Book Description
This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.
Author: Hong Mei
Publisher: Springer
ISBN: 9811025460
Category : Computers
Languages : en
Pages : 459
Get Book Here
Book Description
This book presents a comprehensive introduction to Internetware, covering aspects ranging from the fundamental principles and engineering methodologies to operational platforms, quality measurements and assurance and future directions. It also includes guidelines and numerous representative real-world case studies that serve as an invaluable reference resource for software engineers involved in the development of Internetware applications. Providing a detailed analysis of current trends in modern software engineering in the Internet, it offers an essential blueprint and an important contribution to the research on software engineering and systems for future Internet computing.
Author: Egon Börger
Publisher: Springer Science & Business Media
ISBN: 364218216X
Category : Computers
Languages : en
Pages : 441
Get Book Here
Book Description
Author: Egidio Astesiano
Publisher: Springer Science & Business Media
ISBN: 364259851X
Category : Computers
Languages : en
Pages : 626
Get Book Here
Book Description
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.
Author: Ana Cavalcanti
Publisher: Springer
ISBN: 3540462546
Category : Computers
Languages : en
Pages : 402
Get Book Here
Book Description
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The seven tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The courses cover a wide spectrum of topics.
