Foundations of Relational Artifacts Verification


Artifacts are entities characterized by data of interest (constituting the state of the artifact) in a given business application, and a lifecycle, which constrains the artifact’s possible evolutions. In this paper we study relational artifacts, where data are represented by a full fledged relational database, and the lifecycle is described by a temporal… (More)
DOI: 10.1007/978-3-642-23059-2_28

2 Figures and Tables



Citations per Year

61 Citations

Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics