Arthur H. M. ter Hofstede

Orcid: 0000-0002-2730-0201

Affiliations:
  • Queensland University of Technology, Brisbane, Australia


According to our database1, Arthur H. M. ter Hofstede authored at least 287 papers between 1990 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Text2EL<sup>+</sup>: Expert Guided Event Log Enrichment Using Unstructured Text.
ACM J. Data Inf. Qual., March, 2024

Process Query Language: Design, Implementation, and Evaluation.
Inf. Syst., 2024

Bot log mining: An approach to the integrated analysis of Robotic Process Automation and process mining.
Inf. Syst., 2024

A chance for models to show their quality: Stochastic process model-log dimensions.
Inf. Syst., 2024

Demystifying data governance for process mining: Insights from a Delphi study.
Inf. Manag., 2024

Humans-in-the-loop: Gamifying activity label repair in process event logs.
Eng. Appl. Artif. Intell., 2024

Comparing Conformance Checking for Decision Mining: An Axiomatic Approach.
IEEE Access, 2024

From Conventional to IoT-Enhanced: Object-Centric Event Logs for Real-Life Logistics Processes.
Proceedings of the Best Dissertation Award, 2024

2023
Process-Data Quality: The True Frontier of Process Mining.
ACM J. Data Inf. Qual., September, 2023

Statistical Tests and Association Measures for Business Processes.
IEEE Trans. Knowl. Data Eng., July, 2023

Learning execution contexts from event logs.
Proceedings of the 2nd International Workshop on Process Management in the AI Era (PMAI 2023) co-located with 31st International Joint Conference on Artificial Intelligence (IJCAI 2023), 2023

Revealing the Root Causes of Digital Health Data Quality Issues: A Qualitative Investigation of the Odigos Framework.
Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

Digital Health Data Imperfection Patterns and Their Manifestations in an Australian Digital Hospital.
Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

Detecting Weasels at Work: A Theory-Driven Behavioural Process Mining Approach.
Proceedings of the Business Process Management Forum, 2023

2022
Configurable Batch-Processing Discovery from Event Logs.
ACM Trans. Manag. Inf. Syst., 2022

Process mining for healthcare: Characteristics and challenges.
J. Biomed. Informatics, 2022

<i>OrdinoR</i>: A framework for discovering, evaluating, and analyzing organizational models using event logs.
Decis. Support Syst., 2022

AMORETTO: A Method for Deriving IoT-enriched Event Logs.
CoRR, 2022

Text2EL: Exploiting Unstructured Text for Event Log Enrichment.
Proceedings of the 16th International Conference on Signal-Image Technology & Internet-Based Systems, 2022

Stochastic Process Model-Log Quality Dimensions: An Experimental Study.
Proceedings of the 4th International Conference on Process Mining, 2022

Crop Harvest Forecast via Agronomy-Informed Process Modelling and Predictive Monitoring.
Proceedings of the Advanced Information Systems Engineering, 2022

No Time to Dice: Learning Execution Contexts from Event Logs for Resource-Oriented Process Mining.
Proceedings of the Business Process Management - 20th International Conference, 2022

2021
Design and Realisation of Scalable Business Process Management Systems for Deployment in the Cloud.
ACM Trans. Manag. Inf. Syst., 2021

Extensible ontology-based views for business process models.
Knowl. Inf. Syst., 2021

Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019.
J. Data Semant., 2021

Towards an Integrated Conceptual Modelling Kernel for Business Transaction Workflows.
CoRR, 2021

Business Suitability Principles for Workflow Modelling.
CoRR, 2021

Extracting Best-Practice Using Mixed-Methods.
Bus. Inf. Syst. Eng., 2021

Using Big Data to Improve Safety Performance: An Application of Process Mining to Enhance Data Visualisation.
Big Data Res., 2021

Detecting Crowdsourcing Impasses.
IEEE Access, 2021

Process Activity Ontology Learning From Event Logs Through Gamification.
IEEE Access, 2021

Privacy-Breaching Patterns in NoSQL Databases.
IEEE Access, 2021

Data Governance for Managing Data Quality in Process Mining.
Proceedings of the 42nd International Conference on Information Systems, 2021

