Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/958
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hidders, J. | - |
dc.contributor.author | KWASNIKOWSKA, Natalia | - |
dc.contributor.author | Sroka, J. | - |
dc.contributor.author | Tyszkiewicz, J. | - |
dc.contributor.author | VAN DEN BUSSCHE, Jan | - |
dc.date.accessioned | 2006-05-12T12:43:41Z | - |
dc.date.available | 2006-05-12T12:43:41Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: COOPIS, DOA, AND ODBASE, PT 1, PROCEEDINGS. p. 220-237 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/1942/958 | - |
dc.description.abstract | In 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. | - |
dc.format.extent | 676459 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Springer | - |
dc.relation.ispartofseries | LECTURE NOTES IN COMPUTER SCIENCE | - |
dc.title | Petri Net + Nested relational Calculus = Dataflow | - |
dc.type | Journal Contribution | - |
local.bibliographicCitation.conferencename | ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: COOPIS, DOA, AND ODBASE, PT 1 | - |
dc.identifier.epage | 237 | - |
dc.identifier.spage | 220 | - |
local.bibliographicCitation.jcat | A1 | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
local.relation.ispartofseriesnr | 3760 | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.isi | 000233741400016 | - |
item.accessRights | Open Access | - |
item.fullcitation | Hidders, J.; KWASNIKOWSKA, Natalia; Sroka, J.; Tyszkiewicz, J. & VAN DEN BUSSCHE, Jan (2005) Petri Net + Nested relational Calculus = Dataflow. In: ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: COOPIS, DOA, AND ODBASE, PT 1, PROCEEDINGS. p. 220-237. | - |
item.contributor | Hidders, J. | - |
item.contributor | KWASNIKOWSKA, Natalia | - |
item.contributor | Sroka, J. | - |
item.contributor | Tyszkiewicz, J. | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
item.fulltext | With Fulltext | - |
crisitem.journal.issn | 0302-9743 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
petri.pdf | Published version | 660.6 kB | Adobe PDF | View/Open |
WEB OF SCIENCETM
Citations
5
checked on Apr 19, 2024
Page view(s)
44
checked on Sep 7, 2022
Download(s)
172
checked on Sep 7, 2022
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.