Kermeta tutorial
		Next

Kermeta tutorial

Reference manual

François Tanguy, Didier Vojtisek, Cyril Faucher

Build date: 3-November-2010

2006-09-25T10:56:58

19/07/2006

Abstract

This tutorial is part of a serie of tutorials that explain step by step one of the aspect of Kermeta. This one will show you how to use Eclipse to run a Kermeta program.

Table of Contents

Preface

1. Prerequisites

2. A view on the FSM meta model

3. How to run an FSM model ?

3.1. An entry point for the program
3.2. Constraints checking execution or no constraints checking execution
3.3. Execution without parameters
3.4. Execution with parameter(s)

4. Constraints checking execution sample

4.1. Pre condition violation
4.2. Post condition violation

List of Figures

2.1.
3.1.
3.2.
3.3.

		Next
		Preface