دانلود مقاله ISI انگلیسی شماره 78559
عنوان فارسی مقاله

تعریف تنوع در نمودارهای فعالیت و شبکه های پتری ☆

کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
78559 2013 19 صفحه PDF سفارش دهید محاسبه نشده
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
Defining variability in activity diagrams and Petri nets ☆
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Science of Computer Programming, Volume 78, Issue 12, 1 December 2013, Pages 2414–2432

کلمات کلیدی
تنوع؛ تنوع در نمودار فعالیت - مستند تنوع؛ تضمین کیفیت برای مهندسی خط تولید
پیش نمایش مقاله
پیش نمایش مقاله تعریف تنوع در نمودارهای فعالیت و شبکه های پتری ☆

چکیده انگلیسی

In this paper, we propose a formal syntax and semantics for defining variability in Petri nets. We use these extended Petri nets as a foundation to formally define variability in UML activity diagrams; UML activity diagrams serve as a basis for several testing techniques in product line engineering. We illustrate the contribution of such a formalization to assurance activities in product line engineering by describing its usage in three application examples.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.