Eclipse OCL, XOCL, and XASM

Matthias Anlauff — Tue, 15 Jan 2008 09:06:23 -0000

We are currently thinking about relaunching XASM and XOCL as one language with two different kinds of syntax.

Any comments and input are welcome!

New Release, Request for Support

Matthias Anlauff — Thu, 06 Mar 2003 15:27:51 -0000

We just released a new binary release of Xasm
(gem-mex-5.2-8-i86pc-linux at http://www.xasm.org\)
which runs on the newest versions of Suse and RedHat.

We tested Suse 8.0 and RedHat 8.0. If someone
has access to other machines for testing, would be
great to tell us. (for Suse 7.3, the 5.2-7 release works,
for Solaris and Windows only outdated releases are
available currently, we are working on new ones)

The sources are still not in the CVS tree of the
sourceforge page, because we are not having the
resources to get it done properly.

Therefore we are looking for an academic or
industrial entity (a professor and his/her group, a
research project, an open-source oriented company)
which is interested to maintain the Xasm sources.

Of course Matthias and me will continue supporting the
project.

Currently open issues are:

- Integrating Montage's support for attribute grammars
into Xasm.

- Finalizing the Formal Semantics of Xasm.

We have submitted a formal semantics to ASM'03,
but where told by a referee that "it is not necessary
to repeat the same mistake as in the Lipari-Guide and
other definitions". We definitively need help to
do it better.

- More examples.

The included Montages projects generate 74'741 lines of
ASM code which we regularly recompile with Xasm and
which are actively used. This ASM code does compile and
execute independently of Montages.

In addition, most paper-examples using Lipari ASM should
run, and could be added as example.

From this material, a set of small and instructive examples
should be extracted.

On behalf of the Xasm team,

Philipp

PS: The Xasm applications of Juergen Teich and Ralph
Weper, have been mentioned in the press:

"And Jrgen Teich and Ralph Weper of the University of
Paderborn, Germany, have created a joined architecture/
compiler environment that can generate implementations
of architecture-specific instruction-set processors
automatically; the instruction-set simulators and
corresponding compilers use abstract state machine
methodology..."

http://www.eet.com/story/OEG20010216S0024

A4M AG continues using Xasm in their projects

Matthias Anlauff — Fri, 21 Jun 2002 16:14:30 -0000

The original owner of the Xasm sources, A4M AG
(www.a4m.biz) continues using Xasm in their projects.
A4M AG is convinced that moving the software to open
source was very beneficial for its clients which are very
happy to have now an open and platform independent tool.

Currently some of the Xasm project members at A4M are
busy with a project for the financial industry, where Xasm
is used productivly for a structured financial product
analysis software.

Unfortunatly this project reduces the contribution of
A4M collaborators to the Xasm Open Source project for
some months. A4M plans to contribute more resources
to the Xasm Open Source project in the future. In the
meantime we are lookiing for additional project members
which help with documentation, support, and source review.

Xasm Open Source announced 7.3.2 at ASM workshop in Dagstuhl

Matthias Anlauff — Mon, 11 Mar 2002 09:40:25 -0000

Matthias Anlauff and Philipp Kutter anounced the Xasm Open Source project to the ASM community at the Dagstuhl ASM workshop (http://www.dagstuhl.de/DATA/Title/02101.html). The ASM community wellcomed the initiative, which creates a mutually beneficial competition with the ASM software offered by Microsoft (http://research.microsoft.com/fse/AsmL/default.html).
The Xasm team is looking forward to a fruitful collaboration with the ASM community (http://www.eecs.umich.edu/gasm) !

Recent posts to news

Eclipse OCL, XOCL, and XASM

New Release, Request for Support

A4M AG continues using Xasm in their projects

Xasm Open Source announced 7.3.2 at ASM workshop in Dagstuhl