Eclipse Community Forums: M2M (model-to-model transformation) » [ATL] New ATL use case: Models Validation through Petri nets -- The SimplePDL to TINA Case Study

Home » Archived » M2M (model-to-model transformation) » [ATL] New ATL use case: Models Validation through Petri nets -- The SimplePDL to TINA Case Study

[ATL] New ATL use case: Models Validation through Petri nets -- The SimplePDL to TINA Case Study [message #17612]

Wed, 21 February 2007 08:29

Eclipse User

Originally posted by: benoit.combemale.gmail.com

Dear all,

A new ATL use case is available:
"Models Validation through Petri nets: The SimplePDL to TINA Case Study"

It presents a property-driven approach in which SimplePDL process
models are translated into Petri nets. SimplePDL behavioral properties
are expressed on corresponding Petri nets in LTL (Linear Temporal Logic).
The Tina toolkit and, in particular, its model-checker, are used to
validate process models by checking the expressed properties.

The use case is available at:
http://www.eclipse.org/m2m/atl/usecases/SimplePDL2Tina/

Regards,
Benoît.

--
Benoît COMBEMALE
http://combemale.perso.enseeiht.fr

Previous Topic:	[ATL] programatically launch already loaded model
Next Topic:	[ATL] New ATL use case: Web Syndication Interoperability (RSS and Atom)

Goto Forum:

-=] Back to Top [=-

Current Time: Wed May 14 04:38:18 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter