Model Driven software Development (MDD) is a vision of software development where models play a core role as primary development artifacts. Its industrial adoption depends on several factors, including possibilities o...
详细信息
ISBN:
(纸本)3540457720
Model Driven software Development (MDD) is a vision of software development where models play a core role as primary development artifacts. Its industrial adoption depends on several factors, including possibilities of increasing productivity and quality by using models. In this paper we present a case study of two companies willing to adopt the principles of MDD. One of the companies is in the process of adopting MDD while the other withdrew from its initial intentions. the results provide insights into the differences in requirements for MDD in these organizations, factors determining the decision upon adoption and the potentially suitable modeling notation for the purpose of each of the companies. the analysis of the results from this case study, supported by the conclusions from a previous case study of a successful MDD adoption, show also which conditions should be fulfilled in order to increase the chances of succeeding in adopting MDD.
Model-Driven Development is a challenge and a promising methodology for creating next-generation software systems. In this paper, we present SDL-MDD, a model-driven development process that is based on the ITU-T desig...
详细信息
ISBN:
(纸本)3540457720
Model-Driven Development is a challenge and a promising methodology for creating next-generation software systems. In this paper, we present SDL-MDD, a model-driven development process that is based on the ITU-T design language SDL. We present a semantically integrated tool suite, especially supporting model-driven code generation and model-driven simulation. Both production and simulation code are entirely generated from SDL models and automatically instrumented to interface with different operating systems and communication technologies. the use of SDL-MDD and of the tool suite is illustrated by an extensive case study from the ubiquitous computing domain.
the OMG MOF 2.0 standard is used to define the abstract syntax of software modeling languages while the UML 2.0 Diagram Interchange (DI) describes the concrete syntax of models. However, very few tools support the DI ...
详细信息
ISBN:
(纸本)3540457720
the OMG MOF 2.0 standard is used to define the abstract syntax of software modeling languages while the UML 2.0 Diagram Interchange (DI) describes the concrete syntax of models. However, very few tools support the DI standard, leading to interoperability problems. the primary reason for this is the lack of a formal way to describe the relationship between the abstract metamodel and its corresponding diagrams. In this article, we present a language to describe mappings between modeling languages and diagrams, some example mappings and our experience in using them. Better and correct support for DI would ease interchange of visual models and hasten the adoption of model-driven development.
In proceedings of models/UML 2005, Steimann argues that domain models are aspect free. Steimann9;s hypothesis is that the notion of aspect in aspect-oriented software development (AOSD) is a meta-level concept. He ...
详细信息
ISBN:
(纸本)3540457720
In proceedings of models/UML 2005, Steimann argues that domain models are aspect free. Steimann's hypothesis is that the notion of aspect in aspect-oriented software development (AOSD) is a meta-level concept. He concludes that aspects are technical concepts, i.e., a property of programming and not a means to reason about domain concepts in a modular fashion. In this paper we argue otherwise. We highlight that, by ignoring the body of work on Early Aspects, Steimann in fact ignores the problem domain itself. Early Aspects techniques support improved modular and compositional reasoning about the problem domain. Using concrete examples we argue that domain models do indeed have aspects which need first-class support for such reasoning. Steimann's argument is based on treating quantification and obliviousness as fundamental properties of AOSD. Using concrete application studies we challenge this basis and argue that abstraction, modularity and composability are much more fundamental.
the dialogue between end-user and developer presents several challenges in requirements development. One issue is the gap between the conceptual models of end-users and formal specificationlanalysis models of develope...
详细信息
ISBN:
(纸本)0769525555
the dialogue between end-user and developer presents several challenges in requirements development. One issue is the gap between the conceptual models of end-users and formal specificationlanalysis models of developers. this paper presents a novel technique for the video analysis of scenarios, relating the use of video-based requirements to process models of software development. It uses a knowledge model-an RDF graph-based on a semiotic interpretation of film language, which allows mapping conceptual into formal models. It can be queried with RDQL, a query language for RDF. the technique has been implemented with a tool which lets the analyst annotate objects as well as spatial or temporal relationships in the video, to represent the conceptual model. the video can be arranged in a scenario graph effectively representing a multi-path video. It can be viewed in linear time order tofacilitate the review of individual scenarios by end-users. Each multi-path scene from the conceptual model is mapped to a UML use case in the formal model. A UmL sequence diagram can also be generatedfirom the annotations, which shows the direct mapping offilm language to umL this sequence diagram can be edited by the analyst, refining the conceptual model to reflect deeper understanding of the application domain. the use of the software Cinema technique is demonstrated with several prototypical applications. One example is a loan application scenario for a financial services consultingfir7n which acted as an end-user.
Model transformations are an integral part of model-driven development. Incremental updates are a key execution scenario for transformations in model-based systems, and are especially important for the evolution of su...
详细信息
ISBN:
(纸本)3540457720
Model transformations are an integral part of model-driven development. Incremental updates are a key execution scenario for transformations in model-based systems, and are especially important for the evolution of such systems. this paper presents a strategy for the incremental maintenance of declarative, rule-based transformation executions. the strategy involves recording dependencies of the transformation execution on information from source models and from the transformation definition. Changes to the source models or the transformation itself can then be directly mapped to their effects on transformation execution, allowing changes to target models to be computed efficiently. this particular approach has many benefits. It supports changes to both source models and transformation definitions, it can be applied to incomplete transformation executions, and a priori knowledge of volatility can be used to further increase the efficiency of change propagation.
Agent-Oriented Conceptual Modelling (AOCM), as exemplified by the i* notation [9], represents an interesting approach to modelling early phase requirements that is particularly effective in capturing organisational co...
详细信息
ISBN:
(纸本)0769527183
Agent-Oriented Conceptual Modelling (AOCM), as exemplified by the i* notation [9], represents an interesting approach to modelling early phase requirements that is particularly effective in capturing organisational contexts, stakeholder intentions and rationale. Our objective in this paper is to define means for executing i* models by translating these into set of interacting agents implemented in the 3APL language. We also propose a hybrid modelling, or co-evolution, approach in which i* models and 3APL agent programs are concurrently maintained and updated, while maintaining some modicum of loose coupling via consistency constraints. this paper explores how these two otherwise disparate approaches might be used in a synergistic fashion for requirement engineering.
the advent of model-driven software development has put model transformations into focus. In practice, model transformations are expected to be applicable in different stages of a development process and help to consi...
详细信息
ISBN:
(纸本)3540457720
the advent of model-driven software development has put model transformations into focus. In practice, model transformations are expected to be applicable in different stages of a development process and help to consistently propagate changes between the different involved models which we refer to as model synchronization. However, most approaches do not fully support the requirements for model synchronization today and focus only on classical one-way batch-oriented transformations. In this paper, we present our approach for an incremental model transformation which supports model synchronization. Our approach employs the visual, formal, and bidirectional transformation technique of triple graph grammars. Using this declarative specification formalism, we focus on the efficient execution of the transformation rules and present our approach to achieve an incremental model transformation for synchronization purposes. We present an evaluation of our approach and demonstrate that due to the speedup for the incremental processing in the average case even larger models can be tackled.
the proceedings contain 9 papers. the topics discussed include: reflections on architectural connection: seven issues on aspects and ADLs;relating architectural views with architectural concerns;a tool suite for aspec...
ISBN:
(纸本)1595934057
the proceedings contain 9 papers. the topics discussed include: reflections on architectural connection: seven issues on aspects and ADLs;relating architectural views with architectural concerns;a tool suite for aspect-oriented requirements engineering;dealing with crosscutting concerns in a model based software production method;discovering aspects in requirements with repertory grid;analysis of crosscutting across software development phases based on traceability;an aspect-oriented UML tool for software development with early aspects;and composing aspect models with graph transformations.
Increasingly, object-oriented technology, specifically the Unified Modeling Language (UML), is being used to develop critical embedded systems. Several efforts have attempted to translate UML models into formal specif...
详细信息
ISBN:
(纸本)3540457720
Increasingly, object-oriented technology, specifically the Unified Modeling Language (UML), is being used to develop critical embedded systems. Several efforts have attempted to translate UML models into formal specification languages, thus enabling the models to be analyzed by model checkers. Unfortunately, the complexity and volume of the analysis results often prevents developers from fully taking advantage of the analysis capabilities. this paper introduces a generic visualization framework, theseus, that provides developers with a model-based, visual interpretation of the analysis results in terms of the original UML diagrams. Within this framework, a playback mechanism displays the execution paththat has led to a model checking violation in terms of the original UML state diagram and a newly generated sequence diagram that depicts the problem scenario. A theseus prototype supporting the Spin and SMV model checkers has been applied to the analysis of UML models for embedded systems from industry.
暂无评论