ICALEPCS2011 - List of Authors (Andolfato, L.)

Paper

Title

Page

A Platform Independent Framework for Statecharts Code Generation

614

L. Andolfato, G. Chiozzi
ESO, Garching bei Muenchen, Germany
N. Migliorini
ENDIF, Ferrara, Italy
C. Morales
UTFSM, Valparaíso, Chile

Control systems for telescopes and their instruments are reactive systems very well suited to be modeled using Statecharts formalism. The World Wide Web Consortium is working on a new standard called SCXML that specifies an XML notation to describe Statecharts and provides a well defined operational semantic for run-time interpretation of the SCXML models. This paper presents a generic application framework for reactive non real-time systems based on interpreted Statecharts. The framework consists of a model to text transformation tool and an SCXML interpreter. The tool generates from UML state machine models the SCXML representation of the state machines and the application skeletons for the supported software platforms. An abstraction layer propagates the events from the middleware to the SCXML interpreter facilitating the support of different software platforms. This project benefits from the positive experience gained in several years of development of coordination and monitoring applications for the telescope control software domain using Model Driven Development technologies.

Slides WEAAULT03 [2.179 MB]

WEPKS032

A UML Profile for Code Generation of Component Based Distributed Systems

867

G. Chiozzi, L. Andolfato, R. Karban
ESO, Garching bei Muenchen, Germany
A. Tejeda
UCM, Antofagasta, Chile

A consistent and unambiguous implementation of code generation (model to text transformation) from UML must rely on a well defined UML profile, customizing UML for a particular application domain. Such a profile must have a solid foundation in a formally correct ontology, formalizing the concepts and their relations in the specific domain, in order to avoid a maze or set of wildly created stereotypes. The paper describes a generic profile for the code generation of component based distributed systems for control applications, the process to distill the ontology and define the profile, and the strategy followed to implement the code generator. The main steps that take place iteratively include: defining the terms and relations with an ontology, mapping the ontology to the appropriate UML metaclasses, testing the profile by creating modelling examples, and generating the code.

Poster WEPKS032 [1.925 MB]

Paper	Title	Page
WEAAULT03	A Platform Independent Framework for Statecharts Code Generation	614
	L. Andolfato, G. Chiozzi ESO, Garching bei Muenchen, Germany N. Migliorini ENDIF, Ferrara, Italy C. Morales UTFSM, Valparaíso, Chile
	Control systems for telescopes and their instruments are reactive systems very well suited to be modeled using Statecharts formalism. The World Wide Web Consortium is working on a new standard called SCXML that specifies an XML notation to describe Statecharts and provides a well defined operational semantic for run-time interpretation of the SCXML models. This paper presents a generic application framework for reactive non real-time systems based on interpreted Statecharts. The framework consists of a model to text transformation tool and an SCXML interpreter. The tool generates from UML state machine models the SCXML representation of the state machines and the application skeletons for the supported software platforms. An abstraction layer propagates the events from the middleware to the SCXML interpreter facilitating the support of different software platforms. This project benefits from the positive experience gained in several years of development of coordination and monitoring applications for the telescope control software domain using Model Driven Development technologies.
	Slides WEAAULT03 [2.179 MB]

WEPKS032	A UML Profile for Code Generation of Component Based Distributed Systems	867
	G. Chiozzi, L. Andolfato, R. Karban ESO, Garching bei Muenchen, Germany A. Tejeda UCM, Antofagasta, Chile
	A consistent and unambiguous implementation of code generation (model to text transformation) from UML must rely on a well defined UML profile, customizing UML for a particular application domain. Such a profile must have a solid foundation in a formally correct ontology, formalizing the concepts and their relations in the specific domain, in order to avoid a maze or set of wildly created stereotypes. The paper describes a generic profile for the code generation of component based distributed systems for control applications, the process to distill the ontology and define the profile, and the strategy followed to implement the code generator. The main steps that take place iteratively include: defining the terms and relations with an ontology, mapping the ontology to the appropriate UML metaclasses, testing the profile by creating modelling examples, and generating the code.
	Poster WEPKS032 [1.925 MB]