AToM 3

1. Domain Specific Modeling (DSM) Techniques • A Tool for Multi-formalism and Meta-modeling AToM3 אוניברסיטת חיפה החוג למערכות מידע • סמינר בנושאי הנדסת תוכנה 7.12.2010 מציגים: אביחי שינדלמן ושי מוזס מרצה: ד"ר איריס ריינהרץ-ברגר

2. מה במצגת? • למה ולמי מיועדת AToM3 ? • השיטה ותיאור התחום • השיטה ותהליך יצירת אפליקציות בתחום • אימות (Validation) • תהליך פיתוח מסודר וכלי תוכנה CASE • Commonality & Variability Management

3. ייעוד AToM3 • שיטה זו היא כלי ויזואלי אשר עוזר לערוך מודלים. עבור meta-modeling & meta-transforming • meta-modeling: מתאר או ממדל סוגים שונים של פורמליזם אשר משמש למודל וניתוח מערכות • Meta-transforming: מתייחס לתהליך המרה אוטומטי, תרגום ושינוי של מודל בפורמליזם נתון, הפורמליזם עלול להשתנות או להישאר זהה • השיטה מיועדת למהנדסי תוכנות, אשר בונים מערכת גדולה ומורכבת וצריכים ניתוח מעמיק ועיבוד המודלים הפורמאליים לניתוח ותכן של מערכות מידע.

4. דוגמאות של Meta-models • Entity-Relationship • GPSS (General Purpose Simulation System) • Deterministic Finite state Automata and Non-Deterministic Finite state Automata • Petri Nets • Data Flow Diagrams • Structure Charts • DEVS - Discrete Event System Specification AToM3 - שימוש ב GPSS הינו בבנייה בסביבה מידול גרפי, תוך כדי ייצור קוד לתהליך אינטראקציה בשפת האירוע הדיסקרטי. ModelingDEVS פורמליזם היררכי למידול וניתוח מערכות כלליות של מערכות מצבים

6. התייחסות השיטה לתיאור התחום • התחום: שליטה ובקרה (שו"ב), זוהי מערכת הפועלת ע"פ תוכנית קבועה מראש • התחום כולל מערכות מורכבות בעלות מספר רב של מרכיבים והיבטים • המבנה וההתנהגות שלהן לא יכולים להיות מתוארים במידול פורמלי פשוט ואף דורשים יותר מפורמליזם אחד. • שיטה זו משכתבת ועורכת את הגרפים הקיימים, ע"י תהליך אוטומטי של המרה, תרגום או שינוי של מודל בפורמאליות מסוימת למודל אחר שעלול לשנות את הפורמליזם

7. יצירת אפליקציית בתחום • קיימת הבחנה בין 2 סוגים של תכונות : regular and generative. Regular משמש לזיהוי מאפיינים של הישות הנוכחית Generative משמש ליצירת תכונות חדשות ברמה נמוכה יותר של meta-modeling. דבר זה עוזר בתיאור אפליקציות בתחום מאחר וה- AToM3 גמיש מספיק ומשאיר לנו אפשרות להוספת תכונות ברמה הנמוכה.

8. אימות (Validation) Formalism has been modeled AToM3generates code Compiling code Tool receives valid models of Control & Command System Domain בעזרת שימוש ב AToM3 המאמץ של ייצור כלי מידול ויזואלי מותאם אישית ויכול להצטמצם בצורה משמעותית לפורמליזם הטיפוסי, כך שבדיקת התקפות בין אפליקציות לא רלוונטי

9. תהליך פיתוח מסודר כדי להגדיר Meta-Model : • הגדרת סינטקס אבסטרקטי, בכלליות להציג את הפורמליזם ,תכונות ,קשרים והמגבלות • הסינטקס הגרפי - כיצד הישויות והקשרים ישולבו בתוך הכלי הוויזואלי וגם במגבלות הגרפיות

10. כלי CASE • כלי שמשמש כעורך מודלים באופן מהיר. • במקום לבנות אפליקציה שלמה, צריך לציין איזו ישות תחובר לאיזו וכיצד הם נראים, אילו תכונות חייבות להיות לה. • ATOM3 מספקת כלי לניתוח, עיבוד ותיאור מעמיק יותר של CASE tool. כלי זה יכול ליצור כלי CASE (Computer-Aided Software Engineering) מותאמים אישית ע"י תיאור גרפי ברמה גבוהה יותר של כלי ה-CASE.

11. GPSS – Meta Model

13. יצירת סוגי תכונות

14. ביצוע ניהול שונות וזהות בשיטה בין האפליקציותCommonality & Variability Management הדמיון בין האפליקציות בתחום השו"בוהשוני ביניהם: • 1 - זיהוי מקורות בעיתיים במערכת • 2 - קיצור זמני תגובה • 3 - תכנון מראש • 4 - ניהול מצאי בזמן אמת (חומרה, תוכנה) • 5 - מבט כלל מערכתי • 6 - התרעות על תקלות לגורמים המתאימים • 7 - מעקב מתמשך לאורך כל חיי המערכת • 8 - יכולת הסקת מסקנות בין ארועים מקדימים לתקלות צפויות • 9 - אבטחה (בדיקה על שימוש לא מורשה במערכות) • 10 - יכולות חיזוי

15. מקורות • MSDL (2002). Atom3: A tool for Multi-formalism and Meta-Modeling Available from http://atom3.cs.mcgill.ca/index_html [Accessed 05 December 2010]. • Domain-Specic Visual Modelling in AToM3, Hans Vangheluwe & Juan de Lara, Available from http://www.dsmforum.org/events/DSM04/vangheluwe.pdf[Accessed 04 December 2010]. • MSDL (2006). Atom3: A tool for Multi-formalism and Meta-Modeling Available from http:// atom3.cs.mcgill.ca/people/denis/ [Accessed 01 December 2010]. • Wiki-Pedia (2010). Model transformation, Available from http://en.wikipedia.org/wiki/Model_transformation [Accessed 06 December 2010] • Using AToM as a Meta-CASE Tool, Hans Vangheluwe & Juan de Lara, Available from http://www.cs.mcgill.ca/~hv/publications/02.ICEIS.MCASE.pdf[Accessed 05 December 2010]. • Wiki-Pedia (2010). Mode-driven engineering, Available from http://en.wikipedia.org/wiki/Model-driven_engineering [Accessed 06 December 2010]

16. שאלות • למה יש הבדלים? • האם UML יכול לשמש כאן כתחליף מידול למערכות/אפליקציות התחום?

17. תודה על ההקשבה...