A Formal Model of Dataflow Repositories

Hidders, Jan; Kwasnikowska, Natalia; Sroka, Jacek; Tyszkiewicz, Jerzy; Bussche, Jan Van den

doi:10.1007/978-3-540-73255-6_11

Cited by 16 publications

(24 citation statements)

References 17 publications

(30 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In an earlier paper [6], we gave the formal specification of a dataflow repository. In this section we show how we can represent all aspects of that formal model on top of a modern SQL platform.…”

Section: Complex-object Dataflow Databasementioning

confidence: 99%

“…These structures can be arbitrarily nested: we use the complex-object data model [39]. For more details on the theory, including the type system, we refer to our previous paper [6], as here we are focusing more on the implementation and use of the system.…”

Section: Complex Datamentioning

confidence: 99%

“…Another example is shown in Figure 6. Actually, our system is typed [6], so input and return types, as well as service signatures should also be specified. For simplicity of presentation, however, we omit the typing system.…”

Section: Nrc Dataflowsmentioning

confidence: 99%

“…In response to this problem, in an earlier paper [6], we gave the formal specification of an integrated dataflow repository. In the current paper, we show how an implementation of this system on top of a modern but standard SQL platform, enables the querying of dataflows and dataflow executions in an integrated manner.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Querying an Integrated Complex-Object Dataflow Database

Kwasnikowska

Bussche

2013

In Search of Elegance in the Theory and Practice of Computation

Self Cite

View full text Add to dashboard Cite

Abstract. We consider an integrated complex-object dataflow database in which multiple dataflow specifications can be stored, together with multiple executions of these dataflows, including the complex-object data that are involved, and annotations. We focus on dataflow applications frequently encountered in the scientific community, involving the manipulation of data with a complex-object structure combined with service calls, which can be either internal or external. Internal services are dataflows acting as a subprogram of an other dataflow, whereas external services are modeled as functions with a possibly non-deterministic behavior. Dataflow specifications are expressed in a high-level programming language based on the nested relational calculus, the operators of which provide the right "glue" needed to combine different service calls into a complex-object dataflow. All entities involved, whether complex-objects, dataflow executions or dataflow specifications, are first-class citizens of the integrated database: they are all data. We discuss how such dataflow repositories can be queried in a variety of ways, including provenance queries. We show that a modern SQL platform with support for (external) routines and SQL/XML suffices to support all types of dataflow repository queries.

show abstract

Section: Complex-object Dataflow Databasementioning

confidence: 99%

Section: Complex Datamentioning

confidence: 99%

Section: Nrc Dataflowsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Querying an Integrated Complex-Object Dataflow Database

Kwasnikowska

Bussche

2013

In Search of Elegance in the Theory and Practice of Computation

Self Cite

View full text Add to dashboard Cite

show abstract

“…For workflow provenance, many implementations exist [7], [8] but formal definitions of the meaning of workflow programs have only started to appear recently (see for example [33], [34]), while the provenance semantics of these tools is usually specified informally, at best [7]. As a result there is a variety of models and styles of provenance for workflows.…”

Section: Related and Future Workmentioning

confidence: 99%

A Formal Framework for Provenance Security

Cheney

2011

2011 IEEE 24th Computer Security Foundations Symposium

View full text Add to dashboard Cite

Abstract-Provenance, or information about the origin, derivation, or history of data, is becoming an important topic especially for shared scientific or public data on the Web. It clearly has implications on security (and vice versa) yet these implications are not well-understood. A great deal of work has focused on mechanisms for recording, managing or using some kind of provenance information, but relatively little progress has been made on foundational models that define provenance and relate it to security goals such as availability, confidentiality or privacy. We argue that such foundations are essential to making meaningful progress on these problems and should be developed. In this paper, we outline a formal model of provenance, propose formalizations of security properties for provenance such as disclosure and obfuscation, and explore their implications in domains based on automata, database queries and workflow provenance graphs.

show abstract

Mapping the NRC Dataflow Model to the Open Provenance Model

Kwasnikowska

Bussche

2008

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. The Open Provenance Model (OPM) has recently been proposed as an exchange framework for workflow provenance information. In this paper we show how the NRC data model for workflow repositories can be mapped to the OPM. Our mapping includes such features as complex data flow in an execution of a workflow; different workflows in the repository that call each other; and the tracking of subvalues of complex data structures in the provenance information. Because the NRC dataflow model has been formally specified, also our mapping can be formally specified; in particular, it can be automated. To facilitate this specification, we present an adapted set-theoretic formalization of the basic OPM.

show abstract

A Formal Model of Dataflow Repositories

Cited by 16 publications

References 17 publications

Querying an Integrated Complex-Object Dataflow Database

Querying an Integrated Complex-Object Dataflow Database

A Formal Framework for Provenance Security

Mapping the NRC Dataflow Model to the Open Provenance Model

Contact Info

Product

Resources

About