The Transcoop Specification Environment

Faase, F.J.; Even, Susan; By, R.A. de

doi:10.1007/978-1-4615-5679-4_6

Cited by 2 publications

(7 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The COCOA coordination model [FEdB96,FEdBA97,FEdB98], developed at the University of Twente, offers a rich set of primitives to describe the organizational structure of a cooperative activity. COCOA stands for Coordinated Cooperation Agendas.…”

Section: Organizing the Work Process: The Cocoa Coordination Modelmentioning

confidence: 99%

“…With regard to single workspaces the application designer can specify a set of execution order rules [FEdB96,FEdBA97,FEdB98]. These rules pose workflow-like restrictions on the order and existence of operations in a workspace history.…”

Section: Constraints On Single Workpacesmentioning

confidence: 99%

“…This allows the enforcement of execution order rules even for those applications, where the workspaces are not permanently connected, e.g., in mobile environments [KTW97b,KTW97a]. For more details on execution order rules, see [FEdB96,FEdBA97,FEdB98, KTW + 96d].…”

Section: Constraints On Single Workpacesmentioning

confidence: 99%

See 2 more Smart Citations

Transactional Support for Cooperative Applications

Wäsch

Aberer

Neuhold

1998

Workflow Management Systems and Interoperability

View full text Add to dashboard Cite

show abstract

Section: Organizing the Work Process: The Cocoa Coordination Modelmentioning

confidence: 99%

Section: Constraints On Single Workpacesmentioning

confidence: 99%

See 1 more Smart Citation

Transactional Support for Cooperative Applications

Wäsch

Aberer

Neuhold

1998

Workflow Management Systems and Interoperability

View full text Add to dashboard Cite

show abstract

“…In path expressions, for example, the parallel iteration operator must not contain other parallel iterations, while operands of a parallel composition in synchronization expressions must have disjoint alphabets. regular expressions CoCoA execution rules [9] path expressions [2] synchronization expressions [10] ev ent and flow expressions [22,23] ?? ?…”

Section: Extended Regular Expression Formalismsmentioning

confidence: 99%

“…8, two interaction expressions x 1 and x 2 are considered equal or equivalent, if they possess the same alphabet and accept the same complete and partial words. 9 Given this equivalence relation, numerous useful properties of interaction expressions, like commutativity, associativity, or idempotence of operators, which are intuitively evident, can be formally proven [12].…”

Section: Properties Of Interaction Expressionsmentioning

confidence: 99%

Workflow and process synchronization with interaction expressions and graphs

Heinlein

Proceedings 17th International Conference on Data Engineering

View full text Add to dashboard Cite

Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. While this simplified view might suffice for one application domain or the other, there are many real-world application scenarios where workflows − − though independently modeled in order to remain comprehensible and manageable − − are semantically interrelated. As pragmatical approaches, like merging interdependent workflows or inter-workflow message passing, do not satisfactorily solve the inter-workflow coordination problem, interaction expressions and graphs are proposed as a simple yet powerful formalism for the specification and implementation of synchronization conditions in general and inter-workflow dependencies in particular. In addition to a graph-based semi-formal interpretation of the formalism, a precise formal semantics, an equivalent operational semantics, an efficient implementation of the latter, and detailed complexity analyses have been developed allowing the formalism to be actually applied to solve real-world problems like inter-workflow coordination.

show abstract

The Transcoop Specification Environment

Cited by 2 publications

References 0 publications

Transactional Support for Cooperative Applications

Transactional Support for Cooperative Applications

Workflow and process synchronization with interaction expressions and graphs

Contact Info

Product

Resources

About