«

»

Towards a Formal Verification of Process Model’s Properties — SimplePDL and TOCL case study

by Benoit Combemale, Pierre-Loic Garoche, Xavier Crégut, Xavier Thirioux
Reference:
Towards a Formal Verification of Process Model’s Properties — SimplePDL and TOCL case study (Benoit Combemale, Pierre-Loic Garoche, Xavier Crégut, Xavier Thirioux), In 9th International Conference on Enterprise Information Systems (ICEIS 2007), INSTICC press, 2007. (preprint.pdf, slide.pdf (long paper)) (AR=12%)
Bibtex Entry:
@inproceedings{iceis07,
	Address = {Funchal, Madeira - Portugal},
	Author = {Benoit Combemale and Pierre-Loic Garoche and Xavier Cr{'e}gut and Xavier Thirioux},
	Booktitle = {9th International Conference on Enterprise Information Systems (ICEIS 2007)},
	Comment = {<a href="./research/phd/2007/iceis0607-CCGTV-longpaper702-preliminary.pdf">preprint.pdf</a>, <a href="./research/phd/2007/iceis0607-CCGTV-longpaper702-slide.pdf">slide.pdf</a> (long paper)},
	Irit = {7941},
	Keywords = {Metamodelling; Properties Validation, Verification, Temporal OCL, Process Model, Petri Nets, LTL, Models Semantics, Model Transformation},
	Month = jun,
	Note = {AR=12%},
	Pages = {80--89},
	Publisher = {INSTICC press},
	Title = {{Towards a Formal Verification of Process Model's Properties -- SimplePDL and TOCL case study}},
	Url = {http://www.iceis.org/},
	Year = {2007},
	Bdsk-Url-1 = {http://www.iceis.org/}}