Embedding Requirements within the Model Driven Architecture

The Model Driven Architecture (MDA) brings benefits to software development, among them the potential for connecting software models with the business domain. This paper focuses on the upstream or Computation Independent Model (CIM) phase of the MDA. Our contention is that, whilst there are many models and notations available within the CIM Phase, those that are currently popular and supported by the Object Management Group (OMG), may not be the most useful notations for business analysts nor sufficient to fully support software requirements and specification. Therefore, with specific emphasis on the value of the Business Process Modelling Notation (BPMN) for business analysts, this paper provides an example of a typical CIM approach before describing an approach which incorporates specific requirements techniques. A framework extension to the MDA is then introduced; which embeds requirements and specification within the CIM, thus further enhancing the utility of MDA by providing a more complete method for business analysis

An Experiment in Model Driven Architecture for e-Enterprise Systems

OMG's Model Driven Architecture demonstrates how a system's specification model can be used within the process of creating supporting software implementations. This article documents the findings of an experiment aimed at determining the extent to which this method of software engineering can be used within the domain of e-Enterprise systems

Model driven architecture: foundations and applications

The OMG's Model Driven Architecture (MDA) initiative has been the focus of much attention in both academia and industry, due to its promise of more rapid and consistent software development through the increased use of models. In order for MDA to reach its full potential, the ability to manipulate and transform models -most obviously from the Platform Independent Model (PIM) to the Platform Specic Models (PSM)- is vital. Recognizing this need, the OMG issued a Request For Proposals (RFP) largely concerned with nding a suitable mechanism for transforming models. This paper outlines the relevant background material, summarizes the approach taken by the QVT-Partners (to whom the authors belong), presents a non-trivial example using the QVT-Partners approach, and nally sketches out what the future holds for model transformations

Extended Model driven Architecture to B Method

International audienceModel Driven Architecture (MDA) design approach proposes to separate design into two stages: implementation independent stage then an implementation-dependent one. This improves the reusability, the reusability, the standability, the maintainability, etc. Here we show how MDA can be augmented using a formal refinement approach: B method. Doing so enables to gradually refine the development from the abstract specification to the executing implementation; furthermore it permits to prove the coherence between components in low levels even if they are implemented in different technologies

Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach

Within MDA models are usually created in the UML. However, one may prefer to\ud use different notations such as Petri-nets, for example, for modelling concurrency\ud and synchronization properties of systems. This paper claims that techniques that\ud are adopted within the context of MDA can also be beneficial in modelling systems\ud by using notations other than the UML. Petri-Nets are widely used for modelling\ud of business and application logic of information systems with web services. For\ud certain kinds of applications, therefore, Petri Nets can be more suitable for building\ud Computation Independent, Platform Independent and Platform Specific Models\ud (CIM, PIM and PSM). Unfortunately, the well-known problems with separation of\ud concerns in Petri Nets and keeping track of changes may hinder achieving the aim of\ud MDA: building reusable, portable and interoperable models. In this paper we define\ud Aspect Petri Nets as a structure of several Petri Nets and quantification rules for\ud weaving of those Petri Nets. Aspect Petri Nets are suitable for application of MDA;\ud they support traceability of changes and reusability, portability and interoperability\ud of models. We illustrate advantages of modelling in Aspect Petri Nets for MDA\ud application and describe necessary tool support

Model Driven Architecture

摘要模型驱动体系结构是对象管理组织针对软件产业所面临的压力提出来的一种新的解决途径。MDA的关键之处是，模型在软件开发中扮演了非常重要的角色。整个软件开发过程是由对软件系统的建模行为驱动的。MDA的开发过程就是首先抽象出与实现技术无关、完整描述业务功能的核心模型PIM，针对不同实现技术制定多个映射规则，然后通过这些映射规则及辅助工具将PIM转换成与具体实现技术相关的应用模型PSM。最后，在一定程度上将PSM自动转换成代码。本文以基于模型驱动的软件开发方法为主要研究内容，对MDA的基本原理、基本框架、软件开发生命周期、核心技术、模型变换的实现技术进行了深入的研究和探索。在对模型、平台无关模型、平...Abstract Model Driven Architecture is proposed by OMG in order to solve the problem which the software industry to face today. The key of MDA is that model is act as a very important role in software development period. The whole development process is driven by creating model for the system. The first period of MDA process is to abstract the core model (PIM) which is independent from the detai...学位：工学硕士院系专业：软件学院_计算机应用技术学号：20034001

An ontology-based MDA framework for service-based software systems architecting

Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural design of software systems. Ontologies are can enhance the modelling aspects here. We present a layered MDA-based modelling approach. We focus on servicebased software and the Web Services platform

A model driven architecture approach to web development

The rise of the number and complexity of web applications is ever increasing. Web engineers need advanced development methods to build better systems and to maintain them in an easy way. Model-Driven Architecture (MDA) is an important trend in the software engineering field based on both models and its transformations to automatically generate code. This paper describes a a methodology for web application development, providing a process based on MDA which provides an effective engineering approach to reduce effort. It consists of defining models from metamodels at platform- independent and platform-specific levels, from which source code is automatically generated

A Component-Based Power System Model-Driven Architecture

This letter describes an approach of applying the model-driven development in power systems. A component-based model-driven architecture,that gives full flexibility of the automation in source code generation,is introduced. A design pattern to code generation is described