Pierre-Alain Muller

Learn More
Nowadays, object-oriented meta-languages such as MOF (Meta-Object Facility) are increasingly used to specify domain-specific languages in the model-driven engineering community. However, these meta-languages focus on structural specifications and have no built-in support for specifications of operational semantics. In this paper we explore the idea of using(More)
Domain specific languages for model transformation have recently generated significant interest in the model-driven engineering community. The adopted QVT specification has normalized some scheme of model transformation language; however several different model transformation language paradigms are likely to co-exist in the near future, ranging from(More)
This paper discusses platform independent Web application modeling and development in the context of model-driven engineering. A specific metamodel (and associated notation) is introduced and motivated for the model-ing of dynamic Web specific concerns. Web applications are represented via three independent but related models (business , hypertext and(More)
It is known that a single dose of a neuroleptic can elicit dopaminergic supersensitivity in animals. On the other hand, the clinical syndrome of tardive dyskinesia takes many months of years to develop. To resolve this apparent discrepancy, it is possible that subclinical or latent tardive dyskinesia is fully compensated in most patients taking(More)
Metamodeling is raising more and more interest in the field of language engineering. While this approach is now well understood for defining abstract syntaxes, formally defining concrete syntaxes with metamodels is still a challenge. Concrete syntaxes are traditionally expressed with rules, conforming to EBNF-like grammars, which can be processed by(More)
Model transformation is a core mechanism for model-driven engineering (MDE). Writing complex model transformations is error-prone, and efficient testing techniques are required as for any complex program development. Testing a model transformation is typically performed by checking the results of the transformation applied to a set of input models. While it(More)
To investigate the extent of cholinergic involvement in opiate-induced catalepsy, the effects of three anticholinergic drugs were studied on morphine-induced catalepsy. Haloperidol-induced catalepsy was also examined. Maximum catalepsy in rats was obtained with 30 mg/kg morphine or 3 mg/kg haloperidol. The anticholinergic drugs atropine, benztropine, and(More)
Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière's Monsieur Jourdain was using prose, without knowing it. At the heart of modeling, there is a relation that we establish to represent something by something else. In this paper we review(More)
A possible cellular basis for dopaminergic sensitization by long-term dopamine mimetics was examined in rat brain striatum. Long-term apomorphine or amphetamine administration (10 mg/kg/day for 14 days) resulted in a decrease in the specific binding of 3H-apomorphine, but no change in 3H-haloperidol binding. Long-term apomorphine treatment also enhanced the(More)