TU Darmstadt / ULB / TUbiblio

From Harel To Kripke: A Provable Datamodel for SCXML

Radomski, Stefan and Neubacher, Tim and Schnelle-Walka, Dirk (2014):
From Harel To Kripke: A Provable Datamodel for SCXML.
In: EICS2014 Engineering Interactive Systems with SCXML Workshop Proceedings, [Conference or Workshop Item]

Abstract

When writing critical applications, developers need a way to formally prove that the resulting system complies to a set of constraints and exposes a specified behavior. With SCXML being a markup language for Harel state-charts, there is an untapped possibility to reduce the expressiveness of its embedded datamodel to enable model-checking techniques. In this paper we introduce a Promela datamodel for SCXML documents, enabling to transform these documents onto input files for the SPIN model-checker. By retaining most of the semantics, developers can prove various properties of systems expressed via SCXML documents employing this datamodel.

Item Type: Conference or Workshop Item
Erschienen: 2014
Creators: Radomski, Stefan and Neubacher, Tim and Schnelle-Walka, Dirk
Title: From Harel To Kripke: A Provable Datamodel for SCXML
Language: English
Abstract:

When writing critical applications, developers need a way to formally prove that the resulting system complies to a set of constraints and exposes a specified behavior. With SCXML being a markup language for Harel state-charts, there is an untapped possibility to reduce the expressiveness of its embedded datamodel to enable model-checking techniques. In this paper we introduce a Promela datamodel for SCXML documents, enabling to transform these documents onto input files for the SPIN model-checker. By retaining most of the semantics, developers can prove various properties of systems expressed via SCXML documents employing this datamodel.

Divisions: 20 Department of Computer Science > Telecooperation
20 Department of Computer Science
Event Title: EICS2014 Engineering Interactive Systems with SCXML Workshop Proceedings
Date Deposited: 30 Apr 2015 11:39
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item