Situational dimensions of a coordination theory for network-based team management.
Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

Seeing the Forest for the Trees: Group-Oriented Workforce Analytics.
Proceedings of the Business Process Management - 19th International Conference, 2021

Improving PhD Student Journeys: Insights from an Australian Higher Education Institution.
Proceedings of the Industry Forum at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), 2021

2020
YAWL: An open source Business Process Management System from science for science.
SoftwareX, 2020

Scenario-based process querying for compliance, reuse, and standardization.
Inf. Syst., 2020

Quality-informed semi-automated event log generation for process mining.
Decis. Support Syst., 2020

Enabling efficient process mining on large data sets: realizing an in-database process mining operator.
Distributed Parallel Databases, 2020

OrgMining 2.0: A Novel Framework for Organizational Model Mining from Event Logs.
CoRR, 2020

Robotic Process Automation: Contemporary themes and challenges.
Comput. Ind., 2020

Collaborative and Interactive Detection and Repair of Activity Labels in Process Event Logs.
Proceedings of the 2nd International Conference on Process Mining, 2020

An Expert Lens on Data Quality in Process Mining.
Proceedings of the 2nd International Conference on Process Mining, 2020

Destructive Domination in Crowdsourcing.
Proceedings of the 41st International Conference on Information Systems, 2020

Bot Log Mining: Using Logs from Robotic Process Automation for Process Mining.
Proceedings of the Conceptual Modeling - 39th International Conference, 2020

Signpost - a Semiotics-based Process Mining Methodology.
Proceedings of the 28th European Conference on Information Systems, 2020

Alohomora: Unlocking Data Quality Causes Through Event Log Context.
Proceedings of the 28th European Conference on Information Systems, 2020

Resource-Based Adaptive Robotic Process Automation - Formal/Technical Paper.
Proceedings of the Advanced Information Systems Engineering, 2020

Co-destruction Patterns in Crowdsourcing - Formal/Technical Paper.
Proceedings of the Advanced Information Systems Engineering, 2020

Flexible Integration of Blockchain with Business Process Automation: A Federated Architecture.
Proceedings of the Advanced Information Systems Engineering, 2020

Automatic Repair of Same-Timestamp Errors in Business Process Event Logs.
Proceedings of the Business Process Management - 18th International Conference, 2020

2019
Stage-based discovery of business process models from event logs.
Inf. Syst., 2019

A Contextual Approach to Detecting Synonymous and Polluted Activity Labels in Process Event Logs.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

A Case Study Lens on Process Mining in Practice.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

Preference-Based Resource and Task Allocation in Business Process Automation.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

Grounding Process Data Analytics in Domain Knowledge: A Mixed-Method Approach to Identifying Best Practice.
Proceedings of the Business Process Management Forum, 2019

Towards Privacy-Preserving Process Mining in Healthcare.
Proceedings of the Business Process Management Workshops, 2019

2018
Indulpet Miner: Combining Discovery Algorithms.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Design and Performance Analysis of Load Balancing Strategies for Cloud-Based Business Process Management Systems.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Towards the Design of a Scalable Business Process Management System Architecture in the Cloud.
Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Multi-perspective Comparison of Business Process Variants Based on Event Logs.
Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Detection and Interactive Repair of Event Ordering Imperfection in Process Logs.
Proceedings of the Advanced Information Systems Engineering, 2018

Finding the "Liberos": Discover Organizational Models with Overlaps.
Proceedings of the Business Process Management - 16th International Conference, 2018

Pre-hospital Retrieval and Transport of Road Trauma Patients in Queensland - A Process Mining Analysis.
Proceedings of the Business Process Management Workshops, 2018

Exposing Impediments to Insurance Claims Processing.
Proceedings of the Business Process Management Cases, 2018

Improving Patient Flows at St. Andrew's War Memorial Hospital's Emergency Department Through Process Mining.
Proceedings of the Business Process Management Cases, 2018

2017
Impact-Driven Process Model Repair.
ACM Trans. Softw. Eng. Methodol., 2017

Mining Resource Profiles from Event Logs.
ACM Trans. Manag. Inf. Syst., 2017

Filtering Out Infrequent Behavior from Business Process Event Logs.
IEEE Trans. Knowl. Data Eng., 2017

Event log imperfection patterns for process mining: Towards a systematic approach to cleaning event logs.
Inf. Syst., 2017

Change visualisation: Analysing the resource and timing differences between two event logs.
Inf. Syst., 2017

ProcessProfiler3D: A visualisation framework for log-based process performance comparison.
Decis. Support Syst., 2017

Discovering work prioritisation patterns from event logs.
Decis. Support Syst., 2017

Relational Algebra for In-Database Process Mining.
CoRR, 2017

Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Towards a Coordinative Theory for Flexible Work Collaboration.
Proceedings of the International Conference on Information Systems, 2017

Characterizing Drift from Event Streams of Business Processes.
Proceedings of the Advanced Information Systems Engineering, 2017

Mining Business Process Stages from Event Logs.
Proceedings of the Advanced Information Systems Engineering, 2017

ProcessProfiler3D: A Tool for Visualising Performance Differences Between Process Cohorts and Process Instances.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

2016
Turning event logs into process movies: animating what has really happened.
Softw. Syst. Model., 2016

Evaluating and predicting overall process risk using event logs.
Inf. Sci., 2016

Revising history for cost-informed process improvement.
Computing, 2016

Detecting Drift from Event Streams of Unpredictable Business Processes.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

A Toolkit for Streaming Process Data Analysis.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

Business Process Performance Mining with Staged Process Flows.
Proceedings of the Advanced Information Systems Engineering, 2016

Workflow Patterns: The Definitive Guide
MIT Press, ISBN: 9780262029827, 2016

2015
Workflow Management.
Proceedings of the Handbook on Business Process Management 1, 2015

Special Issue on: Knowledge-intensive Business Processes.
J. Data Semant., 2015

Detecting approximate clones in business process model repositories.
Inf. Syst., 2015

Untanglings: a novel approach to analyzing concurrent systems.
Formal Aspects Comput., 2015

Event interval analysis: Why do processes take time?
Decis. Support Syst., 2015

A recommendation system for predicting risks across multiple business process instances.
Decis. Support Syst., 2015

Change your history: Learning from event logs to improve processes.
Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

Realisation of Cost-Informed Process Support Within the YAWL Workflow Environment.
Proceedings of the Asia Pacific Business Process Management, 2015

2014
Liquid business process model collections.
Proceedings of the Modeling and Simulation-Based Systems Engineering Handbook., 2014

A Framework for Cost-Aware Process Management: Cost Reporting and Cost Prediction.
J. Univers. Comput. Sci., 2014

How to guarantee compliance between workflows and product lifecycles?
Inf. Syst., 2014

Current Research in Risk-aware Business Process Management - Overview, Comparison, and Gap Analysis.
Commun. Assoc. Inf. Syst., 2014

Achieving Intention-Centric BPM through Automated Planning.
Proceedings of the 7th IEEE International Conference on Service-Oriented Computing and Applications, 2014

Perturbing event logs to identify cost reduction opportunities: A genetic algorithm-based approach.
Proceedings of the IEEE Congress on Evolutionary Computation, 2014

Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings.
Proceedings of the Advanced Information Systems Engineering, 2014

An Extensible Framework for Analysing Resource Behaviour Using Event Logs.
Proceedings of the Advanced Information Systems Engineering, 2014

The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013
Real-time risk monitoring in business processes: A sensor-based approach.
J. Syst. Softw., 2013

Efficient querying of large process model repositories.
Comput. Ind., 2013

Cost-Informed Operational Process Support.
Proceedings of the Conceptual Modeling - 32th International Conference, 2013

Understanding Process Behaviours in a Large Insurance Company in Australia: A Case Study.
Proceedings of the Advanced Information Systems Engineering, 2013

Profiling Event Logs to Configure Risk Indicators for Process Delays.
Proceedings of the Advanced Information Systems Engineering, 2013

A Software Framework for Risk-Aware Business Process Management.
Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), 2013

APQL: A Process-Model Query Language.
Proceedings of the Asia Pacific Business Process Management, 2013

Cost-Aware Business Process Management: A Research Agenda.
Proceedings of the Australasian Conference on Information Systems, 2013

Privacy-Aware Workflow Management.
Proceedings of the Business Process Management - Theory and Applications, 2013

On Structured Workflow Modelling.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012
Workflow patterns put into context.
Softw. Syst. Model., 2012

Visual support for work assignment in process-aware information systems: Framework formalisation and implementation.
Decis. Support Syst., 2012

Automated Risk Mitigation in Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Root Cause Analysis with Enriched Process Logs.
Proceedings of the Business Process Management Workshops, 2012

Predicting Deadline Transgressions Using Event Logs.
Proceedings of the Business Process Management Workshops, 2012

Supporting Blended Workflows.
Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), 2012

Detecting Approximate Clones in Process Model Repositories with Apromore.
Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), 2012

Approximate Clone Detection in Repositories of Business Process Models.
Proceedings of the Business Process Management - 10th International Conference, 2012

2011
Managing Process Model Complexity Via Abstract Syntax Modifications.
IEEE Trans. Ind. Informatics, 2011

Managing Process Model Complexity via Concrete Syntax Modifications.
IEEE Trans. Ind. Informatics, 2011

Open Source Software for Workflow Management: The Case of YAWL.
IEEE Softw., 2011

Configurable multi-perspective business process models.
Inf. Syst., 2011

Soundness of workflow nets: classification, decidability, and analysis.
Formal Aspects Comput., 2011

Data and process requirements for product recall coordination.
Comput. Ind., 2011

Fragment-Based Version Management for Repositories of Business Process Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

History-Aware, Real-Time Risk Detection in Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

Workflow support for scheduling in surgical care processes.
Proceedings of the 19th European Conference on Information Systems, 2011

Making YAWL and SmartPM Interoperate: Managing Highly Dynamic Processes by Exploiting Automatic Adaptation Features.
Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011, 2011

Automated Error Correction of Business Process Models.
Proceedings of the Business Process Management - 9th International Conference, 2011


2010
A flexible, object-centric approach for business process modelling.
Serv. Oriented Comput. Appl., 2010

Reduction rules for reset/inhibitor nets.
J. Comput. Syst. Sci., 2010

Preserving correctness during business process model configuration.
Formal Aspects Comput., 2010

Business Process Extensibility.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2010

A Behavioral Similarity Measure between Labeled Petri Nets Based on Principal Transition Sequences - (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

Efficient and Accurate Retrieval of Business Process Models through Indexing - (Short Paper).
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

Modelling Complex Resource Requirements in Business Process Management Systems.
Proceedings of the Australasian Conference on Information Systems, 2010

Process Mining and Simulation.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Advanced Synchronization.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

The Language: Rationale and Fundamentals.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Appendix A The Order Fulfillment Process Model.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

The Design Environment.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Epilogue.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

Introduction.
Proceedings of the Modern Business Process Automation - YAWL and its Support Environment, 2010

2009
From business process models to process-oriented software systems.
ACM Trans. Softw. Eng. Methodol., 2009

newYAWL: Towards Workflow 2.0.
Trans. Petri Nets Other Model. Concurr., 2009

Designing a Workflow System Using Coloured Petri Nets.
Trans. Petri Nets Other Model. Concurr., 2009

Soundness of Workflow Nets with Reset Arcs.
Trans. Petri Nets Other Model. Concurr., 2009

Questionnaire-based variability modeling for system configuration.
Softw. Syst. Model., 2009

Soundness-preserving reduction rules for reset workflow nets.
Inf. Sci., 2009

Reduction rules for YAWL workflows with cancellation regions and OR-joins.
Inf. Softw. Technol., 2009

Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark.
Inf. Softw. Technol., 2009

Synchronization and Cancelation in Workflows Based on Reset Nets.
Int. J. Cooperative Inf. Syst., 2009

Surmounting BPM challenges: the YAWL story.
Comput. Sci. Res. Dev., 2009

Workflow simulation for operational decision support.
Data Knowl. Eng., 2009

Dimensions of coupling in middleware.
Concurr. Comput. Pract. Exp., 2009

Business process verification - finally a reality!
Bus. Process. Manag. J., 2009

Modelling Flexible Processes with Business Objects.
Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, 2009

Controlled Flexibility and Lifecycle Management of Business Processes through Extensibility.
Proceedings of the Enterprise Modelling and Information Systems Architectures: Proceedings of the 3rd International Workshop on Enterprise Modelling and Information Systems Architectures; Ulm, 2009

Flexibility as a Service.
Proceedings of the Database Systems for Advanced Applications, 2009

Visual Support for Work Assignment in YAWL.
Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), 2009

