Eclipse Community Forums: M2M (model-to-model transformation) » [ATL] New ATL use case: From Hoare's Monitors to Dijkstra's Semaphores

Home » Archived » M2M (model-to-model transformation) » [ATL] New ATL use case: From Hoare's Monitors to Dijkstra's Semaphores

Mon, 12 March 2007 07:08

Eclipse User

Originally posted by: freddy.allilaire.univ-nantes.fr

Dear all,

A new ATL use case is available: From Hoare's Monitors to Dijkstra's
Semaphores

This is a classic in synchronization. We propose an automatic
translation from Hoare's monitors into Dijkstra's semaphores. A complete
reprint of this paper is available at: http://www.acm.org/classics/feb96/

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

Regards,
Freddy.

--
Freddy Allilaire - ATLAS Group (INRIA & LINA)
http://www.sciences.univ-nantes.fr/lina/atl/contrib/allilair e

Previous Topic:	[ATL] New ATL use case: From UML Activity Diagram to Project Management Software
Next Topic:	[ATL] New ATL use case: Implementing two business rule languages: PRR and IRL

Goto Forum:

Current Time: Fri Jul 18 05:21:43 EDT 2025

.:: Contact :: Home ::.

Sign up to our Newsletter