Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » [ATL] New ATL use case: From Hoare's Monitors to Dijkstra's Semaphores
[ATL] New ATL use case: From Hoare's Monitors to Dijkstra's Semaphores [message #22923] Mon, 12 March 2007 11:08
Eclipse UserFriend
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: Tue Mar 19 02:37:16 GMT 2024

Powered by FUDForum. Page generated in 0.02103 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top