Foundations of Relational Artifacts Verification

Abstract

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

Topics

Statistics

020402009201020112012201320142015201620172018
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