model-driven development
در نشریات گروه برق-
Background
One of the most important concepts in cloud computing is modeling the problem as a multi-layer optimization problem which leads to cost savings in designing and operating the networks. Previous researchers have modeled the two-layer network operating problem as an Integer Linear Programming (ILP) problem, and due to the computational complexity of solving it jointly, they suggested a two-stage procedure for solving it by considering one layer at each stage.
AimIn this paper, considering the ILP model and using some properties of it, we propose a heuristic algorithm for solving the model jointly, considering unicast, multicast, and anycast flows simultaneously.
MethodWe first sort demands in decreasing order and use a greedy method to realize demands in order. Due to the high computational complexity of ILP model, the proposed heuristic algorithm is suitable for networks with a large number of nodes; In this regard, various examples are solved by CPLEX and MATLAB soft wares.
ResultsOur simulation results show that for small values of M and N CPLEX fails to find the optimal solution, while AGA finds a near-optimal solution quickly.
ConclusionThe proposed greedy algorithm could solve the large-scale networks approximately in polynomial time and its approximation is reasonable.
Keywords: Model-driven development, MPLS, Cloud Computing -
پیچیدگی سیستم های نرم افزاری و وابستگی جوامع به این سیستم ها رو به افزایش است. با توسعه فن آوری های تحت وب و رویکردهای سرویس گرا، ضرورت تطبیق با نیازهای کاربران در هنگام درخواست برای اعمال تغییرات و تکامل سیستم ها، بر این پیچیدگی افزوده است. روش های توسعه نرم افزار مدل-رانه با تمرکز بر استفاده از مدل به عنوان مصنوع اصلی و به کارگیری رویکردهای خودکار، توسعه محصولات نرم افزاری دارای کیفیت بالا را وعده داده است. هدف از این مقاله ارایه رویکردی مدل-رانه برای انتخاب خودکار زیرمجموعه مناسب از موارد آزمون برای آزمون رگرسیون مبتنی بر مدل با استفاده از انتشار تغییرات و تبدیل مدل افزایشی است. استفاده از تبدیل مدل افزایشی امکان انتشار خودکار تغییرات مدل و درنهایت انتخاب مجموعه موارد آزمون سازگار جهت انجام آزمون بعد از تغییرات را در سطح انتزاعی فراهم می آورد. دقت و کارایی چارچوب پیشنهادی با معرفی معیارهای بسندگی جدیدی بر اساس مدل تغییرات بر روی سه موردمطالعه ارزیابی و تحلیل شده است. از مزایای این روش تخمین زودهنگام میزان تلاش برای تجزیه و تحلیل تاثیر تغییرات، کاهش هزینه آزمون رگرسیون مستقل از سکو و انتخاب زیرمجموعه مناسب برای آزمون رگرسیون برای تشخیص زودهنگام خطای تولید محصول نرم افزاری است.
کلید واژگان: توسعه مدل-رانه، آزمون رگرسیون، تبدیل مدل افزایشی، مدل تغییرات، سازگاری، معیار پوششThe increase in complexity and the rate of technological changes in modern software development have led to a demand for systematic methods that raise the abstraction level for system maintenance and regression testing. Model Driven Engineering (MDE) has promised to reduce extra coding efforts in software maintenance activities using traceable change management, especially in rapidly changing application. The paper presents a Z-notation based framework, called Changed-based Regression Testing (ChbRT), for formal modeling of regression testing in the context of MDE. The framework proposes to automatically propagate the changes from a software specification to testing artifacts in order to preserve consistency after system evolution. The framework is enriched by providing a new category of coverage metrics for change-based regression testing. The proposed framework is expected to be beneficial in both platform independent and specific levels of ChbRT by identifying the suitable coverage according to available testing resources. The accuracy and efficiency of the proposed framework have been evaluated and analyzed on three case studies.
Keywords: Model Driven Development, Regression Testing, Incremental Model Transformation, Change Model, Consistency, Coverage Criteria -
Due to the increasing occurrence of unexpected events and the need for pre-crisis planning to reduce risks and losses, modeling emergency response environments (ERE) is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. ERE-ML is a model-driven framework which allows a crisis manager to model an ERE, and to automatically generate the executable code of a multi-agent system (MAS) for that environment. However, the application generated by ERE-ML lacks the capability of supporting interactions among the agents and the organizations involved in the crisis management. In this paper, we propose ERE-ML 2.0 as an upgrade of the previous framework. The ERE-ML 2.0 framework supports the interactions by adding new features to the ERE-ML language, modifying the transformation code, and extending the platform. To evaluate the upgraded framework, the Plasco Tower Collapse incident is modeled, and then the model is transformed into the executable code of a MAS to visualize the run-time scenarios.Keywords: ERE-ML 2.0, Model-Driven Framework, Multi-Agent Systems, Interactive Systems, Emergency Response Environments, Model Driven Development
-
توسعه مدل رانده روش نوینی در تولید نرم افزار است که در آن، از روی مدل و با به کارگیری مجموعه روش هایی تحت عنوان تبدیل مدل، کد پیاده سازی به صورت خودکار/ نیمه خودکار تولید می شود. کلیه فعالیت های ممکن در روش های مدل رانده با استفاده از تبدیل ها انجام می گیرد. یکی از این فعالیت ها، تبدیل مدل به مدل است که در ساده ترین حالت، ارتباطی تک سویه را بین مدل مبدا و مقصد تعریف می کند. در این حالت، فقط می توان مدل مقصد را از روی مدل مبدا به دست آورد. اما در حالت کلی تر، مدل های مبدا و مقصد مستقلا تغییر می یابند. درنتیجه، برای سازگاری به تبدیل های پیشرفته تری به نام تبدیل دوسویه نیاز است. روش های تبدیل دوسویه دارای چالش هایی مانند ابهام در زبان تبدیل، نمادسازی خاص و صوری سازی گران هستند. جهت رفع این چالش ها، در این مقاله، روش جدیدی برای تبدیل دوسویه برمبنای چارچوب مدل رانده اپسیلون و تکنیک های ردیابی پذیری پیشنهاد می شود. در این روش، روابط بین مدل های مبدا و مقصد صوری سازی شده، سپس روی محکی شناخته شده پیاده سازی می شود. این روش بر اساس 10 معیار با سه روش تبدیل دوسویه مقایسه می گردد. نتیجه مقایسه ها برتری های روش پیشنهادی از قبیل قابلیت حمل، نگه داری، مصالحه و پشتیبانی عملگری را نشان می دهد.کلید واژگان: توسعه مدل رانده، تبدیل مدل دوسویه، ردیابی پذیری، چارچوب اپسیلونModel-driven development is a new paradigm in software development in which the implementation code is automaticallysemi-automatically generated from the model, using a set of techniques named model transformations. All activities in model-driven approaches are performed via the application of transformations. One of such activities is model-to-model transformation, which defines a unidirectional relation between the source and target models in the simplest case studies. In this case, the only possibility is to produce the target model from the source model. However, in general, the source and target models are evolved independently. Therefore, a more advanced transformation called bidirectional transformation (Bx) is required to restore consistency. Bx approaches have several challanges such as ambiguities in transformation language, special notation, and expensive formalization. In order to cope with such challenges, in this paper, a new Bx approach is proposed based on the Epsilon model-driven framework and traceability techniques. In this approach, the relation between the source and target models is formalized, and then is implemented on a well-known benchmark. The proposed Bx approach is compared with three bidirectional approaches based on ten criteria. The result of comparison demonstrates the superiority of the proposed approach in terms of portability, preservation, reconciliation, and operation support.Keywords: Model-driven development, bidirectional transformation (Bx), traceability, Epsilon framework
- نتایج بر اساس تاریخ انتشار مرتب شدهاند.
- کلیدواژه مورد نظر شما تنها در فیلد کلیدواژگان مقالات جستجو شدهاست. به منظور حذف نتایج غیر مرتبط، جستجو تنها در مقالات مجلاتی انجام شده که با مجله ماخذ هم موضوع هستند.
- در صورتی که میخواهید جستجو را در همه موضوعات و با شرایط دیگر تکرار کنید به صفحه جستجوی پیشرفته مجلات مراجعه کنید.