کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
719395 892277 2009 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
From UML Activities Diagrams to Event B
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی مکانیک محاسباتی
پیش نمایش صفحه اول مقاله
From UML Activities Diagrams to Event B
چکیده انگلیسی

This paper focuses mainly on the transformation of UML activity diagrams into Event B for the specification and the verification of parallel and distributed workflow applications. With this transformation, UML models could be verified by verifying derived event B models. The design is initially expressed graphically with UML and translated into Event B. The resulting model is then enriched with invariants describing dynamic properties such as deadlock freeness, livelock freeness and reachability. The approach uses activity diagrams meta-model.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 42, Issue 4, 2009, Pages 420–425
نویسندگان
, ,