Home // ADVCOMP 2012, The Sixth International Conference on Advanced Engineering Computing and Applications in Sciences // View article

COMBAS: a Semantic-Based Model Checking Framework

Authors:
Eduardo González-López de Murillas
Javier Fabra
Pedro Alvarez
Joaquin Ezpeleta

Keywords: Semantic Annotated Processes; RDF; SMT; Highlevel Petri Nets.

Abstract:
The introduction of semantic aspects in scientific workflows is a powerful approach that allows the analysis of the workflow prior to its development and deployment. In this paper, the COMBAS framework for the semantic-based model checking processing is presented. COMBAS integrates the required languages and tools and implements its own algorithms in order to allow the verification of properties on a model specified with the U-RDF-PN formalism, a high-level Petri net-based formalism, which introduces parametric semantic annotations in the model. COMBAS facilitates the generation of temporal logic formulae to express the properties that are going to be verified in the model as well as it provides system designers with an RDF and CTL adapted environment to browse and review the results. The suitability of the proposed framework is demonstrated by means of its application to the analysis of the EBI InterProScan scientific workflow.

Pages: 46 to 52

Copyright: Copyright (c) IARIA, 2012

Publication date: September 23, 2012

Published in: conference

ISSN: 2308-4499

ISBN: 978-1-61208-237-0

Location: Barcelona, Spain

Dates: from September 23, 2012 to September 28, 2012