Support for verifying pervasive behavior by mapping task models to petri nets

Estefania Serral; Monique Snoeck; Johannes De Smedt

doi:10.1109/SEAA.2017.27

Support for verifying pervasive behavior by mapping task models to petri nets

Estefania Serral, Monique Snoeck, Johannes De Smedt

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

Task Models (TMs) that can adapt to context are a state-of-the-art executable modeling language that has proven to be successful in the automation and support of daily user tasks in pervasive systems. TMs are intuitive and easy to use to design such systems, however, they do not provide any verification technique for ensuring their correctness. To enable verification checking, we investigate and define mappings that can translate TMs to Context-Adaptive Petri Nets (CAPNs).CAPN is a recently proposed formalism to support Petri Nets(PNs) that take into account their execution context. Using PNas a base, CAPN provides powerful techniques for behavior simulation and verification. By applying the defined mappings,pervasive system’s behavior can be intuitively represented using task models and then translated to their equivalent CAPNs. These CAPNs can be then used to perform an exhaustive checking of the represented behavior at design time in order to ensure a proper and safe system execution at run time.

Original language	English
Title of host publication	2017 43rd Euromicro Conference on Software Engineering and Advanced Applications
Editors	A Skavhaug, H Olsson, M Felderer
Publisher	Institute of Electrical and Electronics Engineers
Pages	181-188
ISBN (Print)	978-1-5386-2141-7/17
DOIs	https://doi.org/10.1109/SEAA.2017.27
Publication status	Published - 26 Sept 2017
Event	Euromicro Conference on Software Engineering and Advanced Applications - Vienna, Austria Duration: 30 Aug 2017 → 1 Sept 2017

Conference

Conference	Euromicro Conference on Software Engineering and Advanced Applications
Abbreviated title	SEAA 2017
Country/Territory	Austria
City	Vienna
Period	30/08/17 → 1/09/17

Access to Document

10.1109/SEAA.2017.27

Cite this

Serral, E., Snoeck, M., & De Smedt, J. (2017). Support for verifying pervasive behavior by mapping task models to petri nets. In A. Skavhaug, H. Olsson, & M. Felderer (Eds.), 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (pp. 181-188). Article 8051346 Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/SEAA.2017.27

@inproceedings{effde02f99914b75a24b76799e252ca3,

title = "Support for verifying pervasive behavior by mapping task models to petri nets",

abstract = "Task Models (TMs) that can adapt to context are a state-of-the-art executable modeling language that has proven to be successful in the automation and support of daily user tasks in pervasive systems. TMs are intuitive and easy to use to design such systems, however, they do not provide any verification technique for ensuring their correctness. To enable verification checking, we investigate and define mappings that can translate TMs to Context-Adaptive Petri Nets (CAPNs).CAPN is a recently proposed formalism to support Petri Nets(PNs) that take into account their execution context. Using PNas a base, CAPN provides powerful techniques for behavior simulation and verification. By applying the defined mappings,pervasive system{\textquoteright}s behavior can be intuitively represented using task models and then translated to their equivalent CAPNs. These CAPNs can be then used to perform an exhaustive checking of the represented behavior at design time in order to ensure a proper and safe system execution at run time.",

author = "Estefania Serral and Monique Snoeck and {De Smedt}, Johannes",

year = "2017",

month = sep,

day = "26",

doi = "10.1109/SEAA.2017.27",

language = "English",

isbn = "978-1-5386-2141-7/17",

pages = "181--188",

editor = "A Skavhaug and H Olsson and M Felderer",

booktitle = "2017 43rd Euromicro Conference on Software Engineering and Advanced Applications",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2017 ; Conference date: 30-08-2017 Through 01-09-2017",

}

Serral, E, Snoeck, M & De Smedt, J 2017, Support for verifying pervasive behavior by mapping task models to petri nets. in A Skavhaug, H Olsson & M Felderer (eds), 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications., 8051346, Institute of Electrical and Electronics Engineers, pp. 181-188, Euromicro Conference on Software Engineering and Advanced Applications, Vienna, Austria, 30/08/17. https://doi.org/10.1109/SEAA.2017.27

Support for verifying pervasive behavior by mapping task models to petri nets. / Serral, Estefania; Snoeck, Monique; De Smedt, Johannes.
2017 43rd Euromicro Conference on Software Engineering and Advanced Applications. ed. / A Skavhaug; H Olsson; M Felderer. Institute of Electrical and Electronics Engineers, 2017. p. 181-188 8051346.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Support for verifying pervasive behavior by mapping task models to petri nets

AU - Serral, Estefania

AU - Snoeck, Monique

AU - De Smedt, Johannes

PY - 2017/9/26

Y1 - 2017/9/26

N2 - Task Models (TMs) that can adapt to context are a state-of-the-art executable modeling language that has proven to be successful in the automation and support of daily user tasks in pervasive systems. TMs are intuitive and easy to use to design such systems, however, they do not provide any verification technique for ensuring their correctness. To enable verification checking, we investigate and define mappings that can translate TMs to Context-Adaptive Petri Nets (CAPNs).CAPN is a recently proposed formalism to support Petri Nets(PNs) that take into account their execution context. Using PNas a base, CAPN provides powerful techniques for behavior simulation and verification. By applying the defined mappings,pervasive system’s behavior can be intuitively represented using task models and then translated to their equivalent CAPNs. These CAPNs can be then used to perform an exhaustive checking of the represented behavior at design time in order to ensure a proper and safe system execution at run time.

AB - Task Models (TMs) that can adapt to context are a state-of-the-art executable modeling language that has proven to be successful in the automation and support of daily user tasks in pervasive systems. TMs are intuitive and easy to use to design such systems, however, they do not provide any verification technique for ensuring their correctness. To enable verification checking, we investigate and define mappings that can translate TMs to Context-Adaptive Petri Nets (CAPNs).CAPN is a recently proposed formalism to support Petri Nets(PNs) that take into account their execution context. Using PNas a base, CAPN provides powerful techniques for behavior simulation and verification. By applying the defined mappings,pervasive system’s behavior can be intuitively represented using task models and then translated to their equivalent CAPNs. These CAPNs can be then used to perform an exhaustive checking of the represented behavior at design time in order to ensure a proper and safe system execution at run time.

U2 - 10.1109/SEAA.2017.27

DO - 10.1109/SEAA.2017.27

M3 - Conference contribution

SN - 978-1-5386-2141-7/17

SP - 181

EP - 188

BT - 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications

A2 - Skavhaug, A

A2 - Olsson, H

A2 - Felderer, M

PB - Institute of Electrical and Electronics Engineers

T2 - Euromicro Conference on Software Engineering and Advanced Applications

Y2 - 30 August 2017 through 1 September 2017

ER -

Support for verifying pervasive behavior by mapping task models to petri nets

Abstract / Description of output

Conference

Access to Document

Fingerprint

Cite this