检索结果-内蒙古大学图书馆

AspectOCL: Extending OCL for Crosscutting Constraints 1

11th European Conference on modelling Foundations and Applications (ECMFA) held as Part of software Technologies - Applications and Foundations (STAF)

作者： Khan, Muhammad Uzair Arshad, Numra Iqbal, Muhammad Zohaib Umar, Hafsa Natl Univ Comp & Emerging Sci Software Qual Engn & Testing Lab QUEST Islamabad Pakistan Interdisciplinary Ctr Secur Reliabil & Trust Software Verificat & Validat Lab Luxembourg Luxembourg

ISBN: (数字)9783319211510

ISBN: (纸本)9783319211510;9783319211503

Constraints play an important role in model driven software engineering. Industrial systems commonly exhibit crosscutting behaviors in design artifacts. While modeling of crosscutting behaviors has been addressed in literature, the modeling of crosscutting constraints remains a problem. Presence of crosscutting constraints makes it difficult to maintain constraints defined on the models of large-scale industrial systems. Multiple elements in a model may share common crosscutting constraints with minor variation. Aspect orientation is well-established approach to model crosscutting behavior. Current OCL specification does not support writing crosscutting constraints separately as aspects. In this paper, we propose an extension of OCL language that brings benefits of aspect orientation to OCL constraints. In our language, crosscutting constraints are specified as aspects, which can be woven in OCL constraints. We demonstrate our proposed language through application on a published open source case study. Results show that specifying crosscutting constraints as aspects can reduce the number of constraints to be specified.

关键词： model driven software engineering Crosscutting constraints Object constraint language Aspect orientation Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

Empirical Evaluation of UML modeling Tools-A Controlled Experiment 1

引用

11th European Conference on modelling Foundations and Applications (ECMFA) held as Part of software Technologies - Applications and Foundations (STAF)

作者： Safdar, Safdar Aqeel Iqbal, Muhammad Zohaib Khan, Muhammad Uzair Natl Univ Comp & Emerging Sci Software Qual Engn & Testing Lab QUEST Islamabad Pakistan Interdisciplinary Ctr Secur Reliabil & Trust Luxembourg Luxembourg

ISBN: (数字)9783319211510

ISBN: (纸本)9783319211510;9783319211503

model driven software engineering (MDSE) has shown to provide mark improvement in productivity and quality of software products. UML is a standard modeling language that is widely used in the industry to support MDSE. To provide tool support for MDSE, a large number of UML modeling tools are available, ranging from open-source tools to commercial tools with high price tag. A common decision faced while applying UML in practice is the selection of an appropriate tool for modeling. In this paper we conduct a study to compare three of the well-known modeling tools: IBM Rational software Architect (RSA), MagicDraw, and Papyrus. In this study we conducted an experiment with undergraduate and graduate students. The goal is to compare the productivity of the software engineers while modeling with the tools. We measure the productivity in terms of modeling effort required to correctly complete a task, learnability, time and number of clicks required, and memory load required for the software engineer to complete a task. Our results show that MagicDraw performed significantly better in terms of learnability, memory load, and completeness of tasks. In terms of time and number of clicks, IBM RSA was significantly better while modeling class diagrams and state machines when compared to Papyrus. However no single tool outperformed others in all the modeling tasks with respect to time and number of clicks.

关键词： model driven software engineering UML modeling tools Controlled experiment Empirical software engineering

来源：评论

学校读者我要写书评

暂无评论

The Foundation for Cooperative Services in engineering Buildings - The Common Ontology for Architectural and Urban Data Repository modeling 10

The Foundation for Cooperative Services in Engineering Build...

引用

10th Jubilee IEEE International Symposium on Applied Computational Intelligence and Informatics

作者： Perisic, Ana Lazic, Marko Perisic, Branko Univ Novi Sad Fac Tech Sci Novi Sad Serbia

ISBN: (纸本)9781479999118

