资源分类
》 资源 》论文》A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results

A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results

2019-11-12 | |  53 |   41 |   0
Abstract We present a formal investigation of artifact-based systems, a relatively novel framework in service oriented computing, aimed at laying the foundations for verifying these systems through model checking. We present an in?nite-state, computationally grounded semantics for these systems that allows us to reason about temporal-epistemic speci?cations. We present abstraction techniques for the semantics that guarantee transfer of satisfaction from the abstract system to the concrete one.

上一篇：First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription

下一篇：Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...