Research graph
References from Verification problems in conceptual workflow specifications. Local targets link to admitted publications; unresolved targets remain external evidence.
Using flexible transactions to support multi-system telecommunication applications
1992 · External reference
Specifying and enforcing intertask dependencies
1993 · External reference
Unresolved reference
1990 · External reference
Views of formal program development
1992 · External reference
An environment to support problem solving
1989 · External reference
Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows
10.1145/163090.163095 · 1993 · External reference
Conceptual modeling of workflows
1995 · External reference
Organizing long-running activities with triggers and transactions
1990 · External reference
A multidatabase transaction model for interbase
1990 · External reference
General-purpose workflow languages
10.1007/bf01277645 · 1995 · External reference
Unresolved reference
1979 · External reference
An overview of workflow management: From process modelling to workflow automation infrastructure
10.1007/bf01277643 · 1995 · External reference
Narada: An environment for specification and execution of multi-system applications
1992 · External reference
Task structure semantics through process algebra
10.1049/sej.1993.0003 · 1993 · External reference
Meta-CASE: is the game worth the candle?
10.1046/j.1365-2575.1996.00103.x · 1996 · External reference
Complexity of some problems in Petri nets
10.1016/0304-3975(77)90014-7 · 1977 · External reference
Modeling correctness and systems issues in supporting advanced database applications using workflow management systems
1995 · External reference
Managing Heterogenoous multi-system tasks to support enterprise-wide operations
10.1007/bf01277644 · 1995 · External reference
Unresolved reference
1979 · External reference
Unresolved reference
1985 · External reference
CORBA-based run-time architectures for workflow management systems
10.4018/jdm.1996010102 · 1996 · External reference
Unresolved reference
1990 · External reference
Unresolved reference
1981 · External reference
Petri nets: An introduction
10.1007/978-3-642-69968-9 · 1985 · External reference
Towards a model for multidatabase transactions
10.1142/s0218215792000155 · 1992 · External reference
Specification and execution of transactional workflows
1994 · External reference
Formal languages
1973 · External reference
Automated support of the modelling process: A view, based on experiments with expert information engineers
1990 · External reference
Representation of information modelling knowledge
1992 · External reference
