عنوان

روشی برای تبدیل صوری سناریوها به نمودارهای مبتنی بر حالت :یک گام جدید به سوی خودکارصسازی تولید کد

‭۵۶۵۵پ‬

per

روشی برای تبدیل صوری سناریوها به نمودارهای مبتنی بر حالت :یک گام جدید به سوی خودکارصسازی تولید کد

/رضا گومانی

دانشگاه تبریز: دانشکده علوم ریاضی، گروه علوم کامپیوتر

‮‭۷۷‬ص‬

چاپی

فایل ‮‭pdf‬ غیرقابل انتقال

کارشناسی ارشد

علوم کامپیوتر، گرایش سیستم‌های کامپیوتری

‮‭۱۳۹۱/۰۲/۲۵‬

دانشگاه تبریز: دانشکده علوم ریاضی، گروه علوم کامپیوتر

در مهندسی نرم‌صافزار مبتنی بر مولفه‌صها، روش‌صهایی مانند زبان توصیف رابط، طراحی با قرارداد، روش‌صهای صوری، چهارچوب و خودکارسازی جهت توصیف مولفه‌صها صورت گرفته است .با این وجود، اغلب روش‌صها و ابزارهای موجود فقط مولفه‌صها را توصیف کرده و توانائی پشتیبانی تولید خودکار کد مولفه‌صها را ندارند .به نظر می‌صرسد که استفاده عملی از مستندات توصیف مولفه‌صها در جهت پیاده‌صسازی آنها یک گام اساسی در مهندسی نرم‌صافزار است .در این پایان‌صنامه، پس از بررسی توصیف مولفه‌صهای نرم‌صافزاری به روش‌صهای مختلف، سعی بر آن شده که توصیف مولفه در ساختار نمودار توالی شکل گرفته و سپس نمودار توالی مورد نظر به وسیله مفاهیم صوری به نمودار حالت ترجمه گردد .با این روش، تولید خودکار کد مولفه نرم‌صافزاری یک گام به جلو رفته و می‌صتوان به تولید کد خودکار مولفه از نمودار توالی، دست یافت .جهت ارزیابی روش پیشنهادی نیز یک مثال عملی ارائه شده است.

.‮‭In the component-based software engineering, some methods such as the interface description language, designed by contract method, framework, formal methods and automation approch have been presented to describe systems behaviour. However, most of existing methods and tools only describe the components and are not able to support automatic generation of component's code. It seems that, the practical use of documentations of component's specification toward implementation is the key step in software engineering.In this thesis, at first, we investigation different approaches in software component specifications. Then, we present a formal means to UML sequence diagrams to state based models. Using the proposed approch, a system designer could specify components by UML sequence diagrams and translate to statechart. Therfore, it will be possible to take one step toward the automation of code generation software systems. The proposed method is illustrated by a case study‬

Seqence Diagram

State Daigram

formal Languages

Component's Behavior

Outomation and Formal Language

گومانی، رضا

کریم‌پور، جابر، استادراهنما

عیسی‌زاده، آیاز، استادراهنما

سیاه و سفید

نمایه‌سازی قبلی