Object Lifecycles


Book Description

A companion book to Mellor and Shlaer's Object-Oriented Systems Analysis which covers the Information Modeling step, this book details in three step s a systematic method for investigating and defining real-time, scientific, and business-oriented systems. It explains the State Modeling step, the Process Modeling step, and the External Specifications step.




The Lifecycle of Software Objects


Book Description

What's the best way to create artificial intelligence? In 1950, Alan Turing wrote, "Many people think that a very abstract activity, like the playing of chess, would be best. It can also be maintained that it is best to provide the machine with the best sense organs that money can buy, and then teach it to understand and speak English. This process could follow the normal teaching of a child. Things would be pointed out and named, etc. Again I do not know what the right answer is, but I think both approaches should be tried." The first approach has been tried many times in both science fiction and reality. In this new novella, at over 30,000 words, his longest work to date, Ted Chiang offers a detailed imagining of how the second approach might work within the contemporary landscape of startup companies, massively-multiplayer online gaming, and open-source software. It's a story of two people and the artificial intelligences they helped create, following them for more than a decade as they deal with the upgrades and obsolescence that are inevitable in the world of software. At the same time, it's an examination of the difference between processing power and intelligence, and of what it means to have a real relationship with an artificial entity.







Weak conformance between process models and synchronized object life cycles


Book Description

Process models specify behavioral execution constraints between activities as well as between activities and data objects. A data object is characterized by its states and state transitions represented as object life cycle. For process execution, all behavioral execution constraints must be correct. Correctness can be verified via soundness checking which currently only considers control flow information. For data correctness, conformance between a process model and its object life cycles is checked. Current approaches abstract from dependencies between multiple data objects and require fully specified process models although, in real-world process repositories, often underspecified models are found. Coping with these issues, we introduce the concept of synchronized object life cycles and we define a mapping of data constraints of a process model to Petri nets extending an existing mapping. Further, we apply the notion of weak conformance to process models to tell whether each time an activity needs to access a data object in a particular state, it is guaranteed that the data object is in or can reach the expected state. Then, we introduce an algorithm for an integrated verification of control flow correctness and weak data conformance using soundness checking.




Object Management


Book Description

First published in 1992, this volume explores the use of object oriented methods which is forecast to grow rapidly, with their flexibility and facility to overcome some of the inadequacies of relational databases. This timely book reviews their potential in the data management context. It examines the impact of object oriented techniques on the practice of data management including data analysis, database design, database administration and DBMS operation. The main emphasis of the book is on practical experience of developing and applying 00 methods in the most popular application areas. Its four parts covering the background to object technology, the products, the applications and the implications.




Realizing the Object-oriented Lifecycle


Book Description

Several lists of criteria are offered to help the reader select the most suitable technologies and standards for their specific projects. Examples of object technology in the "real world" are provided in particular case studies in computer-integrated manufacturing (CIM) from SEMATECH and some of its member companies.




Business Process Management


Book Description

In this book, Mathias Weske details the complete business process lifecycle from process modeling to process enactment and process evaluation. After starting with the general foundations and abstractions in business process management, he introduces process modeling languages and process choreographies, as well as formal properties of processes and data. Eventually, he presents both traditional and advanced business process management architectures, covering, for example, workflow management systems, service-oriented architectures, and data-driven approaches. The 4th edition of his book contains significant updates, including a new section on directly follows graphs that play a crucial role in process mining. In addition, the core of declarative process modeling is introduced. The increasingly important role of data in business processes is addressed by a new section on data objects and data models in the data and decision chapter. To cover a recent trend in process automation, the enterprise systems architecture chapter now includes a section on robotic process automation. Mathias Weske argues that all communities involved need to have a common understanding of the different aspects of business process management. Hence his textbook is ideally suited for classes on business process management, information systems architecture, and workflow management alike. The accompanying website www.bpm-book.com contains further information and additional teaching material.




Service-Oriented Computing


Book Description

This book constitutes the refereed conference proceedings of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, held in Paris, France, in November 2014. The 25 full and 26 short papers presented were carefully reviewed and selected from 180 submissions. The papers are organized in topical sections on business process management; service composition and discovery; service design, description and evolution; cloud and business service management; ensuring composition properties; quality of service; semantic web services; service management; cloud service management; business service management; trust; service design and description.




Enterprise, Business-Process and Information Systems Modeling


Book Description

This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling: * the 24th International Conference on Business Process Modeling, Development and Support, BPMDS 2023, and * the 28th International Conference on Exploring Modeling Methods for Systems Analysis and Development, EMMSAD 2023. The conferences were taking place in Zaragoza, Spain, during June 12-13, 2023. For BPMDS 9 full papers and 2 short papers were carefully reviewed and selected for publication from a total of 26 submissions; for EMMSAD 9 full papers and 3 short papers were accepted from 26 submissions after thorough reviews. The BPMDS papers deal with a broad range of theoretical and applications-based research in business process modeling, development and support. EMMSAD focusses on modeling methods for systems analysis and development.




Core Java Data Objects


Book Description

& JDO's transparent persistence will accelerate software development & & Includes practical examples and best practices as well as a full case study & & Written by experienced members of the JDO Expert Group & & The CD-ROM includes community and evaluation editions of JDO software from a number of vendors