Download or read book Information Systems correctness And Reusability Selected Papers Form The Is core Workshop written by Roel J Wieringa and published by World Scientific. This book was released on 1995-06-09 with total page 302 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic specification. Applications include information systems, distributed systems, and real-time systems. One of the major themes in the book is the motivation to bring formal specification techniques one step further towards realistic applications.
Download or read book Logic And Software Engineering Proceedings Of The International Workshop In Honor Of Chih sung Tang written by Amir Pnueli and published by World Scientific. This book was released on 1996-10-25 with total page 322 pages. Available in PDF, EPUB and Kindle. Book excerpt: This workshop brought together top researchers in logic and software engineering in the unique occasion of celebrating the 70th birthday of Professor C S Tang who has devoted much of his long research career to establishing a solid logic foundation for software engineering.
Download or read book Recent Trends in Data Type Specification written by Magne Haveraaen and published by Springer Science & Business Media. This book was released on 1996-09-04 with total page 568 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Advanced Information Systems Engineering written by Panos Constantopoulos and published by Springer Science & Business Media. This book was released on 1996-05-03 with total page 600 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the refereed proceedings of the 8th International Conference on Advanced Information Systems Engineering, CAiSE '96, held in Herakleion, Crete, Greece, in May 1996. The 30 revised full papers included in the book were selected from a total of some 100 submissions. The book is organised in sections on CASE environments, temporal and active database technologies, experience reports, interoperability in information systems, formal methods in system development, novel architectures, workflow management and distributed information systems, information modelling, object-oriented database design, and semantic links and abstraction.
Download or read book Logics for Databases and Information Systems written by Jan Chomicki and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so it should be archived and some means to access it should be provided. Also, some data may be inherently historical, e.g., medical, cadastral, or ju dicial records. Temporal databases provide a uniform and systematic way of dealing with historical data. Many languages have been proposed for tem poral databases, among others temporal logic. Temporal logic combines ab stract, formal semantics with the amenability to efficient implementation. This chapter shows how temporal logic can be used in temporal database applica tions. Rather than presenting new results, we report on recent developments and survey the field in a systematic way using a unified formal framework [GHR94; Ch094]. The handbook [GHR94] is a comprehensive reference on mathematical foundations of temporal logic. In this chapter we study how temporal logic is used as a query and integrity constraint language. Consequently, model-theoretic notions, particularly for mula satisfaction, are of primary interest. Axiomatic systems and proof meth ods for temporal logic [GHR94] have found so far relatively few applications in the context of information systems. Moreover, one needs to bear in mind that for the standard linearly-ordered time domains temporal logic is not re cursively axiomatizable [GHR94]' so recursive axiomatizations are by necessity incomplete.
Download or read book Coordination Organizations Institutions and Norms in Agent Systems II written by Pablo Noriega and published by Springer. This book was released on 2007-08-17 with total page 375 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2006, held as two events at AAMAS 2006, the 5th International Joint Conference on Autonomous Agents and Multiagent Systems in Hakodate, Japan, and ECAI 2006, the 17th European Conference on Artificial Intelligence in Riva del Garda, Italy.
Download or read book Language Constructs for Describing Features written by Stephen Gilmore and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 238 pages. Available in PDF, EPUB and Kindle. Book excerpt: A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and academics, especially in the field of telecommunications, where new services are constantly being developed and deployed. This volume contains refereed papers resulting from the ESPRIT FIREworks working group. The papers focus on the language constructs which have been developed describing features, and advocate a feature-oriented approach to software design including requirements specification languages and verifications logics.
Download or read book Database Schema Evolution and Meta Modeling written by Herman Balsters and published by Springer. This book was released on 2003-06-29 with total page 254 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Ninth International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO) took place in Dagstuhl Germany, Sept- ber 18{21, 2000. The topic of this workshop was Database schema Evolution and Meta-Modeling; this FoMLaDO Workshop was hence assigned the acronym DEMM 2000. These post-proceedings contain the revised versions of the accepted papers of the DEMM 2000 workshop. Twelve regular papers were accepted for inclusion in the proceedings. The papers address the following issues: { Consistency of evolving concurrent information systems { Adaptive speci cations of technical information systems { Change propagation in schema evolution of object-based systems { Evolving software of a schema evolution system { Logical characterization of schema evolution { Con?ict management in integrated databases { Evolving relation schemas { Conceptual descriptions of adaptive information systems { OQL-extensions for metadata access { Metamodeling of schema evolution { Metrics for conceptual schema evolution { Incremental datawarehouse construction In addition to the regular papers, there is an invited paper by Can Turk ̈ er on schema evolution in SQL99 and (object-)relational databases. Acknowledgements: We wish to thank the program committee members for their work on reviewing the submitted papers. We also wish to thank all a- hors for submitting papers to this workshop. Moreover, all participants of the workshop are thanked for contributing to lively discussions. Thanks also to Elke Rundensteiner, who delivered an invited talk on the SERF-project concerning ?exible database transformations.
Download or read book Transactions and Database Dynamics written by Gunter Saake and published by Springer. This book was released on 2003-06-26 with total page 255 pages. Available in PDF, EPUB and Kindle. Book excerpt: These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics", which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO). Seven long papers and three short papers were accepted for inclusion in the proceedings. The papers address various issues of transactions and database dynamics: { criteria and protocols for global snapshot isolation in federated transaction management, { uni ed theory of concurrency control and replication control, { speci cation of evolving information systems, { inheritance mechanisms for deductive object databases with updates, { speci cation of active rules for maintaining database consistency, { integrity checking in subtransactions, { open nested transactions for multi-tier architectures, { declarative speci cation of transactions with static and dynamic integrity constraints, { logic-based speci cation of update queries as open nested transactions, and { execution guarantees and transactional processes in electronic commerce payments. In addition to the regular papers, there are papers resulting from two working groups. The rst working group paper discusses the basis for transactional c- putation. In particular, it addresses the speci cation of transactional software. The second working group paper focuses on transactions in electronic commerce applications. Among others, Internet transactions, payment protocols, and c- currency control and persistence mechanisms are discussed. Moreover, there is an invited paper by Jari Veijalainen which discusses tr- sactional aspects in mobile electronic commerce.
Download or read book Foundations of Intelligent Systems written by Zbigniew W. Ras and published by Springer Science & Business Media. This book was released on 1997-09-29 with total page 648 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 10th International Symposium on Methodologies for Intelligent Systems, ISMIS'97, held in Charlotte, NC, USA, in October 1997. The 57 revised full papers were selected from a total of 117 submissions. Also included are four invited papers. Among the topics covered are intelligent information systems, approximate reasoning, evolutionary computation, knowledge representation and integration, learning and knowledge discovery, AI-Logics, discovery systems, data mining, query processing, etc.
Download or read book Formal Models of Agents written by John-Jules C. Meyer and published by Springer. This book was released on 2003-07-31 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume provides a selection of strictly refereed papers first presented during a workshop held within the context of the ESPRIT ModelAge Project in Certosa di Pertignano, Italy, in 1997. The 15 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed for inclusion in the book. The book is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Among the topics addressed are various types of agents and multi-agent systems, cooperation, communication, specification, verification, deontic logic, diagnosis, and decision making.
Download or read book Reengineering Software written by Roy Rada and published by Global Professional Publishi. This book was released on 1999 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: Reengineering software addresses the state-of-the-art principles, approaches, support systems, underlying methodologies, and real case examples in reusing (and thus building on) previously existing software. The theme is that reengineering is fundamental to software development.
Download or read book Algebraic Foundations of Systems Specification written by Egidio Astesiano and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 626 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Dynamics and Management of Reasoning Processes written by John-Jules Ch. Meyer and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 385 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume, the 6th volume in the DRUMS Handbook series, is part of the after math of the successful ESPRIT project DRUMS (Defeasible Reasoning and Un certainty Management Systems) which took place in two stages from 1989-1996. In the second stage (1993-1996) a work package was introduced devoted to the topics Reasoning and Dynamics, covering both the topics of 'Dynamics of Rea soning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of and agents within dynamic systems may reason about these systems. The present volume presents work done in this context. This work has an emphasis on modelling and formal techniques in the investigation of the topic "Reasoning and Dynamics", but it is not mere theory that occupied us. Rather research was aimed at bridging the gap between theory and practice. Therefore also real-life applications of the modelling techniques were considered, and we hope this also shows in this volume, which is focused on the dynamics of reasoning processes. In order to give the book a broader perspective, we have invited a number of well-known researchers outside the project but working on similar topics to contribute as well. We have very pleasant recollections of the project, with its lively workshops and other meetings, with the many sites and researchers involved, both within and outside our own work package.
Download or read book Advanced Database Systems written by Peter M.D. Gray and published by Springer Science & Business Media. This book was released on 1992-06-24 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: The theme of this book is the potential of new advanced database systems. The volume presents the proceedings of the 10th British National Conference on Databases, held in Aberdeen, Scotland, in July 1992. The volume contains two invited papers, one on the promise of distributed computing andthe challenges of legacy systems by M.L. Brodie, and the other on object-oriented requirements capture and analysis and the Orca project by D.J.L. Gradwell. The following four parts each contain three submitted papers selected from a total of 36 submissions. The parts are entitled: - Object-oriented databases - Parallel implementationsand industrial systems - Non-relational data models - Logic programming and databases
Download or read book Object Orientation with Parallelism and Persistence written by Burkhard Freitag and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 245 pages. Available in PDF, EPUB and Kindle. Book excerpt: Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object orientation raises hopes for increased productivity of software generation and maintenance methods. Parallelism can serve to structure a problem but also promises faster program execution. The two areas of computing science in which these paradigms play the most prominent role are programming languages and databases. In programming languages, one can take an academic approach with a primary focus on the generality of the semantics of the language constructs which support the respective paradigm. In databases, one is willing to restrict the power of the constructs in the interest of increased efficiency. Inter- and intra-object parallelism have received an increasing amount of attention in the last few years by researchers in the area of object- oriented programming. At first glance, an object is very similar to a process which offers services to other processes and demands services from them. It has, however, transpired that object-oriented concepts cause problems when combined with parallelism. In programming languages, the introduction of parallelism and the synchronization constraints it brings with it can get in the way of code reusability. In databases, the combination of object orientation and parallelism requires, for example, a generalization of the transaction model, new approaches to the specification of information systems, an implementation model of object communication, and the design of an overall system architecture. There has been insufficient communication between researchers in programming languages and in databases on these issues. Object Orientation with Parallelism and Persistence grew out of a Dagstuhl Seminar of the same title in April 1995 whose goal it was to put the new research area `object orientation with parallelism' on an interdisciplinary basis. Object Orientation with Parallelism and Persistence will be of interest to researchers and professionals working in software engineering, programming languages, and database systems.
Download or read book Recent Trends in Algebraic Development Techniques written by Francesco Parisi-Presicce and published by Springer Science & Business Media. This book was released on 1998-03-11 with total page 452 pages. Available in PDF, EPUB and Kindle. Book excerpt: Spine title: WADT '97.
