A formal foundation for distributed workflow execution based on state chartsDirk Wodtke, Gerhard Weikum1997-01-01otherLecture notes in computer science129 citationsclosedNo readable copy stored yet — this record is metadata only.Business Process Modeling and AnalysisFormal Methods in VerificationModel-Driven Software Engineering TechniquesAbstractNo abstract was published for this record.Citations in this libraryStored only when both papers are in the corpus — 129 citations exist upstream.References1995An overview of workflow management: From process modeling to workflow automation infrastructure2002The Mentor project: steps towards enterprise-wide workflow managementCited by2003Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets2006Evolution of Process Choreographies in DYCHOR1999Declarative workflows that support easy modification and dynamic browsing2003Dealing with forward and backward jumps in workflow management systems2013Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs2002On the discovery of process models from their instances2008Dynamic Workflow Modeling and Analysis in Incident Command Systems2006On the Controlled Evolution of Process Choreographies