1418

COM3 155

Hayder Ali Neamah Alsharuee

مديريت سازگاري در مدل‌سازي مشاركتي بلادرنگ با نماهاي تصويري

دكتري

1404.11.11

123 p.

Dr. Behrouz Tork Ladani

Dr. Mohammadreza Sharbaf

مدل‌سازي مشاركتي , مدل‌سازي چندنمايي

Modern software systems are increasingly developed through collaborative modeling, where multiple stakeholders concurrently create an‎d refine system models using projective multi-view representations. In such environments, inconsistencies inevitably arise due to overlapping edits, divergent stakeholder concerns, an‎d the strong dependencies introduced by projective views. While existing approaches offer partial solutions for consistency management, they often lack support for real-time collaboration, configurable consistency rules, an‎d scalable inconsistency resolution that respects collaborative workflows. This research addresses the challenge of consistency management in real-time collaborative modeling with projective multi-views. It proposes a configurable an‎d scalable framework designed to detect an‎d resolve inconsistencies incrementally, without compromising real-time responsiveness. The approach enables fine-grained consistency checking through user-defined scopes an‎d rules, supports personalized view projections, an‎d integrates mechanisms for collaborative inconsistency resolution. The thesis makes four main contributions. First, it provides a systematic analysis of inconsistency types an‎d sources in collaborative multi-view modeling. Second, it introduces COMIM, a novel framework for real-time inconsistency management that is metamodel-agnostic an‎d supports both online an‎d offline collaboration. Third, it presents a scope-based incremental consistency checking mechanism that limits eva‎luation to affected model elements, enhancing scalability. Fourth, it proposes a consistency oracle that detects conflicts, identifies equivalent operations, an‎d supports controlled resolution strategies. The COMIM framework was implemented an‎d eva‎luated using benchmarks an‎d a realistic case involving concurrent collaborators. Results demonstrate that the framework effectively manages inconsistencies in real-time, scales to large models, an‎d can be configured to meet diverse project an‎d stakeholder needs. This work provides a validated, adaptable foundation for consistency management in collaborative modeling environments.

سيستم‌هاي نرم‌افزاري مدرن به طور فزاينده‌اي از طريق مدل‌سازي مشاركتي توسعه مي‌يابند، كه در آن چندين ذينفع به طور همزمان مدل‌هاي سيستم را با استفاده از نمايش‌هاي چندنمايي تصويري ايجاد و اصلاح مي‌كنند. در چنين محيط‌هايي، ناسازگاري‌ها به ناچار به دليل ويرايش‌هاي همپوشاني، نگراني‌هاي ذينفعان واگرا و وابستگي‌هاي قوي ايجاد شده توسط نماهاي تصويري ايجاد مي‌شوند. در حالي كه رويكردهاي موجود راه‌حل‌هاي جزئي براي مديريت سازگاري ارائه مي‌دهند، اغلب فاقد پشتيباني از همكاري در زمان واقعي، قوانين سازگاري قابل تنظيم و حل ناسازگاري مقياس‌پذير هستند كه به گردش‌هاي كاري مشاركتي احترام مي‌گذارد. اين تحقيق به چالش مديريت سازگاري در مدل‌سازي مشاركتي در زمان واقعي با چندنماي تصويري مي‌پردازد. اين تحقيق يك چارچوب قابل تنظيم و مقياس‌پذير را پيشنهاد مي‌كند كه براي شناسايي و حل تدريجي ناسازگاري‌ها، بدون به خطر انداختن پاسخگويي در زمان واقعي، طراحي شده است. اين رويكرد امكان بررسي سازگاري دقيق را از طريق محدوده‌ها و قوانين تعريف شده توسط كاربر فراهم مي‌كند، از پيش‌بيني‌هاي نماي شخصي‌سازي شده پشتيباني مي‌كند و مكانيسم‌هايي را براي حل ناسازگاري مشاركتي ادغام مي‌كند. اين پايان‌نامه چهار بخش اصلي دارد. اول، يك تحليل سيستماتيك از انواع و منابع ناسازگاري در مدل‌سازي چندنمايي مشاركتي ارائه مي‌دهد. دوم، COMIM را معرفي مي‌كند، يك چارچوب جديد براي مديريت ناسازگاري در زمان واقعي كه مستقل از متامدل است و از همكاري آنلاين و آفلاين پشتيباني مي‌كند. سوم، يك مكانيسم بررسي سازگاري افزايشي مبتني بر دامنه ارائه مي‌دهد كه ارزيابي را به عناصر مدل آسيب‌ديده محدود مي‌كند و مقياس‌پذيري را افزايش مي‌دهد. چهارم، يك اوراكل سازگاري پيشنهاد مي‌دهد كه تضادها را تشخيص مي‌دهد، عمليات معادل را شناسايي مي‌كند و از استراتژي‌هاي حل كنترل‌شده پشتيباني مي‌كند. چارچوب COMIM با استفاده از معيارها و يك مورد واقع‌بينانه شامل همكاران همزمان پياده‌سازي و ارزيابي شد. نتايج نشان مي‌دهد كه اين چارچوب به طور مؤثر ناسازگاري‌ها را در زمان واقعي مديريت مي‌كند، به مدل‌هاي بزرگ مقياس‌پذير است و مي‌تواند براي برآورده كردن نيازهاي متنوع پروژه و ذينفعان پيكربندي شود. اين كار يك پايه معتبر و سازگار براي مديريت سازگاري در محيط‌هاي مدل‌سازي مشاركتي فراهم مي‌كند

حيدر الشروعي

983605004

مهندسي كامپيوتر - نرم افزار

مهندسي نرم افزار

153398

153399

6

153400

153401

153402

153403

153404

153405

153406

153407

153408

153409

Collaborative Modeling , Multi-view Modeling , Inconsistency Management