Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model

Compensation plays an important role in advanced transaction models, cooperative work and workflow systems. A schema designer is typically required to supply for each transaction another transaction to semantically undo the effects of . Little attention has been paid to the verification of the desirable properties of such operations, however. This paper demonstrates the use of a higher-order logic theorem prover for verifying that compensating transactions return a database to its original state. It is shown how an OODB schema is translated to the language of the theorem prover so that proofs can be performed on the compensating transactions

Advanced Architectures for Transactional Workflows or Advanced Transactions in Workflow Architectures

In this short paper, we outline the workflow management systems research in the Information Systems division at the University of Twente. We discuss the two main themes in this research: architecture design and advanced transaction management. Attention is paid to the coverage of these themes in the context of the completed Mercurius and WIDE projects and in the new CrossFlow project. In the latter project, contracts are introduced as a new theme to support electronic commerce aspects in workflow management

Supporting flexible workflow processes with a progression model

Users require flexibility when interacting with information systems to contend with changing business processes and to support diverse workflow. Model-based user interface design can accommodate flexible business processes by integrating workflow modelling with other modelling approaches. We present a workflow model, the progression model, to help in developing systems that support flexible business processes. The progression model tracks a user’s interaction with an application as a set of data elements we refer to as a workflow transaction. The steps a user takes to create a workflow transaction and the state of the workflow transaction at each step is made explicit. By making the workflow status and workflow transaction state explicit, the user can change the order of the steps in a process, manage multiple workflow transactions, keep track of data as it is accumulated, and so on. The intent is to provide the user with a mechanism to deal with partial information, interrupted and concurrent workflow transaction entry, and the processing of multiple workflow transactions. This thesis describes the progression model, an XML-compliant notation to specify the progression model, and a prototype system

Distributed interoperable workflow support for electronic commerce.

Abstract. This paper describes a flexible distributed transactional workflow environment based on an extensible object-oriented framework built around class libraries, application programming interfaces, and shared services. The purpose of this environment is to support a range of EC-like business activities including the support of financial transactions and electronic contracts. This environment has as its aim to provide key infrastructure services for mediating and monitoring electronic commerce.

The role of Enterprise portals in Enterprise Integration

Today’s enterprises are moving business systems to the Internet - to connect people, business processes, and people to business processes in enterprise and across enterprise boundaries. The portal brings it all together: business processes, departmental sites, knowledge management resources, enterprise management systems, CRM systems, analytics, email, calendars, external content, transactions, administration, workflow, and more. The goal of this paper is to present the role of the Enterprise Portal in internal and external enterprise integration.Portal, Enterprise Portal, Integration, ETL, EAI, EII

Modelling long-lived health care workflow transactions

Due to the increasing automation of health care, health care work ows have received signi cant attention over the last few years. This paper discusses the di erences between typical business processes and health care work ows, and introduces a layered architecture suitable for health care work ow models.We present a rules-based approach for mod- elling long-lived health care work ow transactions, and we discuss a set of transactional integrity rules speci c to the work ow patterns found in traditional business processes and show how these rules can be used to design health care work ows with transactional characteristics.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Modelling long-lived health care workflow transactions

Due to the increasing automation of health care, health care work ows have received signi cant attention over the last few years. This paper discusses the di erences between typical business processes and health care work ows, and introduces a layered architecture suitable for health care work ow models.We present a rules-based approach for mod- elling long-lived health care work ow transactions, and we discuss a set of transactional integrity rules speci c to the work ow patterns found in traditional business processes and show how these rules can be used to design health care work ows with transactional characteristics.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Facilitating B2B E-business by IT-supported business process negotiation services

Due to the complexity of business transactions and growing business automation demands from the B2B e-business community to swiftly respond to the ever-changing environment, workflow technology has been receiving more attention recently. The increasing popularity and adoption of workflow management system (WfMS) within organisations make workflow-based B2B e-business practically viable since more and more business transactions are implemented as automated processes and executed by WfMSs. Having been viewed as services by many researchers and practitioners, process-driven B2B e-business are conducted through service discovery and runtime execution. However, if there is no existing service provided by a desired business partner that matches the requirement then such a process will have to be negotiated and then created. Unfortunately, direct people-to-people negotiation followed by manual transformation of the negotiation outcome into processdriven services can be very resource consuming. Therefore, it is identified that there is a research gap in computer-aided negotiation approach for process-driven B2B e-business. This paper introduces essentials of workflow technology and negotiation. It then describes ways of capturing elements of negotiation from an operational view point. Finally, it explains how to integrate the IT-supported negotiation services into an overall cross-organisational workflow collaboration (COWCO) supporting framework

Research on Role-Centric Collaborative Technology

With the development of e-business, the collaboration between enterprises is increasingly strengthened, which, at the same time, challenges coordination technologies in distributed enterprise transactions. Workflow management has as its priority the support of coordination functions and workflow interoperability points the way towards collaborative business environments. Though WfMC, Workflow Management Coalition, specifies the abstract interoperability, differences such as workflow concept models, ontology etc. cannot be dealt with effectively because the specification is only technical. On the other hand, portal technology focuses on the integration of information and application services customized according to roles. It can provide support for the interoperability of workflows. In this paper, workflows are integrated with portal technology. And a role centric collaborative environment is proposed which is a way out for problems existing in workflow interoperability