Petri nets: an introduction
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)
Self-Modifying Nets, a Natural Extension of Petri Nets
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Checking properties of nets using transformation
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
A top-down Petri net-based approach for dynamic workflow modeling
BPM'03 Proceedings of the 2003 international conference on Business process management
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Petri net + nested relational calculus = dataflow
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Process Algebra-Based Query Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II
Fundamenta Informaticae
Scientific Workflows: Business as Usual?
BPM '09 Proceedings of the 7th International Conference on Business Process Management
A formal semantics for the Taverna 2 workflow model
Journal of Computer and System Sciences
Proceedings of the 1st International Workshop on Workflow Approaches to New Data-centric Science
A graph model of data and workflow provenance
TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
Actor Petri net model for scientific workflows: model, design and system
Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II
Fundamenta Informaticae
A continuous workflow scheduling framework
Proceedings of the 2nd ACM SIGMOD Workshop on Scalable Workflow Execution Engines and Technologies
Modeling and optimizing large-scale data flows
Future Generation Computer Systems
Hi-index | 0.00 |
In this paper we propose DFL-a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the manipulated data is reflected in the structure of the workflow. It is a common extension of (1) Petri nets, which are responsible for the organization of the processing tasks, and (2) nested relational calculus, which is a database query language over complex objects, and is responsible for handling collections of data items (in particular, for iteration) and for the typing system. We demonstrate that dataflows constructed in a hierarchical manner, according to a set of refinement rules we propose, are semi-sound, i.e., initiated with a single token (which may represent a complex scientific data collection) in the input node, terminate with a single token in the output node (which represents the output data collection). In particular they never leave any ''debris data'' behind and an output is always eventually computed regardless of how the computation proceeds.