The Atlantic XASM zoo

The Atlantic XASM Zoo is a mirror of the Atlantic Zoo. The Zoo is expressed in XASM which is an open source compiler for Abstract State Machines (ASMs).

The formal representation of metamodels in terms of sets and functions can be the basis for the dynamic semantics specification of Domain Specific Languages (DSLs) in a Model Driven Engineering (MDE) setting. Until now, two experiments have be done in this direction where the dynamic semantics of ATL [1] and SPL [2] have been specified in XASM.

The Atlantic XASM Zoo has been developed with the collaboration of Davide Di Ruscio and Alfonso Pierantonio from the Department of Computer Science at the University of L'Aquila (Italy).

References

  1. D. Di Ruscio, F. Jouault, I. Kurtev, J. Bézivin, A. Pierantonio. Extending AMMA for Supporting Dynamic Semantics Specifications of DSLs. Laboratoire d'Informatique de Nantes-Atlantique (LINA) Research Report n. 06.02. Submitted for publication.
  2. D. Di Ruscio, F. Jouault, I. Kurtev, J. Bézivin, A. Pierantonio. A Practical Experiment to Give Dynamic Semantics to a DSL for Telephony Services Development. Laboratoire d'Informatique de Nantes-Atlantique (LINA) Research Report n. 06.03.

There are currently 256 metamodels in this zoo.

Metamodels Zoo:

Name Date
2006/07/10
2006/05/21
2006/07/13
2006/06/06
2005/05/30
2005/07/06
2007/11/08
2008/01/29
2006/07/20
2006/05/1
2006/04/12
2005/11/01
2006/07/18
2005/08/09
2006/05/19
2006/07/05
2005/05/17
2005/03/18
2006/07/31
2006/09/15
2007/03/06
2006/06/22
2005/07/07
2006/07/20
2006/07/20
2005/08/08
2006/06/06
2005/08/10
2005/03/18
2007/02/16
2005/06/22
2005/08/08
2006/07/10
2006/07/20
2006/07/28
2005/06/13
2006/07/28
2005/08/09
2006/01/18
2005/08/05
2005/08/10
2006/07/28
2005/08/08
2006/07/28
2005/08/10
2005/08/10
2005/07/05
2005/08/11
2005/05/17
2006/06/26
2006/06/26
2006/06/26
2006/06/06
2005/06/30
2006/04/05
2005/06/14
2005/07/05
2005/06/20
2006/07/24
2005/02/01
2005/08/03
2005/08/03
2007/11/13
2005/08/04
2006/07/24
2006/07/24
2007/09/28
2006/07/10
2005/06/13
2005/08/10
2006/07/14
15/07/2006
2006/07/13
2005/02/01
2005/02/01
2005/02/01
2005/06/29
2006/04/11
2007/11/19
2007/11/19
2007/11/19
2007/11/19
2007/11/19
2007/11/19
2006/05/12
2006/07/14
2006/07/14
2005/04/15
2006/07/13
2006/05/6
2006/05/6
2005/08/11
2006/07/10
2006/06/22
2007/10/03
2005/03/18
2005/08/11
2006/10/24
2005/04/12
2007/05/09
2006/05/18
2006/07/19