YAWL: Power through Patterns.
Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), 2009

Modeling Business Process Variability for Design-Time Configuration.
Proceedings of the Handbook of Research on Business Process Modeling., 2009

Yet Another Workflow Language.
Proceedings of the Handbook of Research on Business Process Modeling., 2009

2008
Bridging Global and Local Models of Service-Oriented Systems.
IEEE Trans. Syst. Man Cybern. Part C, 2008

Pattern-Based Translation of BPMN Process Models to BPEL Web Services.
Int. J. Web Serv. Res., 2008

Generating Business Process Models from Object Behavior Models.
Inf. Syst. Manag., 2008

Toward Web-Scale Workflows for Film Production.
IEEE Internet Comput., 2008

Correctness-Preserving Configuration of Business Process Models.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects.
Proceedings of the Conceptual Modeling, 2008

Open Source Workflow: A Viable Direction for BPM?.
Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

Workflow Simulation for Operational Decision Support Using Design, Historic and State Information.
Proceedings of the Business Process Management, 6th International Conference, 2008

Introduction to the First International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS 2008).
Proceedings of the Business Process Management Workshops, 2008

Visual Support for Work Assignment in Process-Aware Information Systems.
Proceedings of the Business Process Management, 6th International Conference, 2008

Product flow analysis in distribution networks with a fixed time horizon.
Proceedings of the Computer Science 2008, 2008

2007
Formal semantics and analysis of control flow in WS-BPEL.
Sci. Comput. Program., 2007

Guided interaction: A mechanism to enable ad hoc service interaction.
Inf. Syst. Frontiers, 2007

Specification and execution of composite trading activities.
Electron. Commer. Res., 2007

Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants.
Comput. J., 2007

Dynamic, Extensible and Context-Aware Exception Handling for Workflows.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Modelling and Supporting Processes in Creative Environments.
Proceedings of the Fifteenth European Conference on Information Systems, 2007

Questionnaire-driven Configuration of Reference Process Models.
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007

Communication Abstractions for Distributed Business Processes.
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007

Business Process Simulation for Operational Decision Support.
Proceedings of the Business Process Management Workshops, 2007

Transforming Object-Oriented Models to Process-Oriented Models.
Proceedings of the Business Process Management Workshops, 2007

2006
Let's Dance: A Language for Service Behavior Modeling.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

From BPMN Process Models to BPEL Web Services.
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Service Interaction Modeling: Bridging Global and Local Views.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

Workflow Exception Patterns.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

Translating Standard Process Models to BPEL.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis.
Proceedings of the Business Process Management, 4th International Conference, 2006

On the Suitability of BPMN for Business Process Modelling.
Proceedings of the Business Process Management, 4th International Conference, 2006

On the suitability of UML 2.0 activity diagrams for business process modelling.
Proceedings of the Conceptual Modelling 2006, 2006

Developing a Business Process Reference Model for the Screen Business - A Design Science Research Case Study.
Proceedings of the Australasian Conference on Information Systems, 2006

2005
YAWL: yet another workflow language.
Inf. Syst., 2005

Orchestrating interrelated trading activities.
Int. J. Bus. Process. Integr. Manag., 2005

Probabilistic Automated Bidding in Multiple Auctions.
Electron. Commer. Res., 2005

On the Notion of Coupling in Communication Middleware.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

WofBPEL: A Tool for Automated Analysis of BPEL Processes.
Proceedings of the Service-Oriented Computing, 2005

The Price of Services.
Proceedings of the Service-Oriented Computing, 2005

Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams.
Proceedings of the Conceptual Modeling, 2005

