書(shū)目名稱Graph Transformations and Model-Driven Engineering影響因子(影響力)學(xué)科排名
書(shū)目名稱Graph Transformations and Model-Driven Engineering網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Graph Transformations and Model-Driven Engineering網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Graph Transformations and Model-Driven Engineering被引頻次
書(shū)目名稱Graph Transformations and Model-Driven Engineering被引頻次學(xué)科排名
書(shū)目名稱Graph Transformations and Model-Driven Engineering年度引用
書(shū)目名稱Graph Transformations and Model-Driven Engineering年度引用學(xué)科排名
書(shū)目名稱Graph Transformations and Model-Driven Engineering讀者反饋
書(shū)目名稱Graph Transformations and Model-Driven Engineering讀者反饋學(xué)科排名
作者: 越自我 時(shí)間: 2025-3-21 23:50 作者: neologism 時(shí)間: 2025-3-22 02:59 作者: Limited 時(shí)間: 2025-3-22 04:57 作者: Flavouring 時(shí)間: 2025-3-22 10:22
https://doi.org/10.1057/9780230583115 represent explicitly and at the right level of abstraction some relevant topological and logical features of models and systems, including nesting, hierarchies, sharing of resources, and pointers or links. We also provide an encoding of the proposed algebra into terms of a gs-monoidal theory, and t作者: 是限制 時(shí)間: 2025-3-22 15:03
Mobility and Traffic in the 21st Century reliability of such systems, stochastic methods are required. Stochastic graph transformations allow the integrated modelling of these two concerns by associating with each rule and match a probability distribution governing the delay of its application. Depending on the nature of these distributio作者: 是限制 時(shí)間: 2025-3-22 18:56 作者: 斜 時(shí)間: 2025-3-23 01:13
https://doi.org/10.1007/978-3-642-34053-6ions. In order to model an arbitrary number of actions at different places in the same model, the concept of amalgamated graph transformation has been proposed. Rule applications of certain regularity are described by a rule scheme which contains multi-rules modeling elementary actions and a common 作者: 枯燥 時(shí)間: 2025-3-23 02:01
https://doi.org/10.1007/978-3-030-64140-5odeling language and vice-versa. The underlying data structure of such languages usually are some sort of graphs. Triple graph grammars (TGGs) are a formally founded language for describing correspondence relationships between two graph languages in a declarative way. Bidirectional graph language tr作者: febrile 時(shí)間: 2025-3-23 09:13
https://doi.org/10.1007/978-3-319-54446-5e. Pattern-based model-to-model transformation is our approach for specifying transformations in a declarative, relational and formal style. The approach relies on patterns describing allowed or forbidden relations between two models. These patterns are compiled into operational mechanisms to perfor作者: 飛鏢 時(shí)間: 2025-3-23 09:41 作者: Dendritic-Cells 時(shí)間: 2025-3-23 14:28 作者: cyanosis 時(shí)間: 2025-3-23 21:01 作者: Accolade 時(shí)間: 2025-3-24 01:48 作者: delegate 時(shí)間: 2025-3-24 02:43 作者: heterogeneous 時(shí)間: 2025-3-24 09:57 作者: Excitotoxin 時(shí)間: 2025-3-24 14:18
Rudolf Petersen,Karl Otto Schallab?ckation systems have not been addressed sufficiently. The E-CARES project is dedicated to reverse engineering of complex legacy telecommunication systems by providing graph-based tools. With E-CARES, the software architecture of a telecommunication system is recovered in two steps. In the first step (作者: 試驗(yàn) 時(shí)間: 2025-3-24 17:59 作者: 腐爛 時(shí)間: 2025-3-24 20:41 作者: 發(fā)炎 時(shí)間: 2025-3-25 00:51
https://doi.org/10.1007/978-3-658-33308-9ever, eliciting descriptive models from actual work environments can be quite complex due to multiplicity of roles, activities, artefacts, conditions, distributivity, locations and others. One way to manage this complexity is to elicit, from different sources, partial models (called views) of the su作者: enchant 時(shí)間: 2025-3-25 06:59
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagle received a master degree in 1969. Subsequently, he worked at a research lab of Siemens AG in the area of graphics software. In 1971, he returned to the University of Erlangen-Nuremberg. At the chair of programming languages headed by Hans-Jürgen Schneider, he focused on graph grammars and graph re作者: 侵害 時(shí)間: 2025-3-25 10:22
The Edge of Graph Transformation — Graphs for Behavioural Specificatione latter: Why should anyone not already educated in the field adopt graph transformation-based methods, rather than a mainstream modelling language or a process algebra; or vice versa, what is holding potential users back? These questions can be further refined by focusing on particular aspects like作者: antecedence 時(shí)間: 2025-3-25 12:06 作者: SIT 時(shí)間: 2025-3-25 18:22
On GS-Monoidal Theories for Graphs with Nesting represent explicitly and at the right level of abstraction some relevant topological and logical features of models and systems, including nesting, hierarchies, sharing of resources, and pointers or links. We also provide an encoding of the proposed algebra into terms of a gs-monoidal theory, and t作者: LAST 時(shí)間: 2025-3-25 23:39
Stochastic Modelling and Simulation of Mobile Systems reliability of such systems, stochastic methods are required. Stochastic graph transformations allow the integrated modelling of these two concerns by associating with each rule and match a probability distribution governing the delay of its application. Depending on the nature of these distributio作者: 彩色 時(shí)間: 2025-3-26 02:10
Autonomous Units and Their Semantics – The Concurrent Caseerate and compete in a common environment. The autonomous units are independent of each other, and the environment may be large and structured in such a way that a global synchronization of process activities is not reasonable or not feasible. To reflect this assumption properly, a concurrent-proces作者: 現(xiàn)存 時(shí)間: 2025-3-26 06:27 作者: 災(zāi)禍 時(shí)間: 2025-3-26 12:02
Extended Triple Graph Grammars with Efficient and Compatible Graph Translatorsodeling language and vice-versa. The underlying data structure of such languages usually are some sort of graphs. Triple graph grammars (TGGs) are a formally founded language for describing correspondence relationships between two graph languages in a declarative way. Bidirectional graph language tr作者: Console 時(shí)間: 2025-3-26 13:11 作者: DENT 時(shí)間: 2025-3-26 20:33 作者: 小平面 時(shí)間: 2025-3-26 21:31
Workflow-Driven Tool Integration Using Model Transformationsses of the development process. As certification frequently prescribes to achieve justified compliance with regulations of authorities, integrated tool chain should strictly adhere to the development process itself. In order to manage complexity, we follow a model-driven approach where the developme作者: theta-waves 時(shí)間: 2025-3-27 03:10 作者: 全國(guó)性 時(shí)間: 2025-3-27 07:48
Towards Managing Software Architectures with Ontologiess are useful to maintain intellectual control over a software product. We propose a method to continuously check the consistency between a specified architecture model and structural information reverse engineered from the code. We develop criteria that a design language for architectures should ful作者: corporate 時(shí)間: 2025-3-27 11:52
Using Role-Play Diagrams to Improve Scenario Role-Plays to teach object-oriented modelling. In our experience, we have noticed many subtle problems and issues that have largely gone unnoticed in the literature. Two of the major issues are related to the CRC-card role-play as described in the literature. Although CRC-cards are representing classes, they作者: 絕食 時(shí)間: 2025-3-27 16:20 作者: 惹人反感 時(shí)間: 2025-3-27 19:38 作者: 出汗 時(shí)間: 2025-3-27 22:58 作者: 無(wú)脊椎 時(shí)間: 2025-3-28 04:51
A Meta-Method for Defining Software Engineering Methods software systems requires precise and documented methods, but also lightweight and agile methods need to have a precise foundation. Effort that is invested once in the methods can be systematically reused in projects. We describe MetaME, a meta-method for modeling and tailoring software engineering作者: Crumple 時(shí)間: 2025-3-28 06:34
Techniques for Merging Views of Software Processesever, eliciting descriptive models from actual work environments can be quite complex due to multiplicity of roles, activities, artefacts, conditions, distributivity, locations and others. One way to manage this complexity is to elicit, from different sources, partial models (called views) of the su作者: BACLE 時(shí)間: 2025-3-28 14:28
https://doi.org/10.1007/978-94-007-1220-1s complex, and many properties that are useful in more specialised formalisms no longer hold for general graphs)..The outcome of this paper is a series of recommendations that can be used to outline a research and development programme for the coming decade. This may help to stimulate the continued 作者: 不斷的變動(dòng) 時(shí)間: 2025-3-28 16:21
Mobility and Traffic in the 21st Centuryaph transformation approach to be used for the underlying system. We present a correspondingly extended semantic model, simulation algorithm and tool. The concepts are justified and illustrated by an accident management scenario which requires a model of physical mobility and sophisticated transform作者: GEN 時(shí)間: 2025-3-28 22:22 作者: 異教徒 時(shí)間: 2025-3-28 23:17 作者: osteopath 時(shí)間: 2025-3-29 05:39
https://doi.org/10.1007/978-3-319-76926-4we use the popular JBPM workflow engine as orchestration means between different design and verification tools. We also give some insights how this tool integration approach was applied in recent projects.作者: 慢慢流出 時(shí)間: 2025-3-29 09:54 作者: 兇猛 時(shí)間: 2025-3-29 14:52
Rudolf Petersen,Karl Otto Schallab?ckd systems design. Both program analysis and architecture recovery are based on graphs and graph transformations. In both steps, domain-specific knowledge — referred to as methods of use — is exploited which refers to the ways how language constructs are used to realize processing concepts of telecom作者: myriad 時(shí)間: 2025-3-29 17:17
Mobilit?t in Zeiten der Ver?nderungperations that act upon the artifacts. These tasks are performed as activities in the method’s process workflow model. Tools can then be built that use the artifact model as the foundation of their repository structure and the task and workflow models as the basis for the supported functionality.作者: 加強(qiáng)防衛(wèi) 時(shí)間: 2025-3-29 22:12
Graph Transformations and Model-Driven Engineering作者: Thymus 時(shí)間: 2025-3-30 00:58 作者: 粉筆 時(shí)間: 2025-3-30 06:47
The Edge of Graph Transformation — Graphs for Behavioural Specifications complex, and many properties that are useful in more specialised formalisms no longer hold for general graphs)..The outcome of this paper is a series of recommendations that can be used to outline a research and development programme for the coming decade. This may help to stimulate the continued 作者: compel 時(shí)間: 2025-3-30 08:55
Stochastic Modelling and Simulation of Mobile Systemsaph transformation approach to be used for the underlying system. We present a correspondingly extended semantic model, simulation algorithm and tool. The concepts are justified and illustrated by an accident management scenario which requires a model of physical mobility and sophisticated transform作者: 枕墊 時(shí)間: 2025-3-30 12:55
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformationndence of amalgamated graph transformations by analyzing the underlying multi-rules. As example, we specify an excerpt of a model transformation from Business Process Models (BPM) to the Business Process Execution Language (BPEL).作者: Feature 時(shí)間: 2025-3-30 16:41
Extended Triple Graph Grammars with Efficient and Compatible Graph Translatorsn a parsing algorithm with exponential runtime complexity. In this contribution, we study a more expressive class of TGGs with . and show for the first time that derived translators with a polynomial runtime complexity still preserve the above mentioned compatibility properties. For this purpose, we作者: 變形 時(shí)間: 2025-3-30 23:55
Workflow-Driven Tool Integration Using Model Transformationswe use the popular JBPM workflow engine as orchestration means between different design and verification tools. We also give some insights how this tool integration approach was applied in recent projects.作者: 著名 時(shí)間: 2025-3-31 02:04
Using Role-Play Diagrams to Improve Scenario Role-PlayC-approach. Although our improvements specifically target the teaching and learning of object-oriented modelling, we believe that RPDs can be successfully applied in professional software development.作者: saturated-fat 時(shí)間: 2025-3-31 08:06
Graph-Based Structural Analysis for Telecommunication Systemsd systems design. Both program analysis and architecture recovery are based on graphs and graph transformations. In both steps, domain-specific knowledge — referred to as methods of use — is exploited which refers to the ways how language constructs are used to realize processing concepts of telecom作者: Cpap155 時(shí)間: 2025-3-31 10:41
A Meta-Method for Defining Software Engineering Methodsperations that act upon the artifacts. These tasks are performed as activities in the method’s process workflow model. Tools can then be built that use the artifact model as the foundation of their repository structure and the task and workflow models as the basis for the supported functionality.作者: Outspoken 時(shí)間: 2025-3-31 15:12
https://doi.org/10.1007/978-1-349-18529-0professor of computer science until 1981. He then moved to the University of Osnabrück, where he held the chair of applied computer science as a full professor until 1986. From then on, Manfred held a chair of computer science at RWTH Aachen University until he retired in July 2009.作者: 血統(tǒng) 時(shí)間: 2025-3-31 18:12
https://doi.org/10.1007/978-3-319-54446-5 describe when two elements are considered equal. The presented techniques are illustrated with a bidirectional transformation between Web Services Description Language and Enterprise Java Beans models.作者: hallow 時(shí)間: 2025-4-1 01:46 作者: PAN 時(shí)間: 2025-4-1 04:39
https://doi.org/10.1007/978-3-031-61745-4ctures reflecting respective modifications are considered as individual results of architecture modeling. Even more, the transformation steps describing the changes induced by a particular realization constraint contain valuable modeling knowledge as well.作者: PANIC 時(shí)間: 2025-4-1 07:20
https://doi.org/10.1057/9780230503465ons are modular, compositional and evolvable. Using ontologies we can apply an ontology reasoner to implement consistency checks. Our method integrates previously separate checks such as checking for allowed dependencies and coding style into a single framework and enables more powerful and flexible analyses.作者: acquisition 時(shí)間: 2025-4-1 13:20
https://doi.org/10.1007/978-3-658-33308-9with the model elicitor, leads towards an incrementally built, unified, coherent process model. These algorithms have been implemented in a system called V elicit, which has been validated empirically.
