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

5th european conference on model driven architecture - foundations and applications

作者： Garces, Kelly Jouault, Frederic Cointe, Pierre Bezivin, Jean EMN INRIA Rennes AtlanMod Rennes France INRIA Rennes ASCOLA LINA UMR Rennes France

ISBN: (纸本)9783642026737

Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. this need is rapidly increasing in systems built using the model-driven Engineering (MDE) paradigm. An MDE system basically consists of metamodels, terminal models, and transformations. the evolution of a metamodel may render its related terminal models and transformations invalid. this paper proposes a three-step solution that automatically adapts terminal models to their evolving metamodels. the first step computes the equivalences and (simple and complex) changes between a given metamodel, and a former version of the same metamodel. the second step translates the equivalences and differences into an adaptation transformation. this transformation can then be executed in a third step to adapt to the new version any terminal model conforming to the former version. We validate our ideas by implementing a prototype based on the AtlanMod model Management architecture (AMMA.) platform. We present the accuracy and performance that the prototype delivers on two concrete examples: a Petri Net metamodel from the research literature, and the Netbeans Java metamodel.

关键词： model-driven Engineering model Transformation Adaptation

来源：评论

学校读者我要写书评

暂无评论

MBT4Chor: A model-Based Testing Approach for Service Choreographies

MBT4Chor: A Model-Based Testing Approach for Service Choreog...

引用

5th european conference on model driven architecture - foundations and applications

作者： Stefanescu, Alin Wieczorek, Sebastian Kirshin, Andrei SAP Res CEC Darmstadt Bleichstr 8 D-64283 Darmstadt Germany Univ Haifa IBM Haifa Res Lab Haifa Israel

ISBN: (纸本)9783642026737

Service choreographies describe the global communication protocols between services and testing these choreographies is an important task in the context of service-oriented architectures (SOA). Formal modeling of service choreographies makes a model-based testing (MBT) approach feasible. In this paper we present an MBT approach For SOA integration testing based on SAP proprietary choreography models called Message Choreography models (MCM). In our approach, MCMs are translated into executable UML models using Java as action language. these UML models are used by a UML model execution engine developed by IBM for test generation and model debugging. We describe the achievements and challenges of our approach based on first experimental evaluation conducted at SAP.

关键词： Choreography modeling SOA Service Integration model-Based Testing model Transformation Domain Specific Language

来源：评论

学校读者我要写书评

暂无评论

Comparison of three model Transformation Languages

Comparison of Three Model Transformation Languages

引用

5th european conference on model driven architecture - foundations and applications

作者： Gronmo, Roy Moller-Pedersen, Birger Olsen, Goran K. Univ Oslo Dept Informat N-0316 Oslo Norway SINTEF Info & Commun Tech Oslo Norway

ISBN: (纸本)9783642026737

In this paper we compare three model transformation languages: 1) Concrete syntax-based graph transformation (CGT) which is our emerging model transformation language, 2) Attributed Graph Grammar (AGG) representing traditional graph transformation, and 3) Atlas Transformation Language (ATL) representing model transformation. Our case study is a fairly complicated refactoring of UML activity models. the case study shows that CGT rules are more concise and requires considerably less effort from the modeler, than with AGG and ATL. With AGG and ATL, the transformation modeler needs access to and knowledge of the metamodel and the representation in the abstract syntax. In CGT rules on the other hand, the transformation modeler can concentrate on the familiar concrete syntax of the source and target languages.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Dependent and Conflicting Change Operations of Process models

Dependent and Conflicting Change Operations of Process Model...

引用

5th european conference on model driven architecture - foundations and applications

作者： Kuester, Jochen. M. Gerth, Christian Engels, Gregor IBM Corp Zurich Res Lab Saumerstr 4 CH-8803 Ruschlikon Switzerland Univ Paderborn Dept Comp Sci Paderborn Germany

ISBN: (纸本)9783642026737

