Title
Petri + nested relational calculus = dataflow Petri + nested relational calculus = dataflow
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Publication type
bookPart
Publication
Subject
Computer. Automation
Source (journal)
On the move to meaningful internet systems 2005: COOPIS, DOA, and ODBASE, pt 1, proceedings
Source (book)
OTM Confederated International Conference and Workshop, OCT 31-NOV 04, 2005, Agia Napa, CYPRUS
Volume/pages
3760(2005) , p. 220-237
ISSN
0302-9743
ISBN
3-540-29736-7
ISI
000233741400016
Carrier
E
Target language
English (eng)
Affiliation
University of Antwerp
Abstract
sIn this paper we propose 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 Petri nets, which are responsible for the organization of the processing tasks, and 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 hierarchical manner, according to a set of refinement rules we propose, are sound: 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 always process all of the input data, leave no "debris data" behind and the output is always eventually computed.
E-info
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000233741400016&DestLinkType=RelatedRecords&DestApp=ALL_WOS&UsrCustomerID=ef845e08c439e550330acc77c7d2d848
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000233741400016&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=ef845e08c439e550330acc77c7d2d848
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000233741400016&DestLinkType=CitingArticles&DestApp=ALL_WOS&UsrCustomerID=ef845e08c439e550330acc77c7d2d848
Handle