Particular domain expertise in engineering and scientific fields has emerged demanding more advanced skills and deeper domain knowledge than just a few years ago. That is why computer supported cooperative work is the challenging discipline that drives the development process of contemporary and future engineering methods, standards and tools. The essential role of Architectural Design (AD) and Urban Planning (UP) is to enable forward looking approach to the building facility, while Construction engineering (CE) expresses its routine through the transformation of abstract ideas to usable urban artifacts. Currently available software tools, supporting AD, UP and CE domains are far from being simple and ultimately demand advanced skills development. In order to facilitate service oriented architecture (SOA) support for AD, UP and CE cooperation, it is essential to design an interoperability environment that enables lean development support. In this article we discuss the ontology aspects of SOA support over common data repository. According to the AD, UP and CE domain analysis we purpose the Common Ontology for Architectural and Urban Data Repository modeling that may serve as a n SOA building foundation.

关键词： Architectural Design Building Information modeling Computer Supported Cooperative Work Data Repository model driven software engineering Service Oriented Architecture Urban Planning

来源：评论

学校读者我要写书评

暂无评论

Co-ordination of Multiple Metamodels, with Application to Healthcare Systems 5

Co-ordination of Multiple Metamodels, with Application to He...

引用

4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH)

作者： Rabbi, Fazle Lamo, Yngve MacCaull, Wendy Bergen Univ Coll Bergen Norway Univ Oslo N-0316 Oslo Norway St Francis Xavier Univ Antigonish NS Canada

Due to their complexity and the plethora of requirements placed upon them, healthcare systems so far have not been adequately modeled for the purpose of software development. As a result, the healthcare software suffers from high development costs and lack of flexibility. model driven software engineering (MDSE) is an emerging methodology for software development, targeting productivity, flexibility and reliability of systems;metamodelling is at the core of most MDSE approaches. In previous work, we proposed a multi metamodelling approach that captures the complexity of these systems by using a metamodelling hierarchy, built from individually defined metamodels, each capturing different aspects of a healthcare domain, namely, user access modelling, health process modelling, process monitoring, user interface modelling and modelling of the data sources. Here, we formalize the co- ordination among metamodels, using a linguistic extension of the metamodelling hierarchy. This linguistic extension is an added metalevel which models the integration of two or more different aspects of the system. We focus on two features essential to the co- ordination of healthcare metamodels, namely the integration of process and data, modelling data- aware processes, and the integration of process and user, modelling both user access as well as inheritance of user access to tasks. (C) 2014 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license.

关键词： multi metamodelling co-ordination among metamodels linguistic extension model driven software engineering healthcare information systems

来源：评论

学校读者我要写书评

暂无评论

Automatic Generation of Description Files for Highly Available Services 6

Automatic Generation of Description Files for Highly Availab...

引用

6th International Workshop on software engineering for Resilient Systems (SERENE)

作者： Turenne, Maxime Kanso, Ali Gherbi, Abdelouahed Barrett, Ronan Ecole Technol Super Software & IT Engn Dept Montreal PQ Canada Ericsson Ericsson Res Montreal PQ Canada Ericsson Ericsson Dev Stockholm Sweden

ISBN: (纸本)9783319122410;9783319122403

Highly available services are becoming a part of our everyday life;yet building highly available systems remains a challenging task for most system integrators who are expected build reliable systems from none reliable components. The service availability forum (SAForum) defines open standards for building and maintaining HA systems using the SAForum middleware. Nevertheless this task remains tedious and error prone due to the complexity of this middleware configuration. In this paper, we present a solution to automate the generation of description files for HA systems which enables the automated generation of the middleware configuration. In order to achieve this we propose an approach based on a new domain specific language extending the UML component diagrams, along with a corresponding set of model transformations. We also present our prototype implementation and a case study as a proof of concept.

关键词： High Availability model driven software engineering Unified modeling Language UML component diagrams SAForum standards

来源：评论

