AG Vernetzte Systeme Publikationen Jahr 2006 Gr06

 

R. Grammes

Proc. of 5th SAM (SDL And MSC) Workshop, 2006, Kaiserslautern, Germany

Zusammenfassung

Expressive system modelling languages lead to language definitions that are long and hard to understand. Tool support for these languages is hard to implement, and often only parts of the language are supported. In this paper we introduce the concept of language profiles as well-defined subsets of a language with formal syntax and semantics as the basis for tool support. We outline two approaches to generate language profiles for SDL from the complete formal semantics definition, and provide a formalisation for a reduction-based approach, on which a tool for this approach is based.

---

	Übergeordnete Seite: Jahr 2006

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.