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.

This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming. The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, together with several survey articles summarizing the state of the art in the area. Thus, the book is the ultimate reference for anybody interested in the theory and application of deductive databases and logic programming.

The term “agent” is one of those catchwords that mean widely differing things to different people. To telecommunications people it is little more than a mobile piece of code that may be executed at any place. At the other extreme, AI people often associate with agents human-like traits such as social behavior. In between, software people view agents as fairly self-contained pieces of software that, at the low end, pretty much act like objects and, at the high end, more or less auto- mously decide when and how to react to stimuli or proactively initiate effects that can be observed from their environment. Software agents are particularly important when it comes to distributed en- ronments. There, much of the communication takes place asynchronously, that is the sequence of events cannot be planned ahead in all detail. Instead, agents are given rules as to how to interpret the current situation and, given a common goal, so that they adjust their response accordingly.

The Third International Conference on E-commerce and Web Technology (EC-Web 2002) was held in conjunction with the DEXA 02 in Aix-en-Provence, France. This conference, first held in Greenwich, United Kingdom in 2000, is now in its third year and is very well established. As in the two previous years, it served as a forum bringing together researchers from academia and commercial developers from industry to discuss the current state of the art in E-commerce and web technology. Inspirations and new ideas emerged from intensive discussions during formal sessions and social events. Keynote addresses, research presentations, and discussions during the conference helped to further develop the exchange of ideas among the researchers, developers, and practitioners who attended. The conference attracted more than 100 submissions and each paper was reviewed by at least three program committee members. The program committee selected 40 papers for presentation and publication, a task which was not easy due to the high quality of the submitted papers. We would like to express our thanks to our colleagues who helped to put together the technical program: the program committee members and external reviewers for their timely and rigorous reviews of the papers, and the organizing committee for their help in the administrative work and support. We owe special thanks to Gabriela Wagner and Maria Schweikert for always being available when their helping hand was needed.

This book constitutes the refereed proceedings of the 14th International Conference on Advanced Information Systems Engineering, CAiSE 2002, held in Toronto, Canada, in May 2002. The 42 revised full papers and 26 short papers presented together with four invited contributions were carefully reviewed and selected from a total of 173 submissions. The book offers topical sections on Web application development, knowledge management, deployment issues, semantics of information, system qualities, integration issues, analysis and adaption, retrieval and performance, requirement issues, schema matching and evolution, workflows, semantics and logical representations, understanding and using methods, and modeling objects and relationships.

Automation is nothing new to industry. It has a long tradition on the factory floor, where its constant objective has been to increase the productivity of manufacturing processes. Only with the advent of computers could the focus of automation widen to include administrative and information-handling tasks. More recently, automation has been extended to the more intellectual tasks of production planning and control, material and resource planning, engineering design, and quality control. New challenges arise in the form of flexible manu facturing, assembly automation, and automated floor vehicles, to name just a few. The sheer complexity of the problems as well as the state of the art has led scientists and engineers to concentrate on issues that could easily be isolated. For example, it was much simpler to build CAD systems whose sole objective was to ease the task of drawing, rather than to worry at the same time about how the design results could be interfaced with the manufacturing or assembly processes. It was less problematic to gather statistics from quality control and to print reports than to react immediately to first hints of irregularities by inter facing with the designers or manufacturing control, or, even better, by auto matically diagnosing the causes from the design and planning data. A heav- though perhaps unavoidable - price must today be paid whenever one tries to assemble these isolated solutions into a larger, integrated system.

Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases,language design and implementation, non-monotonic reasoning, and logicprogramming and the Internet. 8-12 July 1997, Leuven, Belgium The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, non-monotonic reasoning, and logic programming and the Internet.

Integrity and Internal Control in Information Systems V represents a continuation of the dialogue between researchers, information security specialists, internal control specialists and the business community. The objectives of this dialogue are: -To present methods and techniques that will help business achieve the desired level of integrity in information systems and data; -To present the results of research that may be used in the near future to increase the level of integrity or help management maintain the desired level of integrity; -To investigate the shortcomings in the technologies presently in use, shortcomings that require attention in order to protect the integrity of systems in general. The book contains a collection of papers from the Fifth International Working Conference on Integrity and Internal Control in Information Systems (IICIS), sponsored by the International Federation for Information Processing (IFIP) and held in Bonn, Germany in November 2002.

Dig into the architecture and internals of Microsoft Dynamics AX 2012—with firsthand insights from the team that designed and developed it. Targeted for solution developers and system implementers, this guide focuses on programming and customization capabilities—including key architectural principles, the application model, framework, and tools. Topics include: Architecture and development environment, including MorphX Microsoft Visual Studio tools for Microsoft Dynamics AX X++ programming language Microsoft SQL Server reporting and analytics Models Core development concepts Extending and customizing Microsoft Dynamics AX Performance and security considerations Workflow Best practices Note: Readers should have working knowledge of SQL and OOP concepts to gain max benefit from this book.