TAILIEUCHUNG - Báo cáo hóa học: " Research Article Lutin: A Language for Specifying and Executing Reactive Scenarios"

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 .

Thục Khuê 54 11 pdf

Upload

Bấm vào đây để xem trước nội dung

Tải xuống

TÀI LIỆU LIÊN QUAN

Báo cáo khoa học: " Áp dụng thủ tục phân tích trong kiểm toán báo cáo tài chính"

8 256 1

Báo cáo nghiên cứu khoa học: "Người lính trở về sau chiến tranh với mặc cảm “ăn mày dĩ vãng’ trong tiểu thuyết Chu Lai"

8 302 1

Báo cáo nghiên cứu khoa học: "Khảo sát hiện tượng chuyển đổi chức năng - nghĩa của động từ tiếng Việt"

8 235 0

Báo cáo nghiên cứu khoa học: "Tính năng động nghệ thuật của văn học hiện đại Việt Nam và một cách nhìn hành trình thể loại"

10 206 0

Báo cáo nghiên cứu khoa học: " Dẫn liệu cập nhật về thành phần loài cây họ đậu (Fabaceae) tại Vườn Quốc gia Bạch Mã - Thừa Thiên Huế "

6 206 1

Báo cáo nghiên cứu khoa học: "Một số kết quả của việc bổ sung bột sắn vào khẩu phần ăn và khả năng tiêu hóa thức ăn, hiệu quả chăn nuôi ở bò Laisind"

8 238 0

Báo cáo nghiên cứu khoa học: "Nghiên cứu mật độ và thành phần thức ăn của một số loài ếch nhái trên đồng ruộng Sầm Sơn - Thanh Hoá"

6 210 0

Báo cáo nghiên cứu khoa học: "Một số phép toán trên hệ biểu diễn tri thức dựa theo triết lý tập thô.."

7 212 0

Báo cáo nghiên cứu khoa học: " Liên hệ giữa không gian metric mờ với không gian Menger và không gian metric xác suất"

10 211 0

Báo cáo nghiên cứu khoa học: " BẢN CHẤT KHOA HỌC VÀ CÁCH MẠNG LÀ CỘI NGUỒN SỨC SỐNG CỦA CHỦ NGHĨA MÁC - LÊNIN"

5 298 1

TÀI LIỆU XEM NHIỀU

Một Case Về Hematology (1)

8 461867 55

Giới thiệu :Lập trình mã nguồn mở

14 22642 59

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 10892 529

Câu hỏi và đáp án bài tập tình huống Quản trị học

14 10066 446

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 9519 104

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8281 1125

Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức

16 8238 423

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 7864 2220

Đề tài: Dự án kinh doanh thời trang quần áo nữ

17 6686 253

Vật lý hạt cơ bản (1)

29 5770 85

TỪ KHÓA LIÊN QUAN

TÀI LIỆU MỚI ĐĂNG

Giáo án mầm non chương trình đổi mới: Gia đình vui nhộn

4 312 1 27-04-2024

Bơm máy nén quạt trong công nghiệp part 8

20 198 2 27-04-2024

MySQL Database Usage & Administration PHẦN 9

37 141 0 27-04-2024

The profit magic of stock Timing The Markets_5

22 119 0 27-04-2024

Khurana et al. Journal of Orthopaedic Surgery and Research 2010, 5:23

7 133 0 27-04-2024

Data Structures and Algorithms - Chapter 9: Hashing

54 113 0 27-04-2024

New Trends and Developments in Automotive Industry Part 7

35 95 0 27-04-2024

Hệ thống làm lạnh và điều hòa không khí

21 125 0 27-04-2024

Kỹ thuật nuôi cá rồng part 5

7 127 0 27-04-2024

Truyện kiếm hiệp - Duy ngã độc tôn phần 5/7

1 92 0 27-04-2024

TÀI LIỆU HOT

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 7864 2220

Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)

152 5735 1368

Ebook Chào con ba mẹ đã sẵn sàng

112 3767 1231

Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1

62 5319 1136

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8281 1125

Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu

561 3499 643

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 10892 529

Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân

122 3684 525

Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm

274 4046 515

Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe

35 4127 480