Logic based modeling and analysis of workflows

Declarative workflows that support easy modification and dynamic browsing

WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration

Workflow, transactions and datalog

PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

KWM: Knowledge-based Workflow Model for Agile Organization

Journal of Intelligent Information Systems

Hypothetical Temporal Reasoning in Databases

Journal of Intelligent Information Systems - Special issue on data warehousing and knowledge discovery

Communication Deadlock Detection of Inter-organizational Workflow Definition

DNIS '02 Proceedings of the Second International Workshop on Databases in Networked Information Systems

Formal Verification of e-Services and Workflows

CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web

FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine

CL '00 Proceedings of the First International Conference on Computational Logic

Formalizing Workflows Using the Event Calculus

DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications

Realizing Network Control Policies Using Distributed Action Plans

Journal of Network and Systems Management

Tools for design of composite Web services

SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data

CTR-S: a logic for specifying contracts in semantic web services

Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters

Resource constraints analysis of workflow specifications

Journal of Systems and Software - Special issue: Applications of statistics in software engineering

Automated composition of e-services: lookaheads

Proceedings of the 2nd international conference on Service oriented computing

Mining and Reasoning on Workflows

IEEE Transactions on Knowledge and Data Engineering

A Coordinated Spatio-Temporal Access Control Model for Mobile Computing in Coalition Environments

IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 17 - Volume 18

Specification and verification of data-driven web services

PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

A verifier for interactive, data-driven web applications

Proceedings of the 2005 ACM SIGMOD international conference on Management of data

An architecture for workflow scheduling under resource allocation constraints

Information Systems

Tools for composite web services: a short overview

ACM SIGMOD Record

Rule-based workflow management for bioinformatics

The VLDB Journal — The International Journal on Very Large Data Bases

Analysis of dependencies in advanced transaction models

Distributed and Parallel Databases

Automatic workflow verification and generation

Theoretical Computer Science

Key research issues in grid workflow verification and validation

ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54

Discovering Expressive Process Models by Clustering Log Traces

IEEE Transactions on Knowledge and Data Engineering

Discovery of effective learning paths for corporate learners

WBE'06 Proceedings of the 5th IASTED international conference on Web-based education

YAWL: yet another workflow language

Information Systems

Specification and verification of data-driven Web applications

Journal of Computer and System Sciences

Mining unconnected patterns in workflows

Information Systems

Coordinated access control with temporal and spatial constraints on mobile execution in coalition environments

Future Generation Computer Systems

A logical framework for scheduling workflows under resource allocation constraints

VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases

Integration and verification of semantic constraints in adaptive process management systems

Data & Knowledge Engineering

Reasoning about the behavior of Semantic Web services with concurrent transaction logic

VLDB '07 Proceedings of the 33rd international conference on Very large data bases

Conflict detection and resolution for workflows constrained by resources and non-determined durations

Journal of Systems and Software

Adaptive workflow scheduling under resource allocation constraints and network dynamics

Proceedings of the VLDB Endowment

Semantic Web Service Choreography: Contracting and Enactment

ISWC '08 Proceedings of the 7th International Conference on The Semantic Web

A Logic Programming Approach to Scientific Workflow Provenance Querying

Provenance and Annotation of Data and Processes

Automatic verification of database-driven systems: a new frontier

Proceedings of the 12th International Conference on Database Theory

Future Internet Collaboration Workflow

Future Internet --- FIS 2008

A logical framework for configuration software

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming

Existentially quantified values for queries and updates of facts in transaction logic programs

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3

Querying sequential and concurrent horn transaction logic programs using tabling techniques

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3

Mining frequent instances on workflows

PAKDD'03 Proceedings of the 7th Pacific-Asia conference on Advances in knowledge discovery and data mining

A prolog-based language for workflow programming

COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages

Key issues and experiences in development of distributed workflow management systems

APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications

WSMO choreography: from abstract state machines to concurrent transaction logic

ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications

Information flow analysis of scientific workflows

Journal of Computer and System Sciences

Tabling for transaction logic

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming

When does a workflow complete?

Computer Standards & Interfaces

A method of workflow scheduling based on colored Petri nets

Data & Knowledge Engineering

Structured design, consistency analysis and failure reasoning of business workflows with activity-control templates and causal ordering

Expert Systems with Applications: An International Journal

Modeling surgical processes: A four-level translational approach

Artificial Intelligence in Medicine

Constraint-centric workflow change analytics

Decision Support Systems

An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints

Journal of Computer and System Sciences

Temporal logic based workflow service modeling and its application

CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I

Nonmonotonic reasoning in FLORA-2

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning

Modeling and verification of distributed autonomous agents using logic programming

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

Using the π-calculus for formalizing workflow patterns

BPM'05 Proceedings of the 3rd international conference on Business Process Management

Formalizing the specification and execution of workflows using the event calculus

Information Sciences: an International Journal

Achieving life-cycle compliance of service-oriented architectures: open issues and challenges

DPM'09/SETOP'09 Proceedings of the 4th international workshop, and Second international conference on Data Privacy Management and Autonomous Spontaneous Security

Nested dynamic condition response graphs

FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering

Formalizing production systems with rule-based ontologies

FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems

On enabling integrated process compliance with semantic constraints in process management systems

Information Systems Frontiers

A knowledge-based formalization of UBL processes using hybrid programs

Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies

Foundations of data-aware process analysis: a database theory perspective

Proceedings of the 32nd symposium on Principles of database systems