Workflow Data Patterns: Identification, Representation and Tool Support.
Proceedings of the Conceptual Modeling, 2005

Life After BPEL?
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Specification of Composite Trading Activities in Supply Chain Management.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

When are two Workflows the Same?
Proceedings of the Theory of Computing 2005, 2005

Workflow Resource Patterns: Identification, Representation and Tool Support.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets.
Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE '05), 2005

Guided Interaction: A Language and Method for Incremental Revelation of Software Interfaces for Ad Hoc Interaction.
Proceedings of the Business Process Management Workshops, 2005

Service Interaction Patterns.
Proceedings of the Business Process Management, 3rd International Conference, 2005

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Introduction.
Proceedings of the Process-Aware Information Systems: Bridging People and Software Through Process Technology, 2005

Patterns of Process Modeling.
Proceedings of the Process-Aware Information Systems: Bridging People and Software Through Process Technology, 2005

2004
Design and Implementation of the YAWL System.
Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

2003
Workflow Patterns.
Distributed Parallel Databases, 2003

Fundamentals of control flow in workflows.
Acta Informatica, 2003

Property Propagation Rules for Prioritizing and Synchronizing Trading Activities.
Proceedings of the 2003 IEEE International Conference on Electronic Commerce (CEC 2003), 2003

A Model for the Configurable Composition and Synchronization of Complex Trading Activities.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

The Application of Activity Theory to Dynamic Workflow Adaptation Issues.
Proceedings of the Seventh Pacific Asia Conference on Information Systems, 2003

Capabilities: Describing What Services Can Do.
Proceedings of the Service-Oriented Computing, 2003

Pattern Based Analysis of Eai Languages - The Case of the Business Modeling Language.
Proceedings of the ICEIS 2003, 2003

Web Service Composition Languages: Old Wine in New Bottles?.
Proceedings of the 29th EUROMICRO Conference 2003, 2003

Analysis of Web Services Composition Languages: The Case of BPEL4WS.
Proceedings of the Conceptual Modeling, 2003

Extending Conceptual Models for Web Based Applications.
Proceedings of the Conceptual Modeling, 2003

Business Process Management: A Survey.
Proceedings of the Business Process Management, International Conference, 2003

2002
A formal approach to negotiating agents development.
Electron. Commer. Res. Appl., 2002

What's in a Service?
Distributed Parallel Databases, 2002

A probabilistic approach to automated bidding in alternative auctions.
Proceedings of the Eleventh International World Wide Web Conference, 2002

An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions.
Proceedings of the 12th International Workshop on Research Issues in Data Engineering: Engineering E-Commerce/E-Business Systems, 2002

2001
Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents.
J. Appl. Non Class. Logics, 2001

Model Formulation: Requirements for Medical Modeling Languages.
J. Am. Medical Informatics Assoc., 2001

Viewpoint: Progress with Formalization in Medical Informatics?
J. Am. Medical Informatics Assoc., 2001

Belief Revision for Adaptive Information Filtering Agents.
Int. J. Cooperative Inf. Syst., 2001

UML Activity Diagrams as a Workflow Specification Language.
Proceedings of the «UML» 2001, 2001

A formal approach to legal negotiation.
Proceedings of the Eigths International Conference on Artificial Intelligence and Law, 2001

Towards A Semantic Framework for Service Description.
Proceedings of the Semantic Issues in E-Commerce Systems, 2001

Retrofitting Workflows for B2B Assembly.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Nonmonotonic Reasoning or Adaptive Information Filtering.
Proceedings of the 24th Australasian Computer Science Conference (ACSC 2001), 29 January, 2001

2000
Verification Of Workflow Task Structures: A Petri-net-baset Approach.
Inf. Syst., 2000

A reflective infrastructure for workflow adaptability.
Data Knowl. Eng., 2000

Applying Maxi-adjustment to Adaptive Information Filtering Agents
CoRR, 2000

Formal description of disease courses.
Artif. Intell. Medicine, 2000

A Logic-Based Approach for Adaptive Information Filtering Agents.
Proceedings of the Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader, Four Workshops held at PRICAI 2000, Melbourne, Australia, August 28, 2000

