IEEE - Institute of Electrical and Electronics Engineers, Inc. - RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes

2009 IEEE International Conference on Semantic Computing (ICSC)

Author(s): Ibanez, M.J. ; Alvarez, P. ; Ezpeleta, J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2009
Conference Location: Berkeley, CA, USA, USA
Conference Date: 14 September 2009
Page(s): 245 - 252
ISBN (CD): 978-0-7695-3800-6
ISBN (Paper): 978-1-4244-4962-0
DOI: 10.1109/ICSC.2009.13
Regular:

Semantic Business Processes require new analysis techniques able to deal with behavioral properties that also consider semantic aspects. In this paper, a model checking method is introduced... View More

Advertisement