מפרטים פורמאליים תרגיל בית מספר 3 הקשר בין תיאוריה לפרקטיקה (מבוסס על Rhapsody 7 )

1. מפרטים פורמאלייםתרגיל בית מספר 3הקשר בין תיאוריה לפרקטיקה(מבוסס על Rhapsody 7) מפרטים פורמאליים - תירגול שחר דג

2. בדיקת מצב בתרגול השתמשנו ב: in(state_name) ב rhapsody יש להשתמש ב: IS_IN(state_name) מפרטים פורמאליים - תירגול שחר דג

3. הקשר בין החלקים השונים בעיקרון ניתן לחשוב לפחות על שתי צורות למימוש הרמה העליונה של מערכת: הצורה הראשונה: chart1 chart2 chart 3 chart4 והצורה השנייה: chart1 chart2 chart 3 chart4 אולי הצורה השנייה נקייה יותר מבחינת תכנון המערכת, אבל היא מציגה הרבה יותר בעיות מבחינת התקשורת בין האלמנטים השונים. מבחינת דרישות התרגיל הצורה הראשונה מספקת בהחלט מפרטים פורמאליים - תירגול שחר דג

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

5. תזכורת – הבדלים בין תיאוריה למעשה להזכירכם כי בין התיאוריה למימוש של Rhapsody מתקיימים ההבדלים הבאים: מפרטים פורמאליים - תירגול שחר דג