Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models

Radoslaw Klimek

Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models

Software Engineering 2014-06-27 v1

Authors: Radoslaw Klimek

Abstract

The work relates to the automatic generation of logical specifications, considered as sets of temporal logic formulas, extracted directly from developed software models. The extraction process is based on the assumption that the whole developed model is structured using only predefined workflow patterns. A method of automatic transformation of workflow patterns to logical specifications is proposed. Applying the presented concepts enables bridging the gap between the benefits of deductive reasoning for the correctness verification process and the difficulties in obtaining complete logical specifications for this process.

Keywords

temporal logic logic programming program analysis

Cite

@article{arxiv.1406.7000,
  title  = {Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models},
  author = {Radoslaw Klimek},
  journal= {arXiv preprint arXiv:1406.7000},
  year   = {2014}
}

Related papers

View all related →