فرمت فایل: ورد –Word و قابل ویرایش

تعداد صفحات: 96

فهرست مطالب

چکيده ....................................١

١ مقدمه .............٢

٢ مفاهيم پايه ...٤

1-2 مقدمه .................٤

2-2 وب معنايي ........٤

1-2-2 توليد برنامه کاربردي با استفاده از فن آوري وب معنايي ......٥

2-2-2 هستان شناسي .........٧

3-2-2 RDF و RDF Schema ........٩

11..................OWL 4-2-2

5-2-2 مقايسه OWL.RDF با زبان هاي شئ گرا..١٣

3-2 معماري مدل گرا....................١٦

1-3-2 مقدمه ....................١٦

2-3-2 مشکلات توسعه نرم افزار به روش سنتي .......١٧

3-3-2 فرآيند توسعه معماري مدل گرا٢٠

4-3-2 نقش UML در معماري مدل گرا ..................٢٦

5-3-2 متامدل سازي در معماري مدل گرا.................٣١

4-2 جمع بندي مطالب فصل ......٣٥

٣ معماري هستان شناسانه ..٣٧

1-3 مقدمه ..............٣٧

2-3 اهداف مورد نظر....................٣٨

1-2-3 وب معنايي در مهندسي نرم افزار ......................٣٨

يVک I

2-2-3 هستان شناسي به عنوان ابزاري براي توصيف فرمال مدل ها ....................٣٩

3-2-3 پشتيباني از چرخه حيات نرم افزار ..................٤٥

٤ آنچه ديگران در اين زمينه انجام داده اند....................٤٧

1-4 مقدمه ..............٤٧

2-4 توسعه هستان شناسانه .........٤٨

1-2-4 مشکلات ................٤٩

2-2-4 راه حل ها...............٤٩

3-4 توسعه توانمند شده با هستان شناسي ......٥٧

1-3-4 مشکلات ................٥٨

2-3-4 راه حل ...................٥٨

4-4 معماري هاي مبتني بر هستان شناسي .....٥٩

1-4-4 مشکلات ................٥٩

2-4-4 راه حل ....................٥٩

5-4 معماري هاي توانمندشده با هستان شناسي ....................٥٩

1-5-4 مشکلات ................٥٩

2-5-4 راه حل ها...............٦٠

٥ نتيجه گيري ٦٤

پيوست ١ ............ ٦٦

منابع .....................٦٨

دوV

1

چکيده

فناوري وب معنايي ريشه در مهندسي دانش دارد. از سويي ، کاربرد مهندسي دانش در مهندسي نرم افزار، رويکردي است بـه اثبات رسيده که مدت زيادي از آن ميگذرد و مزاياي آن غيرقابل انکار است . بنابراين کاربرد فنـاوريهـاي وب معنـايي کـه علاوه بر دارا بودن خواص مفيد زبان هاي عمومي مهندسي دانش يعني مبتنـي بـر منطـق و رسـمي بـودن ، تحـت وب نيـز هستند، در مهندسي نرم افزار و بخصوص معماري نرم افزار، مي تواند بسياري از کاستي ها را تا حدود زيادي جبران نمايد و در حل مشکلات موجود کمک شايان توجهي نمايد. معماري مدل گرا رويکردي است در معماري نرم افزار که به افـزايش سـطح انتزاع و تمرکز بيشتر روي مدل هاي سطح انتزاعي و نيز خودکار نمودن فرآيند توسعه نرم افزار، تأکيد دارد. چنين رويکـردي وقتي مفيد خواهد بود که بتوان بسياري از ابهامات و شکاف هاي موجود ميان نيازمندي ها و ديدهاي ذينفعـان پـروژه يـا بـه عبارت ديگر مفاهيم ضمني با معماري و مدل هاي سطح انتزاعي را از ميان برد. همچنين تسهيل انجام تبديلات در سـطوح متفاوت فرآيند توسعه نرم افزار نيز، خود موضوعي است که معماري مدل گـرا در جهـت خودکـار نمـودن ايـن رونـد، تأکيـد فراواني روي آن دارد. هستان شناسي ١، مدلي است رسمي، که با استفاده از زبان هاي وب معنايي ايجاد مـي شـود، و ابهامـاتي که در زبان هاي مدل سازي معمول مورد استفاده در مهندسي نرم افزار وجود دارد را ندارد. به همين دليل است که اخيـراً بـه کاربرد هستان شناسي در مهندسي نرم افزار، توجه فراواني شده است . اين روند منجر به پيـدايش معمـاري هسـتان شناسـانه شده است . در اين گزارش پس از طرح کلي مسأله و مشکلات موجود در معماري نرم افزار، و مروري بـر مفـاهيم پايـه مـورد نياز از قبيل وب معنايي، هستان شناسي و معماري مدل گرا، سعي شده است که کاربرد هستان شناسي در معماري نرم افزار از جنبه هاي گوناگون و براساس يک رده بندي مشخص ، در قالب تلاش هايي که ديگران تا کنون بـه انجـام رسـانيده انـد، مـورد بررسي قرار گيرد. اما تمرکز بيشتر روي ايجاد متامدل معماري با استفاده از توليد هستان شناسي ها براي کاستن از ابهامـات موجود در ابعاد گوناگون و نيز افزايش قابليت رديابي در جهت ارزيابي معماري حاصل ، قرار گرفته است .

2

١ مقدمه

ديدگاهي که از تدوين و توصيف معماري براي يک سيستم ايجاد مي شود در تمام طول حيـات آن سيسـتم مرجعـي بـراي تغييرات و تحولات در آن سيستم به شمار ميرود. نگاه به سيستم نرم افزاري با استفاده از نمايي که معماري ايجاد مـيکنـد چه از لحاظ ارتباط آسان تر ميان ذينفعان پروژه و چه از لحاظ درک دقيق تري که توسعه دهنگان و نگهداري کننـدگان آن از سيستم نرم افزاري خواهند داشت ، از اهميت بالايي برخودار است . با اين حال توصيف مؤلفه هاي معمـاري و ارتباطـات ميـان آنها بدون مشخص بودن فرضيات طراحي که متضمن آنهاست ، مشکلاتي در تحول ١، امکان اسـتفاده مجـدد و حتـي امکـان تعامل ٢ ميان مؤلفه هاي عملياتي مستقل از هم ، بوجود مي آورد (١٩٩٩ ,Kyaruzi, Katwijk). ايـن فرضـيات ضـمني در

3 طراحي ، موانعي بر سر راه توسعه سيستم ايجاد مي کنند. از اين جمله مي توان به فاصله زيادي کـه ميـان سـطح انتزاعـي و سطح کد٤ بوجود ميآيد اشاره نمود. در اين حالت با وجود اينکه مستندات توصيف معماري تلاشي است براي ايجاد امکـان ترجمه مستقيم از مفاهيم بنيادي سطح انتزاعي به مفاهيم بنيادي سطح کد، اين کار، همـواره بـا مشـکلات فراوانـي روبـرو است .

براي غلبه بر اين مشکل تاکنون تلاش هاي زيادي بـراي رسـمي سـازي ٥ معمـاري نـرم افـزار صـورت گرفتـه اسـت . جهـت رسميسازي معماري نرم افزار، بايد از زبان هاي مبتني بر مدل ٦که بتوانند ويژگيهاي ساختاري و رفتاري سيستم را توصيف نمايند، استفاده شود. براي اين کار زبان هاي زيادي براي تعيين مشخصات ٧ ايجاد شده اند کـه هريـک سـعي نمـوده انـد کـه اهداف مورد نظر در يک دامنه بخصوص را پوشش دهند. براي مثال ، زبان هايي ماننـد Z، VDM8، و B، بـراي مـدل سـازي داده ها و وضعيت ها٩ طراحي شده است در حالي که زبـان هـايي ماننـد CSP1، CCS2، و π-calculus بـراي مـدل سـازي

Evolution1

Interoperability2

Conceptual level3

Code level4

Formalization5

Model-based languages6

Specification languages7

VDM8 نام اختصاري زبان تعيين مشخصات Vienna Development Method مي باشد.

States9