Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop

Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop PDF Author: Roel J Wieringa
Publisher: World Scientific
ISBN: 9814549339
Category :
Languages : en
Pages : 302

Get Book Here

Book Description
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.

Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop

Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop PDF Author: Roel J Wieringa
Publisher: World Scientific
ISBN: 9814549339
Category :
Languages : en
Pages : 302

Get Book Here

Book Description
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.

Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang

Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang PDF Author: Amir Pnueli
Publisher: World Scientific
ISBN: 9814547360
Category :
Languages : en
Pages : 322

Get Book Here

Book Description
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.

Recent Trends in Data Type Specification

Recent Trends in Data Type Specification PDF 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.

Advanced Information Systems Engineering

Advanced Information Systems Engineering PDF Author: Panos Constantopoulos
Publisher: Springer Science & Business Media
ISBN: 9783540612926
Category : Business & Economics
Languages : en
Pages : 600

Get Book Here

Book Description
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.

Logics for Databases and Information Systems

Logics for Databases and Information Systems PDF Author: Jan Chomicki
Publisher: Springer Science & Business Media
ISBN: 1461556430
Category : Computers
Languages : en
Pages : 442

Get Book Here

Book Description
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.

Coordination, Organizations, Institutions, and Norms in Agent Systems II

Coordination, Organizations, Institutions, and Norms in Agent Systems II PDF Author: Pablo Noriega
Publisher: Springer
ISBN: 3540744592
Category : Computers
Languages : en
Pages : 375

Get Book Here

Book Description
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.

Language Constructs for Describing Features

Language Constructs for Describing Features PDF Author: Stephen Gilmore
Publisher: Springer Science & Business Media
ISBN: 1447102878
Category : Computers
Languages : en
Pages : 238

Get Book Here

Book Description
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.

Database Schema Evolution and Meta-Modeling

Database Schema Evolution and Meta-Modeling PDF Author: Herman Balsters
Publisher: Springer
ISBN: 3540481966
Category : Computers
Languages : en
Pages : 254

Get Book Here

Book Description
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.

Transactions and Database Dynamics

Transactions and Database Dynamics PDF Author: Gunter Saake
Publisher: Springer
ISBN: 3540464662
Category : Computers
Languages : en
Pages : 255

Get Book Here

Book Description
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.

Foundations of Intelligent Systems

Foundations of Intelligent Systems PDF Author: Zbigniew W. Ras
Publisher: Springer Science & Business Media
ISBN: 9783540636144
Category : Computers
Languages : en
Pages : 648

Get Book Here

Book Description
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.