Service Composition for Electronic Commerce.
Proceedings of the Fourth Pacific Asia Conference on Information Systems, 2000

Belief revision and possibilistic logic for adaptive information filtering agents.
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Advanced Workflow Patterns.
Proceedings of the Cooperative Information Systems, 7th International Conference, 2000

On Structured Workflow Modelling.
Proceedings of the Advanced Information Systems Engineering, 2000

1999
On the Complexity of Some Verification Problems in Process Control Specifications.
Comput. J., 1999

Formal description of temporal knowledge in case reports.
Artif. Intell. Medicine, 1999

Modelling Concurrent Process Coordination in Workflow Specifications.
Proceedings of the Information System Concepts: An Integrated Discipline Emerging, 1999

A Study of Belief Revision in the Context of Adaptive Information Filtering.
Proceedings of the Internet Applications, 5th International Computer Science Conference, 1999

Specifying Complex Process Control Aspects in Workflows for Exception Handling.
Proceedings of the Database Systems for Advanced Applications, 1999

Modeling Extensions for Concurrent Workflow Coordination.
Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, 1999

1998
Towards the construction of workflow-suitable conceptual modelling techniques.
Inf. Syst. J., 1998

How to formalize it?: Formalization principles for information system development methods.
Inf. Softw. Technol., 1998

Deriving Identity from Extensionality.
Int. J. Softw. Eng. Knowl. Eng., 1998

Verification Problems in Conceptual Workflow Specifications.
Data Knowl. Eng., 1998

1997
On the Feasibility of Situational Method Engineering.
Inf. Syst., 1997

Exploiting Fact Verbalisation in Conceptual Information Modelling.
Inf. Syst., 1997

A unifying framework for conceptual data modelling concepts.
Inf. Softw. Technol., 1997

Formalization of Communication and Behaviour in Object-Oriented Analysis.
Data Knowl. Eng., 1997

Applications of a Categorical Framework for Conceptual Data Modelling.
Acta Informatica, 1997

Essential Principles for Workflow Modelling Effectiveness.
Proceedings of the Third Pacific Asia Conference on Information Systems, 1997

Towards Real-Scale Business Transaction Workflow Modelling.
Proceedings of the Advanced Information Systems Engineering, 1997

1996
A Category Theory Approach to Conceptual Data Modeling.
RAIRO Theor. Informatics Appl., 1996

Meta-CASE: Is the game worth the candle?
Inf. Syst. J., 1996

Query Formulation as an Information Retrieval Problem.
Comput. J., 1996

Conceptual Data Modelling from a Categorical Perspective.
Comput. J., 1996

An Algebraic Semantics for Object-Oriented Behaviour Modeling.
Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

1995
Feasibility of Flexible Information Modelling Support
Proceedings of the Advanced Information Systems Engineering, 7th International Conference, 1995

Computer Supported Query Formulation in an Evolving Context.
Proceedings of the Sixth Australasian Database Conference, 1995

1994
Fact Orientation in Complex Object Role Modelling Techniques.
Proceedings of the First International Conference on Object-Role Modelling, 1994

Supporting Information Disclosure in an Evolving Environment.
Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

1993
Formal definition of a conceptual language for the description and manipulation of information models.
Inf. Syst., 1993

Task structure semantics through process algebra.
Softw. Eng. J., 1993

Expressiveness in Conceptual Data Modelling.
Data Knowl. Eng., 1993

1992
Formalization of techniques: chopping down the methodology jungle.
Inf. Softw. Technol., 1992

Uniquest: Determining the Semantics of Complex Uniqueness Constraints.
Comput. J., 1992

Integrated Specification of Method and Graphic Knowledge.
Proceedings of the SEKE'92, 1992

Data Modelling in Complex Application Domains.
Proceedings of the Advanced Information Systems Engineering, 1992

1991
Semantics and verification of object-role models.
Inf. Syst., 1991

Structuring Modelling Knowledge for CASE Shells.
Proceedings of the Advanced Information Systems Engineering, 1991

1990
The Conceptual Task Model: a Specification Technique between Requirements Engineering and Program Development (Extended abstract).
Proceedings of the Advanced Information Systems Engineering, 1990


  Loading...