学校读者我要写书评

暂无评论

Co-ordination of Multiple Metamodels, with Application to Healthcare Systems

引用

Procedia Computer Science 2014年 37卷 473-480页

作者： Fazle Rabbi Yngve Lamo Wendy MacCaull Bergen University College Bergen Norway University Of Oslo Oslo Norway St. Francis Xavier University Antigonish Canada

Due to their complexity and the plethora of requirements placed upon them, healthcare systems so far have not been adequately modeled for the purpose of software development. As a result, the healthcare software suffers from high development costs and lack of flexibility. model driven software engineering (MDSE) is an emerging methodology for software development, targeting productivity, flexibility and reliability of systems; metamodelling is at the core of most MDSE approaches. In previous work, we proposed a multi metamodelling approach that captures the complexity of these systems by using a metamodelling hierarchy, built from individually defined metamodels, each capturing different aspects of a healthcare domain, namely, user access modelling, health process modelling, process monitoring, user interface modelling and modelling of the data sources. Here, we formalize the co-ordination among metamodels, using a linguistic extension of the metamodelling hierarchy. This linguistic extension is an added metalevel which models the integration of two or more different aspects of the system. We focus on two features essential to the co-ordination of healthcare metamodels, namely the integration of process and data, modelling data-aware processes, and the integration of process and user, modelling both user access as well as inheritance of user access to tasks.

关键词： multi metamodelling co-ordination among metamodels linguistic extension model driven software engineering healthcare information systems

来源：评论

学校读者我要写书评

暂无评论

modeling and Simulation driven software Development

Modeling and Simulation Driven Software Development

引用

Emerging M and S Applications in Industry and Academia Symposium (EAIA 2011) / Spring Simulation Multiconference (SpringSim '11)

作者： Barjis, Joseph Rychkova, Irina Yilmaz, Levent Delft Univ Technol Delft Netherlands Univ Paris 1 Pantheon Sorbonne Paris France Auburn Univ Auburn AL 36849 USA

ISBN: (纸本)9781617828393

modeling and simulation takes significant efforts and the results of these efforts are often underutilized in the subsequent phases of software development. In particular, the code generated in the simulation model can be a basis for further software development. In this paper, we discuss a theoretical and conceptual framework for software development based on the codes generated in a simulation environment. As business process modeling plays a departure role, in this paper, we pay attention to both conventional process modeling, i.e., imperative modeling based on explicit control flow, and unstructured process handling. i.e., declarative modeling based on circumstantial information. Since a simulation environment has the advantage of conducting experiments in regard to certain aspects or characteristics of a system, we also discus robustness and resilience of system performance in relation to fluctuating input, utilization of resources, and environmental uncertainties. A robust system is one that can withstand environmental disturbance without substantially losing ability to perform its operational mission, while a resilient system has the capability to rapidly recover its optimal performance.

关键词： Business process simulation model driven software engineering software component software generation software engineering

来源：评论

学校读者我要写书评

暂无评论

model Transformation Languages Relying on models as ADTs

Model Transformation Languages Relying on Models as ADTs

引用

2nd International Conference on software Language engineering

作者： Irazabal, Jeronimo Pons, Claudia Univ Nacl La Plata Fac Informat LIFIA Buenos Aires DF Argentina

ISBN: (纸本)9783642121067

In this paper we describe a simple formal approach that can be used to support the definition and implementation of model to model transformations. The approach is based on the idea that models as well as metamodels should be regarded as abstract data types (ADTs), that is to say, as abstract structures equipped with a set of operations. On top of these ADTs we define a minimal, imperative model transformation language with strong formal semantics. This proposal can be used in two different ways, on one hand it enables simple transformations to be implemented simply by writing them in any ordinary programming language enriched with the ADTs. And on the other hand, it provides a practical way to formally define the semantics of more complex model trails tort languages.

关键词： model driven software engineering model transformation language denotational semantics Abstract data types ATL

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：