his.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Verification of an industrial rule-based manufacturing system using REX
University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
University of Skövde, School of Humanities and Informatics. University of Skövde, The Informatics Research Centre.
School of Innovation, Design and Engineering, Mälardalen University.
Volvo Information Technology, Skövde.
2008 (English)In: Proceedings of the 1st iCEP08 Workshop onComplex Event Processing for the Future Internet Vienna, Austria, September 28th, 2008 / [ed] Darko Anicic, Christian Brelage, Opher Etzion, Nenad Stojanovic, CEUR-WS.org , 2008, p. 1-10, article id 2Conference paper, Published paper (Refereed)
Abstract [en]

Formal methods are not used in their full potential for enhancing software quality in industry. We argue that seamless support in a high-level specification tool is a viable way to provide system designers with powerful and paradigm specific formal verification techniques. Event condition action (ECA) rules can be used to model and implement reactive behavior in, for example, the semantic web. Independently of target system, the behavior of rule-based systems are known to be hard to analyze. The REX tool is a rule-based front-end to the timed automata CASE-tool Uppaal. The model-checker in Uppaal is used by REX enabling seamless support for model-checking rule-based specifications in REX.

This paper presents experiences from modeling and verifying a system of industrial complexity as interacting rules using EX. We conclude that repeatedly performing normal analysis when constructing a system with interacting rules is a viable way of coping with the complexity of the model. Additionally, we present an implemented algorithm for optimizing the model to reduce the effect of state-space explosion.

Place, publisher, year, edition, pages
CEUR-WS.org , 2008. p. 1-10, article id 2
Series
CEUR WS series, ISSN 1613-0073 ; 412
National Category
Computer and Information Sciences
Research subject
Technology
Identifiers
URN: urn:nbn:se:his:diva-2573Scopus ID: 2-s2.0-84885604285OAI: oai:DiVA.org:his-2573DiVA, id: diva2:136167
Conference
The 1st International workshop on Complex Event Processing for the Future Internet - Realizing Reactive Future Internet, FIS 2008, Vienna, Austria, September 28th, 2008
Available from: 2009-01-21 Created: 2009-01-21 Last updated: 2019-06-18Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

ScopusFulltext

Authority records BETA

Ericsson, AnnMarieBerndtsson, Mikael

Search in DiVA

By author/editor
Ericsson, AnnMarieBerndtsson, Mikael
By organisation
School of Humanities and InformaticsThe Informatics Research Centre
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 950 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf