article · 2004

Applying model checking to workflow verification

Jérôme Pfeiffer, Wilhelm Rossak, Andreas Speck

Cited by 12Abstract and details only

Abstract

Model checking is a technique for the verification of temporal logic specifications in state-transition systems. It can be applied to software, at design stages as well as at source code level. The latter in particular is constricted by the large space requirements of model checking. However, model checking is a promising technique for the improvement of software quality. We examined the applicability of existing model checking methods and tools to software in general and with a focus on e-commerce software systems developed at Intershop. Although model checking is currently not applicable to all domains, it is useful for certain restricted fields of application. One of these domains are Intershop's e-commerce systems, consisting of so called pipelines. We show the source code related verification concept for these pipelines and is part of an overall concept for the verification and quality assurance of Intershop's products.

Cite this paper

APA 7

Pfeiffer, J., Rossak, W., & Speck, A. (2004). Applying model checking to workflow verification. https://doi.org/10.1109/ecbs.2004.1316693

MLA 9

Pfeiffer, Jérôme, et al. “Applying model checking to workflow verification.” 2004, pp. 144–51, https://doi.org/10.1109/ecbs.2004.1316693.

Chicago

Pfeiffer, Jérôme, Wilhelm Rossak, and Andreas Speck. 2004. “Applying model checking to workflow verification.” https://doi.org/10.1109/ecbs.2004.1316693.

Harvard

Pfeiffer, J., Rossak, W. and Speck, A. (2004) ‘Applying model checking to workflow verification’. Available at: https://doi.org/10.1109/ecbs.2004.1316693.

BibTeX

@article{pfeiffer2004applying,
  title = {{Applying model checking to workflow verification}},
  author = {Pfeiffer, Jérôme and Rossak, Wilhelm and Speck, Andreas},
  pages = {144--151},
  year = {2004},
  doi = {10.1109/ecbs.2004.1316693}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.