Version management of models is common for structural diagrams such as class diagrams but still challenging for behavioral models such as process models. For process models, conflicts of change operations are difficult to resolve because often dependencies to other change operations exist. As a consequence, conflicts and dependencies between change operations must be computed and shown to the user who can then take them into account while creating a consolidated version. In this paper, we introduce the concepts of dependencies and conflicts of change operations for process models and provide a method how to compute them. We then discuss different possibilities for resolving conflicts. Using our approach it is possible to enable version management of process models with minimal manual intervention of the user.

关键词： Enterprise resource management

来源：评论

学校读者我要写书评

暂无评论

Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations

Enabling Automated Traceability Maintenance through the Upke...

引用

5th european conference on model driven architecture - foundations and applications

作者： Maeder, Patrick Gotel, Orlena Philippow, Ilka Tech Univ Ilmenau Dept Software Syst D-98684 Ilmenau Germany Pace Univ Dept Comp Sci New York NY USA

ISBN: (纸本)9783642026737

Traceability is demanded within mature development processes and offers a wide range of advantages. Nevertheless, there are deterrents to establishing traceability: it can be painstaking to achieve initially and then subject to almost instantaneous decay. To be effective, this is clearly an investment that should be retained. We therefore focus on reducing the manual effort incurred in performing traceability maintenance tasks. We propose an approach to recognize those changes to structural UML models that impact existing traceability relations and, based upon this knowledge, we provide a mix of automated and semi-automated strategies to update these relations. this paper provides technical details on the update process;it builds upon a previous publication that details how triggers for these updates can be recognized in an automated manner. the overall approach is supported by a prototype tool and empirical results on the effectiveness of tool-supported traceability maintenance are provided.

关键词： Automated traceability maintenance model-driven engineering Change management Rule-based traceability Traceability update

来源：评论

学校读者我要写书评

暂无评论

Challenges in Combining SysML and MARTE for model-Based Design of Embedded Systems

Challenges in Combining SysML and MARTE for Model-Based Desi...

引用

5th european conference on model driven architecture - foundations and applications

作者： Espinoza, Huascar Cancila, Daniela Selic, Bran Gerard, Sebastien CEA LIST Model Driven Engn Labs LISE Point Courrier 94 F-91191 Gif Sur Yvette France Malina Software Corp Nepean ON Canada

ISBN: (纸本)9783642026737

Using model-based approaches for designing embedded systems helps abstract away unnecessary details in a manner that increases the potential for easy validation and verification, and facilitates reuse and evolution. A common practice is to use UML as the base language, possibly specialized by the so-called profiles. Despite the ever increasing number of profiles being built in many domains, there is still insufficient focus on discussing the issue of combining multiple profiles. Indeed, a single profile may not be adequate to cover all aspects required in the multidisciplinary domain of embedded systems. In this paper, we assess possible strategies for combining the SysML and MARTE profiles in a common modelling framework, while avoiding specification conflicts. We show that, despite some semantic and syntactical overlapping, the two are highly complementary for specifying embedded systems at different abstraction levels. We conclude, however, that a convergence agenda is highly desirable to align some key language features.

关键词： model-based engineering embedded systems SysML MARTE

来源：评论

学校读者我要写书评

暂无评论

A platform-independent metamodel for multiagent systems

引用

AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS 2009年第2期18卷 239-266页

作者： Hahn, Christian Madrigal-Mora, Cristian Fischer, Klaus German Res Ctr Artificial Intelligence DFKI D-66123 Saarbrucken Germany

Various agent-oriented methodologies and metamodels exist to design and develop multiagent systems (MAS) in an abstract manner. Frequently, these frameworks specialise on particular parts of the MAS and only few works have been invested to derive a common standardisation. this limits the impact of agent-related systems in commercial applications. In this paper, we present a metamodel for agent systems that abstracts from existing agent-oriented methodologies, programming languages, and platforms and could thus be considered as platform-independent. this metamodel defines the abstract syntax of a proposed domain-specific modelling language for MAS that is currently under development and provides furthermore the base to generate code out of the generated designs. this is done by applying the principles of model-driven development (MDD) and providing two model transformations that allow transforming the generated models into textual code that can be executed with JACK and JADE.

