Tuyển tập báo cáo các nghiên cứu khoa học quốc tế ngành hóa học dành cho các bạn yêu hóa học tham khảo đề tài: Research Article Lutin: A Language for Specifying and Executing Reactive Scenarios | Hindawi Publishing Corporation EURASIP Journal on Embedded Systems Volume 2008 Article ID 753821 11 pages doi 2008 753821 Research Article Lutin A Language for Specifying and Executing Reactive Scenarios Pascal Raymond Yvan Roux and Erwan Jahier VERIMAG CNRS UJF INPG 2 avenue de Vignate Gieres 38610 France Correspondence should be addressed to Pascal Raymond Received 13 September 2007 Accepted 10 January 2008 Recommended by Michael Mendler This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems where an execution is a virtually infinite sequence of input output reactions. More precisely it is dedicated to the description and the execution of constrained random scenarios. Its first use is for test sequence specification and generation. It can also be useful for early simulation of huge systems where Lutin programs can be used to describe and simulate modules that are not yet fully developed. Basic statements are input output relations expressing constraints on a single reaction. Those constraints are then combined to describe non deterministic sequences of reactions. The language constructs are inspired by regular expressions and process algebra sequence choice loop concurrency . Moreover the set of statements can be enriched with user-defined operators. A notion of stochastic directives is also provided in order to finely influence the selection of a particular class of scenarios. Copyright 2008 Pascal Raymond et al. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use distribution and reproduction in any medium provided the original work is properly cited. 1. INTRODUCTION The targeted domain is the one of reactive systems where an execution is a virtually infinite sequence of input output reactions. Examples of such systems are control command in industrial process embedded computing .
