Search results for "Model transformation"

showing 9 items of 19 documents

A new design of H ∞ filtering for continuous-time Markovian jump systems with time-varying delay and partially accessible mode information

2013

In this paper, the delay-dependent H"~ filtering problem for a class of continuous-time Markovian jump linear systems with time-varying delay and partially accessible mode information is investigated by an indirect approach. The generality lies in that the systems under consideration are subject to a Markov stochastic process with exactly known and partially unknown transition rates. By utilizing the model transformation idea, an input-output approach is employed to transform the time-delayed filtering error system into a feedback interconnection formulation. Invoking the results from the scaled small gain theorem, an improved version of bounded real lemma is obtained based on a Markovian L…

Markov chainStochastic processModel transformationMode (statistics)Markov processsymbols.namesakeSmall-gain theoremControl and Systems EngineeringLinearizationControl theorySignal ProcessingFiltering problemsymbolsApplied mathematicsComputer Vision and Pattern RecognitionElectrical and Electronic EngineeringcomputerSoftwareMathematicscomputer.programming_languageSignal Processing
researchProduct

From Requirements to Code in a Model Driven Way

2010

Though there is a lot of support for model driven development the support for complete model driven path from requirements to code is limited. The approach proposed in this paper offers such a path which is fully supported by model transformations. The starting point is semiformal requirements containing behaviour description in a controlled natural language. A chain of models is proposed including analysis, platform independent and platform specific models. A particular architecture style is chosen by means of selecting a set of appropriate design patterns for these models. It is shown how to define informally and then implement in model transformation language MOLA the required transforma…

Programming languageComputer sciencecomputer.software_genrelanguage.human_languageSet (abstract data type)Controlled natural languageUnified Modeling LanguagePath (graph theory)Software design patternCode (cryptography)languagePoint (geometry)computerAlgorithmModel transformation languagecomputer.programming_language
researchProduct

Induced ℓ<inf>2</inf> control of discrete-time Takagi-Sugeno fuzzy systems with time-varying delays via dynamic output feedback

2012

This paper is concerned with analyzing a novel model transformation of discrete-time Takagi-Sugeno (T-S) fuzzy systems with time-varying delays and applying it to dynamic output feedback (DOF) controller design. A new auxiliary model is proposed by employing a new approximation for time-varying delay state, and then delay partitioning method is used to analyze the scaled small gain of this auxiliary model. A sufficient condition on discrete-time T-S fuzzy systems with time-varying delays, which guarantees the corresponding closed-loop system to be asymptotically stable and has an induced l 2 disturbance attenuation performance, is derived by employing the scaled small gain theorem. Then the…

Set (abstract data type)Small-gain theoremDiscrete time and continuous timeControl theoryStability theoryModel transformationFuzzy control systemState (functional analysis)computercomputer.programming_languageMathematics2012 IEEE 51st IEEE Conference on Decision and Control (CDC)
researchProduct

Graphical Template Language for Transformation Synthesis

2010

Higher-Order Transformations (HOT) have become an important support for the development of model transformations in various transformation languages. Most frequently HOTs are used to synthesize transformations from different kinds of models, for example, mapping models. This means that model driven development (MDD) is being successfully applied to transformations themselves too. The standard HOT solution is to create the transformation as a model using the abstract syntax. However, for graphical transformation languages a significantly more efficient solution would be to create the transformation using its graphical (concrete) syntax. An analogy could be the textual template languages such…

Syntax (programming languages)business.industryProgramming languageComputer scienceModel transformationAnalogycomputer.software_genreTransformation languageDevelopment (topology)Concrete syntaxTransformation (function)Abstract syntaxArtificial intelligencebusinesscomputerNatural language processingcomputer.programming_language
researchProduct

DSL Tool Development with Transformations and Static Mappings

2009

A tool development framework for domain-specific languages combining mapping and transformation based approaches is proposed in this research project. The combination of both approaches permits to use advantages and eliminate disadvantages as far as possible. First results are described including draft architecture for the framework implementing proposed ideas. A sketch of mapping definition facilities is presented. Initial implementation proposals are described as well. A template based graphical generation language Template MOLA for implementation algorithm description is introduced.

Transformation (function)Development (topology)Digital subscriber lineGeneration languageComputer scienceProgramming languageModel transformationArchitecturecomputer.software_genrecomputerSketchTransformation languagecomputer.programming_language
researchProduct

Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine

2005

Legacy systems are information systems that have been developed by means of methods, tools and database management systems that have become obsolete, but they are still being used due to their reliability. As time goes on, the maintenance of this software becomes more complex, expensive and painful. The MOMENT framework supports automatic formal model transformations in MDA. This model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic. In this paper, we present how we apply this formal transformation mechanism to recover a legacy relational database, obtain…

Unified Modeling LanguageComputer scienceRelational databaseProgramming languageModel transformationLegacy systemInformation systemAlgebraic specificationSoftware maintenanceRewritingcomputer.software_genrecomputercomputer.programming_languageNinth European Conference on Software Maintenance and Reengineering
researchProduct

The Orchestra of Multiple Model Repositories

2013

This paper motivates and encourages the simultaneous use of multiple model repositories in model-driven software. A multi-repository mechanism is proposed for that. With this mechanism, multiple model repositories residing in the same or different technical spaces can be mounted into a single repository (in the same sense as file systems are mounted in UNIX) and accessed in a uniform way. Relations (including generalizations) between elements from the mounted repositories are supported. Some of the repositories may be “computable” (virtual), which leads to the on-the-fly model transformation concept.

UnixWorld Wide WebSoftwareComputer sciencebusiness.industryProgramming languageModel transformationbusinesscomputer.software_genrecomputerMechanism (sociology)computer.programming_language
researchProduct

Model transformation language MOLA

2005

The paper describes a new graphical model transformation language MOLA. The basic idea of MOLA is to merge traditional structured programming as a control structure with pattern-based transformation rules. The key language element is a graphical loop concept. The main goal of MOLA is to describe model transformations in a natural and easy readable way.

biologyComputer sciencebusiness.industryProgramming languageTransitive closureStructured programmingbiology.organism_classificationcomputer.software_genreTransformation languageMolaArtificial intelligenceGraphical modelbusinesscomputerModel transformation languagecomputer.programming_languageMerge (linguistics)
researchProduct

Effectuation Logic in Digital Business Model Transformation : Insights from Japanese High-Tech Innovators

2019

Purpose The purpose of this paper is to study how digital business models evolve when entrepreneurs move to new digital platforms and how this evolution is related to effectuation and causation logics. Design/methodology/approach This study applies a multiple case study approach to investigate how digital business models change in small, Japanese high-tech firms providing their innovations through different digital platforms. To investigate digital business models, this study considers the elements that comprise general business models. The case firms were selected based on size, products and transitions from physical to various digital platforms. Semi-structured interviews were conducted …

liiketoimintamallitEffectuationKnowledge managementComputer scienceStrategy and ManagementModel transformation02 engineering and technologydigital platformsBusiness modeldigital businesscausation020204 information systems0502 economics and business0202 electrical engineering electronic engineering information engineeringRevenuebusiness modelsCausationeffectuationcomputer.programming_languagealustatalousbusiness.industrytransformation05 social sciencesDigital transformationHigh techverkkoliiketoimintaNew product developmentdigitaaliset alustatBusiness Management and Accounting (miscellaneous)businesscomputer050203 business & management
researchProduct