关键词： Agent modelling Agent oriented model driven architecture Agent oriented software engineering JADE JACK BDI Metamodelling PSM PIM PIM4AGENTS

来源：评论

学校读者我要写书评

暂无评论

A model driven Approach to the Analysis of Timeliness Properties

A Model Driven Approach to the Analysis of Timeliness Proper...

引用

5th european conference on model driven architecture - foundations and applications

作者： Ameedeen, Mohamed A. Bordbar, Behzad Anane, Rachid Univ Birmingham Birmingham W Midlands England Coventry Univ Coventry W Midlands England

ISBN: (纸本)9783642026737

the need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri Nets are a good example of this dichotomy. UML is a widely accepted modelling language capable of modelling the structural and behavioural aspects of a system. However UML lacks the mathematical foundation that is required for rigorous analysis. Petri Nets on the other hand have a strong mathematical base that is well suited for analysis of a system but lacks the appeal and ease-of-use of UML. Design in UML languages such as Sequence Diagrams and analysis in Petri Nets require on one hand some expertise in potentially two incompatible systems and their tools, and on the other a seamless transition from one system to the other. One way of addressing this impediment is to focus the software development mainly on the design language system and to facilitate the transition to the formal analysis by means of a combination of automation and tool support. the aim of this paper is to present a transformation system, which takes UML Sequence Diagrams augmented with time constraints and generates semantically equivalent Petri Nets that preserve the timing requirements. A case study on a small network is used in order to illustrate the proposed approach and in particular the design, the transformation and the analysis processes.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

An MDA-based approach for behaviour modelling of context-aware mobile applications

An MDA-based approach for behaviour modelling of context-awa...

引用

5th european conference on model driven architecture - foundations and applications, ECMDA-FA 2009

作者： Daniele, Laura M. Ferreira Pires, Luís Van Sinderen, Marten Centre for Telematics and Information Technology University of Twente Enschede Netherlands

ISBN: (纸本)3642026737

Most reported MDA approaches give much attention to structural aspects in PSMs and in generated code, and less attention to the PIM level and the behaviour of the modelled applications. Consequently, application behaviour is generally not (well) defined at the PIM level. this paper presents an MDA-based approach that incorporates behaviour modelling at the PIM level in the development of a specific category of applications, i.e., context-aware mobile applications. the paper also illustrates a behaviour model transformation realized by using Medini QVT, which is a tool that implements the Query/ View/ Transformation (QVT) Relations specification defined by OMG for model-to-model transformations. © 2009 Springer Berlin Heidelberg.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

Development of CMS-based Web-applications Using a model-driven Approach

Development of CMS-based Web-Applications Using a Model-Driv...

引用

4th International conference on Software Engineering Advances

作者： Saraiva, Joao de Sousa da Silva, Alberto Rodrigues Inst Super Tecn INESC ID P-1000029 Lisbon Portugal

ISBN: (纸本)9781424447794

the emerging model-driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and source-code can be quickly produced from those models by using automated transformations. One of the many types of deployment platforms that can potentially benefit from such model-driven approaches are Content Management Systems, as these approaches can significantly accelerate the development of new web-applications and features, as well as simplify their maintenance. this work proposes the creation of a model-driven approach for the development of web-applications based on Content Management Systems. this approach is based on the creation of two modeling languages (which are situated at different levels of abstraction, and are used to both quickly model a web-application and provide a common ground for the creation of additional languages), and a mechanism for the processing of models specified using those languages. the current results of this work so far are the development of a Content Management System that effectively supports web-applications of medium complexity, and the creation of a reference case study that will be used to validate this work.

关键词： Software Design Software Construction Software Engineering Tools and Methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：