Specification and Verification of Declarative Open Interaction Models
Specification and Verification of Declarative Open Interaction Models

Author: Marco Montali

Publisher: Springer Science & Business Media

Published: 2010-07-30

Total Pages: 416

ISBN-13: 364214537X

DOWNLOAD EBOOK

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based comprehensive framework. This framework allows non IT experts to graphically specify interaction models that are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities. The book constitutes a revised and extended version of the author’s PhD thesis, which was honored with the 2009 “Marco Cadoli” prize, awarded by the Italian Association for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between the years 2007 and 2009.

Specification and Verification of Declarative Open Interaction Models
Specification and Verification of Declarative Open Interaction Models

Author: Marco Montali

Publisher: Springer

Published: 2011-03-23

Total Pages: 411

ISBN-13: 9783642145391

DOWNLOAD EBOOK

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based comprehensive framework. This framework allows non IT experts to graphically specify interaction models that are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities. The book constitutes a revised and extended version of the author’s PhD thesis, which was honored with the 2009 “Marco Cadoli” prize, awarded by the Italian Association for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between the years 2007 and 2009.

Advanced Information Systems Engineering
Advanced Information Systems Engineering

Author: Camille Salinesi

Publisher: Springer

Published: 2013-06-20

Total Pages: 735

ISBN-13: 3642387098

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, held in Valencia, Spain, in June 2013. The 44 revised full papers were carefully reviewed and selected from 162 submissions. The contributions have been grouped into the following topical sections: services; awareness; business process execution; products; business process modelling; modelling languages and meta models; requirements engineering 1; enterprise architecture; information systems evolution; mining and predicting; data warehouses and business intelligence; requirements engineering 2; knowledge and know-how; information systems quality; and human factors.

Business Process Management
Business Process Management

Author: Florian Daniel

Publisher: Springer

Published: 2013-07-18

Total Pages: 370

ISBN-13: 3642401767

DOWNLOAD EBOOK

This book constitutes the proceedings of the 11th International Conference on Business Process Management, BPM 2013, held in Beijing, China, in August 2013. The 17 regular papers and 8 short papers included in this volume were carefully reviewed and selected from 118 submissions. The papers are organized in 7 topical sections named: process mining; conformance checking; process data; process model matching; process architectures and collaboration; as well as alternative perspectives, and industry paper.

Formal Ontology in Information Systems
Formal Ontology in Information Systems

Author: P. Garbacz

Publisher: IOS Press

Published: 2014-09-05

Total Pages: 456

ISBN-13: 1614994382

DOWNLOAD EBOOK

Formal Ontology in Information Systems (FOIS) is the flagship conference of the International Association for Ontology and its Applications (IAOA). Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general. As in previous years, FOIS 2014 was a nexus of interdisciplinary research and communication. The current proceedings is divided into four main sections, dealing with: foundations; processes, agency and dispositions; methods and tools; and applications. The last of these covers a broad spectrum of areas, including in particular biology and medicine, engineering, and economy. For the first time in its history, the conference hosted a special track: an ontology competition, the aim of which was to encourage authors to make their ontologies publicly available and to allow them to be evaluated according to a set of predetermined criteria. Papers discussing these ontologies can also be found in this volume. The book will be of interest to all those whose work involves the application of ontologies, and who are looking for a current overview of developments in formal ontology.

Building Sustainable Information Systems
Building Sustainable Information Systems

Author: Henry Linger

Publisher: Springer Science & Business Media

Published: 2013-11-08

Total Pages: 617

ISBN-13: 1461475406

DOWNLOAD EBOOK

​Information Systems (IS) as a discipline draws on diverse areas including, technology, organisational theory, management and social science. The field is recognized as very broad and encompassing many themes and areas. However, the development of artefacts, or information systems development (ISD), in the broadest sense, is a central concern of the discipline. Significantly, ISD impacts on the organisational and societal contexts through the use of the artefacts constructed by the development. Today, that impact also needs to be evaluated in terms of its effects on the environment. Sustainable, or "green," IT is a catch-all term used to describe the development, manufacture, management, use and disposal of ICT in a way that minimizes damage to the environment. As a result, the term has many different meanings, depending on the role assumed in the life span of the ICT artefact. The theme of the proposed work is to critically examine the whole range of issues around ISD from the perspective of sustainability. Sustainable IT is an emerging theme in academic research and industry practice in response to an individual concern for the environment and the embryonic regulatory environments being enacted globally to address the environmental impact of ICT. In this work we intend to bring together in one volume the diverse research around the development of sustainable IS.

Declarative Agent Languages and Technologies IX
Declarative Agent Languages and Technologies IX

Author: Chiaki Sakama

Publisher: Springer Science & Business Media

Published: 2012-03-27

Total Pages: 163

ISBN-13: 3642291120

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influenced and impacted the community, the state-of-the-art and subsequent work, and two invited papers from the DALT Spring School, which took place in April 2011.

Process Mining Handbook
Process Mining Handbook

Author: Wil M. P. van der Aalst

Publisher: Springer Nature

Published: 2022-06-27

Total Pages: 503

ISBN-13: 3031088484

DOWNLOAD EBOOK

This is an open access book. This book comprises all the single courses given as part of the First Summer School on Process Mining, PMSS 2022, which was held in Aachen, Germany, during July 4-8, 2022. This volume contains 17 chapters organized into the following topical sections: Introduction; process discovery; conformance checking; data preprocessing; process enhancement and monitoring; assorted process mining topics; industrial perspective and applications; and closing.

Advances and Applications in Model-Driven Engineering
Advances and Applications in Model-Driven Engineering

Author: Díaz, Vicente García

Publisher: IGI Global

Published: 2013-08-31

Total Pages: 426

ISBN-13: 1466644958

DOWNLOAD EBOOK

As organizations and research institutions continue to emphasize model-driven engineering (MDE) as a first-class approach in the software development process of complex systems, the utilization of software in multiple domains and professional networks is becoming increasingly vital. Advances and Applications in Model-Driven Engineering explores this relatively new approach in software development that can increase the level of abstraction of development of tasks. This publication covers the issues of bridging the gaps between various disciplines within software engineering and computer science. Professionals, researchers, and students will discover the most current tools and techniques available in the field to maximize efficiency of model-driven software development.

On the Move to Meaningful Internet Systems: OTM 2016 Conferences
On the Move to Meaningful Internet Systems: OTM 2016 Conferences

Author: Christophe Debruyne

Publisher: Springer

Published: 2016-10-17

Total Pages: 1003

ISBN-13: 3319484729

DOWNLOAD EBOOK

This volume constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2016, Ontologies, Databases, and Applications of Semantics, ODBASE 2016, and Cloud and Trusted Computing, C&TC, held as part of OTM 2016 in October 2016 in Rhodes, Greece. The 45 full papers presented together with 16 short papers were carefully reviewed and selected from 133 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workow and collaboration, ubiquity, interoperability, mobility,grid and high-performance computing.