Institut für Informatik und Computational Science
Refine
Year of publication
- 2012 (44) (remove)
Document Type
- Article (23)
- Doctoral Thesis (17)
- Monograph/Edited Volume (3)
- Postprint (1)
Keywords
- Machine Learning (2)
- Maschinelles Lernen (2)
- 13C metabolic flux analysis (1)
- 3D modeling (1)
- 3D visualization (1)
- Access control (1)
- Active Evaluation (1)
- Adversarial Learning (1)
- Aktive Evaluierung (1)
- Angewandte Spieltheorie (1)
- Answer set programming (1)
- Applied Game Theory (1)
- Automata systems (1)
- Behavior (1)
- Bio-jETI (1)
- Composition (1)
- Data federation (1)
- Design for testability (DFT) (1)
- Error Estimation (1)
- Fehlerschätzung (1)
- Gebäudemodelle (1)
- Geländemodelle (1)
- Generalisierung (1)
- Graphensuche (1)
- Information integration (1)
- Kommunikation (1)
- Komposition (1)
- Landmarken (1)
- Logic programming (1)
- MFA (1)
- Megamodel (1)
- Megamodell (1)
- Model Management (1)
- Model-Driven Engineering (1)
- Modeling (1)
- Modell Management (1)
- Modellgetriebene Entwicklung (1)
- Modellierung (1)
- Nash equilibrium (1)
- Netzwerke (1)
- Nonmonotonic reasoning (1)
- Platzierung (1)
- Prediction Game (1)
- Predictive Models (1)
- Preprocessing (1)
- Process (1)
- Product lifecycle management (1)
- Prozesse (1)
- Prädiktionsspiel (1)
- Rekonfiguration (1)
- Relevanz (1)
- Semantic data (1)
- Spam Filtering (1)
- Spam-Filter (1)
- Statistical Tests (1)
- Statistische Tests (1)
- Structuring (1)
- Strukturierung (1)
- Theorembeweisen (1)
- Traceability (1)
- Unifikation (1)
- Verhalten (1)
- Vorhersagemodelle (1)
- Well-structuredness (1)
- Wohlstrukturiertheit (1)
- X-masking (1)
- X-values (1)
- adversarial classification (1)
- building models (1)
- communication (1)
- cooperating systems (1)
- formal languages (1)
- generalization (1)
- geovisualization (1)
- graph-search (1)
- high-throughput analysis (1)
- landmarks (1)
- networks-on-chip (1)
- placement (1)
- preprocessing (1)
- reconfiguration (1)
- relevance (1)
- scheduling (1)
- scientific workflows (1)
- static prediction games (1)
- terrain models (1)
- test response compaction (1)
- theorem (1)
- theory of computation (1)
- triangulated irregular networks (1)
- unification (1)
- virtual 3D city models (1)
- virtuelle 3D-Stadtmodelle (1)
- workflow management (1)
Institute
- Institut für Informatik und Computational Science (44) (remove)
We construct a new RC phase shift network based Chua's circuit, which exhibits a period-doubling bifurcation route to chaos. Using coupled versions of such a phase-shift network based Chua's oscillators, we describe a new method for achieving complete synchronization (CS), approximate lag synchronization (LS), and approximate anticipating synchronization (AS) without delay or parameter mismatch. Employing the Pecora and Carroll approach, chaos synchronization is achieved in coupled chaotic oscillators, where the drive system variables control the response system. As a result, AS or LS or CS is demonstrated without using a variable delay line both experimentally and numerically.
Nowadays, model-driven engineering (MDE) promises to ease software development by decreasing the inherent complexity of classical software development. In order to deliver on this promise, MDE increases the level of abstraction and automation, through a consideration of domain-specific models (DSMs) and model operations (e.g. model transformations or code generations). DSMs conform to domain-specific modeling languages (DSMLs), which increase the level of abstraction, and model operations are first-class entities of software development because they increase the level of automation. Nevertheless, MDE has to deal with at least two new dimensions of complexity, which are basically caused by the increased linguistic and technological heterogeneity. The first dimension of complexity is setting up an MDE environment, an activity comprised of the implementation or selection of DSMLs and model operations. Setting up an MDE environment is both time-consuming and error-prone because of the implementation or adaptation of model operations. The second dimension of complexity is concerned with applying MDE for actual software development. Applying MDE is challenging because a collection of DSMs, which conform to potentially heterogeneous DSMLs, are required to completely specify a complex software system. A single DSML can only be used to describe a specific aspect of a software system at a certain level of abstraction and from a certain perspective. Additionally, DSMs are usually not independent but instead have inherent interdependencies, reflecting (partial) similar aspects of a software system at different levels of abstraction or from different perspectives. A subset of these dependencies are applications of various model operations, which are necessary to keep the degree of automation high. This becomes even worse when addressing the first dimension of complexity. Due to continuous changes, all kinds of dependencies, including the applications of model operations, must also be managed continuously. This comprises maintaining the existence of these dependencies and the appropriate (re-)application of model operations. The contribution of this thesis is an approach that combines traceability and model management to address the aforementioned challenges of configuring and applying MDE for software development. The approach is considered as a traceability approach because it supports capturing and automatically maintaining dependencies between DSMs. The approach is considered as a model management approach because it supports managing the automated (re-)application of heterogeneous model operations. In addition, the approach is considered as a comprehensive model management. Since the decomposition of model operations is encouraged to alleviate the first dimension of complexity, the subsequent composition of model operations is required to counteract their fragmentation. A significant portion of this thesis concerns itself with providing a method for the specification of decoupled yet still highly cohesive complex compositions of heterogeneous model operations. The approach supports two different kinds of compositions - data-flow compositions and context compositions. Data-flow composition is used to define a network of heterogeneous model operations coupled by sharing input and output DSMs alone. Context composition is related to a concept used in declarative model transformation approaches to compose individual model transformation rules (units) at any level of detail. In this thesis, context composition provides the ability to use a collection of dependencies as context for the composition of other dependencies, including model operations. In addition, the actual implementation of model operations, which are going to be composed, do not need to implement any composition concerns. The approach is realized by means of a formalism called an executable and dynamic hierarchical megamodel, based on the original idea of megamodels. This formalism supports specifying compositions of dependencies (traceability and model operations). On top of this formalism, traceability is realized by means of a localization concept, and model management by means of an execution concept.