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ƒalardalen Universit.
Volvo Information Technology, Skƒovde.
2008 (English)In: Proceedings of the 1st International workshop on Complex Event Processing for the Future Internet - Realizing Reactive Future Internet, FIS 2008, CEUR-WS.org , 2008, 10 sidor- p.Conference 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. 10 sidor- p.
Series
CEUR WS series, ISSN 1613-0073
National Category
Computer and Information Science
Research subject
Technology
Identifiers
URN: urn:nbn:se:his:diva-2573OAI: oai:DiVA.org:his-2573DiVA: diva2:136167
Conference
The 1st International workshop on Complex Event Processing for the Future Internet - Realizing Reactive Future Internet, FIS 2008
Available from: 2009-01-21 Created: 2009-01-21 Last updated: 2013-03-26

Open Access in DiVA

No full text

Other links

http://icep-fis08.fzi.de/papers/iCEP08_2.pdf

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

Total: 725 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