Refine
Has Fulltext
- no (188) (remove)
Year of publication
Document Type
- Article (188) (remove)
Is part of the Bibliography
- yes (188)
Keywords
- machine learning (5)
- COVID-19 (4)
- Visualization (4)
- 3D point clouds (3)
- Security (3)
- data profiling (3)
- duplicate detection (3)
- heuristics (3)
- performance (3)
- run time analysis (3)
- similarity measures (3)
- theory (3)
- 3D city models (2)
- BPMN (2)
- Case management (2)
- Classification (2)
- Compliance checking (2)
- Data profiling (2)
- Event processing (2)
- Functional dependencies (2)
- JavaScript (2)
- Nested graph conditions (2)
- Point-based rendering (2)
- Process modeling (2)
- Runtime analysis (2)
- SQL (2)
- Virtualization (2)
- cartographic design (2)
- clinical (2)
- data integration (2)
- data matching (2)
- data quality (2)
- data wrangling (2)
- databases (2)
- dialysis (2)
- digital health (2)
- dynamic (2)
- dynamic programming (2)
- entity resolution (2)
- genetic programming (2)
- prediction (2)
- programming (2)
- real-time rendering (2)
- record linkage (2)
- risk aversion (2)
- scalability (2)
- self-healing (2)
- 3D (1)
- 3D Point clouds (1)
- 3D geovirtual environments (1)
- 3D geovisualization (1)
- 3D information visualization (1)
- 3D semiotic model (1)
- AKI (1)
- APX-hardness (1)
- Aaron Wildavsky (1)
- Accounting (1)
- Actor (1)
- Actor model (1)
- Address matching (1)
- Algorithms (1)
- Anomaly detection (1)
- Anti-patterns (1)
- Application (1)
- Approximation algorithms (1)
- Artificial neural networks (1)
- Attribute aggregation (1)
- Attributed graph transformation (1)
- Attributed graphs (1)
- Authentication (1)
- B2B process integration (1)
- BPMN-Q (1)
- Behavior equivalence (1)
- Behavioral querying (1)
- Behavioural Abstraction (1)
- Behavioural analysis (1)
- Benchmarking (1)
- Bidirectional order dependencies (1)
- Big Data (1)
- Billing (1)
- Biomedicine (1)
- Bitcoin (1)
- Blockchain (1)
- Blockchains (1)
- Body sensor networks (1)
- Business Process Modeling Notation (1)
- Business process diagram (1)
- Business process management (1)
- Business process model (1)
- Business process modeling (1)
- Business processes (1)
- CCS Concepts (1)
- Cake cutting (1)
- Causal Behavioural Profiles (1)
- Causality (1)
- Change propagation (1)
- Charging (1)
- Choreographies (1)
- Chronic heart failure (1)
- Climate change (1)
- CoExist (1)
- Communication systems (1)
- Commute pattern (1)
- Commute process (1)
- Competition (1)
- Complexity theory (1)
- Compliance measurement (1)
- Computational modeling (1)
- Computational photography (1)
- Computer (1)
- Computer crime (1)
- Concurrency (1)
- Consistency (1)
- Consistency perception (1)
- Context-oriented programming (1)
- ContextJS (1)
- Convolution (1)
- CorMID (1)
- Correlation (1)
- Critical pairs (1)
- Cryptography (1)
- Cultural theory (1)
- Currencies (1)
- Data (1)
- Data dependencies (1)
- Data exchange (1)
- Data integration (1)
- Data mining (1)
- Data modeling (1)
- Data models (1)
- Data-centric (1)
- Deep learning (1)
- Delphi study (1)
- Delta preservation (1)
- Dependency discovery (1)
- Design (1)
- Distributed (1)
- Distributed 3D geovisualization (1)
- Distributed computing (1)
- Distributed debugging (1)
- Distributed programming (1)
- DoS (1)
- Duration prediction (1)
- Dynamic Data Structures (1)
- Dynamic adaptation (1)
- Dynamic analysis (1)
- Dynamic pricing (1)
- Dynamic pricing and advertising (1)
- E-commerce (1)
- EHR (1)
- Ecosystems (1)
- Electrocardiography (1)
- Electronic prescription (1)
- Energy-aware (1)
- Entity resolution (1)
- Estimation-of-distribution algorithm (1)
- Event normalization (1)
- Events (1)
- Evolutionary algorithms (1)
- Evolutionary computation (1)
- Exception handling (1)
- Exclusiveness (1)
- Experimentation (1)
- Facial mimicry (1)
- Feature extraction (1)
- Federated learning (1)
- Feedback heuristics (1)
- Finite horizon (1)
- First hitting time (1)
- Fitness level method (1)
- Fitness-distance correlation (1)
- Flexible Resource Manager (1)
- Flexible processes; (1)
- Formal Methods (1)
- Gender Inequality (1)
- General Earth and Planetary Sciences (1)
- Geography, Planning and Development (1)
- Graph databases (1)
- Graph homomorphisms (1)
- Graph queries (1)
- Graph repair (1)
- Graph rewriting (1)
- Graph transformation (1)
- HITS (1)
- HMM (1)
- HiGHmed (1)
- Hidden Markov models (1)
- Hospitalisation (1)
- IDS (1)
- IDS management (1)
- IMD (1)
- IMU (1)
- IOPS (1)
- Identity management systems (1)
- Image (1)
- Image filtering (1)
- Image-based rendering (1)
- In-memory (1)
- Inclusion dependencies (1)
- Industries (1)
- Initial conflicts (1)
- Interaction (1)
- Interaction modeling (1)
- Interviews (1)
- Introspection (1)
- Intrusion detection (1)
- Inventory holding costs (1)
- Inventory systems (1)
- JIT compilers (1)
- Java (1)
- Knowledge-intensive processes (1)
- LIDAR (1)
- LSTM (1)
- Label analysis (1)
- Lakes (1)
- Languages (1)
- Languages Model-driven engineering (1)
- Level of abstraction (1)
- Licenses (1)
- Live forensics (1)
- Lively Kernel (1)
- Location-based services (1)
- Log conformance (1)
- M-adhesive categories (1)
- M-adhesive transformation systems (1)
- Machine (1)
- Machine learning (1)
- Markov decision process (1)
- Markov decision process; (1)
- Markov model (1)
- Mary Douglas (1)
- Matroids (1)
- Measurement (1)
- Metamaterials (1)
- Mixed workload (1)
- Mobile device (1)
- Model equivalence (1)
- Model generation (1)
- Model refinement (1)
- Model repair (1)
- Model synchronisation (1)
- Model transformation (1)
- Model verification (1)
- Model-Driven Engineering (1)
- Model-driven (1)
- Modular decomposition (1)
- Monitoring language (1)
- Multi-objective optimization (1)
- Multimedia retrieval (1)
- Multiscale modeling (1)
- Mutation operators (1)
- NP-completeness (1)
- Natural language (1)
- Natural language processing (1)
- Network graph (1)
- Network monitoring (1)
- Network topology (1)
- Neural Networks (1)
- Nigeria (1)
- O (1)
- OLTP (1)
- Object Versioning (1)
- Open implementations (1)
- Operational reporting (1)
- Optimal stochastic and deterministic (1)
- Optionality (1)
- Order Relations (1)
- Order dependencies (1)
- Out-of-core (1)
- Outlier detection (1)
- PPMI (parkinson's progression markers initiative) (1)
- Parallelization (1)
- Performance (1)
- Personal fabrication (1)
- Petri net unfolding (1)
- Plugs (1)
- Prediction (1)
- Price collusion (1)
- Privacy (1)
- Process Monitoring (1)
- Process choreographies (1)
- Process compliance (1)
- Process mining (1)
- Process model (1)
- Process model alignment (1)
- Process model consistency (1)
- Process model repositories (1)
- Process model search (1)
- Processing strategies (1)
- Programming (1)
- Programming Environments (1)
- Property paths (1)
- Protocols (1)
- QRS detection (1)
- Quality of service (1)
- Query execution (1)
- Query optimization (1)
- Question answering (1)
- R Shiny (1)
- R package (1)
- Racket (1)
- Random graphs (1)
- Record and refinement (1)
- Record and replay (1)
- Record linkage (1)
- Reinforcement learning (1)
- Relational data (1)
- Remote patient management (1)
- Resource description framework (1)
- Resource management (1)
- Risk control (1)
- Robust optimization (1)
- Root cause analysis (1)
- Run time analysis (1)
- Runtime WCET Analysis (1)
- SAP HANA (1)
- SPARQL (1)
- Safety Critical Systems (1)
- Satisfiability (1)
- Scientific Publication Indicators (1)
- Scope (1)
- Self-configuration (1)
- Semantics (1)
- Sequential anomaly (1)
- Service composition (1)
- Service detection (1)
- Service orchestration (1)
- Service-oriented computing (1)
- Sexism (1)
- Signal-to-noise ratio (1)
- Smalltalk (1)
- Software (1)
- Squeak (1)
- Stochastic Petri nets (1)
- Structural Decomposition (1)
- Structured modeling (1)
- Structuring (1)
- Submodular function (1)
- Submodular functions (1)
- Subset selection (1)
- System architecture (1)
- TRIPOD (1)
- Tableau method (1)
- Task analysis (1)
- Telemonitoring (1)
- Texturing (1)
- Theory (1)
- Three-dimensional displays (1)
- Time series (1)
- Tool survey (1)
- Trace inclusion (1)
- Transformation tool contest (1)
- Two dimensional displays (1)
- Ubiquitous computing (1)
- Unique column combination (1)
- Unique column combinations (1)
- Video OCR (1)
- Video classification (1)
- Video indexing (1)
- View navigation (1)
- Virtual 3D city model (1)
- Virtual 3D scenes (1)
- Virtual camera control (1)
- Visual modeling (1)
- Vocabulary (1)
- W[3]-completeness (1)
- Water Science and Technology (1)
- Web browsers (1)
- Web navigational language (1)
- Web safeness (1)
- Web-based rendering (1)
- abdominal imaging (1)
- abundance (1)
- accounting (1)
- action recognition (1)
- activity recognition (1)
- acute renal failure (1)
- adaptation rules (1)
- address normalization (1)
- address parsing (1)
- adolescent (1)
- affective interfaces (1)
- algorithm (EDA) (1)
- algorithmic (1)
- analysis (1)
- anniversary (1)
- annotation (1)
- application (1)
- approximation (1)
- architecture recovery (1)
- architecture-based adaptation (1)
- architectures (1)
- argumentation research (1)
- artificial intelligence (1)
- atmospheric pressure chemical ionization (1)
- attack graph (1)
- attacks (1)
- attention mechanism (1)
- attribute assurance (1)
- authentication (1)
- authentication protocol (1)
- back pain (1)
- battery (1)
- battery-depletion attack (1)
- behaviour compatibility (1)
- behaviour equivalence (1)
- behavioural models (1)
- benchmark testing (1)
- bibliometrics (1)
- bidirectional shortest path (1)
- big data (1)
- billing (1)
- biomarker detection (1)
- biomechanics (1)
- bloat control (1)
- bridge management systems (1)
- building information modeling (1)
- business process management (1)
- cancer therapy (1)
- cartography-oriented visualization (1)
- center dot Computing (1)
- charging (1)
- child (1)
- chronic dialysis (1)
- clinical nephrology (1)
- cloud security (1)
- cluster resource management (1)
- clustering (1)
- co-location (1)
- cognition (1)
- cognitive (1)
- cohort (1)
- collaboration (1)
- collaborative tagging (1)
- color palettes (1)
- communication network (1)
- complex emotions (1)
- complexity (1)
- complexity dichotomy (1)
- comprehension (1)
- computational design (1)
- computer vision (1)
- conceptualization (1)
- concurrent graph rewriting (1)
- conditional functional dependencies (1)
- conditions (1)
- confidentiality (1)
- conflicts and dependencies in (1)
- contract (1)
- contracts (1)
- control (1)
- coronavirus 2019 (1)
- corporate takeovers (1)
- cost-effectiveness (1)
- cost-utility analysis (1)
- creativity and innovation management (1)
- critical pairs (1)
- cryptocurrency exchanges (1)
- cyber (1)
- cyber humanistic (1)
- cyber threat intelligence (1)
- damage detection (1)
- data analysis (1)
- data cleaning (1)
- data cleansing (1)
- data driven approaches (1)
- data migration (1)
- data preparation (1)
- data transformation (1)
- data-driven demand (1)
- database systems (1)
- datasets (1)
- deduplication (1)
- deep learning (1)
- denial-of-service attack (1)
- dental caries classification (1)
- dependency (1)
- dependency discovery (1)
- design (1)
- design thinking (1)
- deterministic properties (1)
- deterministic random walk (1)
- diabetes (1)
- differential (1)
- digital health app (1)
- digital identity (1)
- digital startup (1)
- digital therapy (1)
- distributed computing (1)
- distributed data-parallel processing (1)
- distributed systems (1)
- dynamic pricing (1)
- eHealth (1)
- ePA (1)
- ecological momentary assessment (1)
- ecosystems (1)
- efficient deep learning (1)
- electronic health record (1)
- electronic health records (1)
- electronic mail (1)
- embedding (1)
- emotional (1)
- empathy (1)
- end-stage kidney disease (1)
- endogenous (1)
- engine (1)
- engineering (1)
- enrichment calculation (1)
- enumeration complexity (1)
- epistasis (1)
- estimation-of-distribution (1)
- estimation-of-distribution algorithm (1)
- ethics (1)
- evaluation (1)
- event log (1)
- exact exponential-time algorithms (1)
- experimental design (1)
- experiments (1)
- expertise (1)
- explainability (1)
- explainability-accuracy trade-off (1)
- explainable AI (1)
- exploratory programming (1)
- expression (1)
- external knowledge bases (1)
- fabrication (1)
- factual (1)
- failure model (1)
- failure profile model (1)
- fair division (1)
- feature selection (1)
- feedback loops (1)
- flux (1)
- focus plus context visualization (1)
- folksonomy (1)
- forensics (1)
- fully concurrent bisimulation (1)
- functional dependencies (1)
- functional dependency (1)
- functional languages (1)
- game theory (1)
- gene (1)
- gene selection (1)
- generative multi-discriminative networks (1)
- genetic algorithms (1)
- geocoding (1)
- geographic information systems (1)
- geospatial artificial intelligence (1)
- geospatial digital twins (1)
- grammar-based compression (1)
- graph languages (1)
- graph pattern matching (1)
- graph replacement categories (1)
- graph transformation (1)
- health apps (1)
- health information privacy concern (1)
- health personnel (1)
- healthcare (1)
- heuristic algorithms (1)
- history (1)
- home-based studies (1)
- hospital (1)
- human immunodeficiency virus (1)
- hyperbolic geometry (1)
- identity broker (1)
- image captioning (1)
- image-based representation (1)
- imbalanced learning (1)
- implantable medical device (1)
- implants (1)
- inclusion (1)
- informatics (1)
- information storage and (1)
- interactive editing (1)
- interpretable machine learning (1)
- job (1)
- knowledge building (1)
- knowledge management (1)
- label-free (1)
- languages (1)
- laser cutting (1)
- law (1)
- layered architecture (1)
- lazy transformation (1)
- lean startup approach (1)
- learning (1)
- local confluence (1)
- logic (1)
- low back pain (1)
- low-code development approaches (1)
- lower bound (1)
- mHealth (1)
- mass isotopologue distribution (1)
- matching dependencies (1)
- maximal structuring (1)
- mean-variance optimization (1)
- medical (1)
- medical identity theft (1)
- medical malpractice (1)
- memory-based clustering (1)
- memory-based correlation (1)
- memory-based databases (1)
- mental disorders (1)
- mental health (1)
- methodologie (1)
- metric learning (1)
- mixed-methods (1)
- mobile health (1)
- mobile phone (1)
- model interpreter (1)
- model transformation (1)
- model verification (1)
- modeling language (1)
- models at runtime (1)
- modular counting (1)
- modularity (1)
- molecular tumor board (1)
- mortality (1)
- motion analysis (1)
- motion capture (1)
- motivations (1)
- multi-core (1)
- multi-perspective visualization (1)
- multi-product pricing (1)
- multilevel systems (1)
- multimodal representations (1)
- multimodal sensing (1)
- multiview classification (1)
- mutation (1)
- mutli-task learning (1)
- nested application conditions (1)
- network creation games (1)
- networks (1)
- neural (1)
- non-repudiation (1)
- one-time password (1)
- organizations (1)
- orthopedic (1)
- orthopedic; (1)
- ownership (1)
- pain management (1)
- panorama (1)
- parameterized complexity (1)
- parkinson's disease (1)
- parsimonious reduction (1)
- personal electronic health records (1)
- personal satisfaction (1)
- personalized medicine (1)
- phishing (1)
- physical activity assessment (1)
- point clouds (1)
- power-law (1)
- prevention (1)
- price of anarchy (1)
- pricing (1)
- prior knowledge (1)
- privacy (1)
- probabilistic (1)
- process mining (1)
- process modeling (1)
- process scheduling (1)
- process-aware digital twin cockpit (1)
- process-awareness (1)
- processes (1)
- processing (1)
- program (1)
- programs (1)
- proportional division (1)
- proteomics (1)
- protocols (1)
- prototypes (1)
- public health medicine (1)
- query optimisation (1)
- query rewriting (1)
- random I (1)
- random forest (1)
- random graphs (1)
- ranking (1)
- recursive tuning (1)
- reinforcement learning (1)
- reliability (1)
- remodularization (1)
- remote monitoring (1)
- representation learning (1)
- requirements (1)
- requirements engineering (1)
- research challenges (1)
- resilient architectures (1)
- restoration (1)
- restricted edges (1)
- retrieval (1)
- reward (1)
- robustness (1)
- rotor-router model (1)
- runtime analysis (1)
- scale-free networks (1)
- school (environment) (1)
- science mapping (1)
- search plan generation (1)
- security (1)
- security chaos engineering (1)
- security risk assessment (1)
- segmentation (1)
- self-adaptive software (1)
- self-driving (1)
- self-learning scheduler (1)
- self-sovereign identity (1)
- self-supervised learning (1)
- semantic (1)
- sensor (1)
- sensor data (1)
- separation of concerns (1)
- service-oriented architecture (1)
- severe acute respiratory (1)
- similarity learning (1)
- simulation (1)
- single vertex discrepancy (1)
- small files (1)
- smallest grammar problem (1)
- smart card (1)
- sociology (1)
- software (1)
- software engineering (1)
- software evolution (1)
- software reference architecture (1)
- software/instrumentation (1)
- spamming (1)
- spatial data infrastructure (1)
- stable matchings (1)
- standardization (1)
- statistics (1)
- statutes and laws (1)
- steganography (1)
- straight-line (1)
- structured process model (1)
- style description languages (1)
- substitution effects (1)
- supervised machine learning (1)
- surveillance (1)
- symbolic graph transformation (1)
- syndrome coronavirus 2 (1)
- systems (1)
- teamwork (1)
- technology adoption (1)
- technology pivot (1)
- tools (1)
- tort law (1)
- traceability (1)
- tracing (1)
- transfer learning (1)
- transversal hypergraph (1)
- tree conjecture (1)
- trust model (1)
- typography (1)
- unequal shares (1)
- unsupervised methods (1)
- use-cases (1)
- user interaction (1)
- utility (1)
- virtual groups (1)
- vulnerabilities (1)
- wearable movement sensor (1)
- weight (1)
- word clouds (1)
- workflow (1)
- workload prediction (1)
- zero-power defense (1)
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (188) (remove)
Virtual 3D city models increasingly cover whole city areas; hence, the perception of complex urban structures becomes increasingly difficult. Using abstract visualization, complexity of these models can be hidden where its visibility is unnecessary, while important features are maintained and highlighted for better comprehension and communication. We present a technique to automatically generalize a given virtual 3D city model consisting of building models, an infrastructure network and optional land coverage data; this technique creates several representations of increasing levels of abstraction. Using the infrastructure network, our technique groups building models and replaces them with cell blocks, while preserving local landmarks. By computing a landmark hierarchy, we reduce the set of initial landmarks in a spatially balanced manner for use in higher levels of abstraction. In four application examples, we demonstrate smooth visualization of transitions between precomputed representations; dynamic landmark highlighting according to virtual camera distance; an implementation of a cognitively enhanced route representation, and generalization lenses to combine precomputed representations in focus + context visualization.
Interacting services play a key role to realize business process integration among different business partners by means of electronic message exchange. In order to provide seamless integration of these services, the messages exchanged as well as their dependencies must be well-defined. Service choreographies are a means to describe the allowed conversations. This article presents a requirements framework for service choreography languages, along which existing choreography languages are assessed. The requirements framework provides the basis for introducing the language BPEL4Chor, which extends the industry standard WS-BPEL with choreography-specific concepts. A validation is provided and integration with executable service orchestrations is discussed.
Process instantiation
(2009)
Although several process modeling languages allow one to specify processes with multiple start elements, the precise semantics of such models are often unclear, both from a pragmatic and from a theoretical point of view. This paper addresses the lack of research on this problem and introduces the CASU framework (from Creation, Activation, subscription, Unsubscription). The contribution of this framework is a systematic description of design alternatives for the specification of instantiation semantics of process modeling languages. We classify six prominent languages by the help of this framework. We validate the relevance of the CASU framework through empirical investigations involving a large set of process models from practice. Our work provides the basis for the design of new correctness criteria as well as for the formalization of Event-driven Process Chains (EPCs) and extension of the Business Process Modeling Notation (BPMN). It complements research such as the workflow patterns.
Many of today's distributed computing systems in the field do not Support the migration of execution entities among computing nodes (luring runtime. The relatively static association between units of processing and computing nodes makes it difficult to implement fault-tolerant behavior or load-balancing schemes. The concept of code migration may provide a solution to the above-mentioned problems. it can be defined as the movement of processes, objects, or components from one computing node to another during system runtime in a distributed environment. With the advent of the virtual machine-based NET framework, many of the cross-language heterogeneity issues have been resolved. With the commercial implementation, the shared source "Rotor", and the open-source "Mono" implementation on hand, we have focused on cross-operating system heterogeneity issues and present interoperability and migration schemes for applications distributed over different operating systems (namely Linux and Windows 2000) as well as various NET implementations. Within this paper, we describe the integration of a migration facility with the hell) of Aspect- Oriented Programming (AOP) into the NET framework. AOP is interesting as it addresses non-functional system properties on the middleware level, without the need to manipulate lower system layers like the operating system itself. Most features required to implement object or process migration (such as reflection mechanisms or a machine-independent executable format) are already present in the NET frameworks, so the integration of such a concept is a natural extension of the system capabilities. We have implemented several proof-of-concept applications for different use case scenarios. The paper contains an experimental evaluation of the performance impact of object migration in context of those applications.
Resynthesis of handshake specifications obtained e. g. from BALSA or TANGRAM with speed-independent logic synthesis from STGs is a promising approach. To deal with state-space explosion, we suggested STG decomposition; a problem is that decomposition can lead to irreducible CSC conflicts. Here, we present a new approach to solve such conflicts by introducing internal communication between the components. We give some first, very encouraging results for very large STGs concerning synthesis time and circuit area.
For synthesising efficient asynchronous circuits one has to deal with the state space explosion problem. In order to alleviate this problem one can decompose the STG into smaller components. This paper deals with the decomposition method of Vogler and Wollowski and introduces several strategies for its efficient implementations. Furthermore, this approach is combined with another method to alleviate state space explosion, which is based on Petri net unfoldings. The developed algorithms are compared by means of benchmark examples, and the experimental results show significant improvement in terms of memory usage and runtime compared with other existing methods.
Virtual machine (VM) implementations are made of intricately intertwined subsystems, interacting largely through implicit dependencies. As the degree of crosscutting present in VMs is very high, VM implementations exhibit significant internal complexity. This study proposes an architecture approach for VMs that regards a VM as a composite of service modules coordinated through explicit bidirectional interfaces. Aspect-oriented programming techniques are used to establish these interfaces, to coordinate module interaction, and to declaratively express concrete VM architectures. A VM architecture description language is presented in a case study, illustrating the application of the proposed architectural principles.
The model-driven software development paradigm requires that appropriate model transformations are applicable in different stages of the development process. The transformations have to consistently propagate changes between the different involved models and thus ensure a proper model synchronization. However, most approaches today do not fully support the requirements for model synchronization 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 how 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.
In the world of model-driven engineering (MDE) support for traceability and maintenance of traceability information is essential. On the one hand, classical traceability approaches for MDE address this need by supporting automated creation of traceability information on the model element level. On the other hand, global model management approaches manually capture traceability information on the model level. However, there is currently no approach that supports comprehensive traceability, comprising traceability information on both levels, and efficient maintenance of traceability information, which requires a high-degree of automation and scalability. In this article, we present a comprehensive traceability approach that combines classical traceability approaches for MDE and global model management in form of dynamic hierarchical mega models. We further integrate efficient maintenance of traceability information based on top of dynamic hierarchical mega models. The proposed approach is further outlined by using an industrial case study and by presenting an implementation of the concepts in form of a prototype.
The application of the architectural concept of service-oriented architectures (SOA) in combination with open standards when building distributed, 3D geovisualization systems offers the potential to cover and take advantage of the opportunities and demands created by the rise of ubiquitous computer networks and the Internet as well as to overcome prevalent interoperability barriers. In this paper, based on a literature study and our own experiences, we discuss the potential and challenges that arise when building standards-based, distributed systems according to the SOA paradigm for 3D geovisualization, with a particular focus on 3D geovirtual environments and virtual 3D city models. First, we briefly introduce fundamentals of the SOA paradigm, identify requirements for service-oriented 3D geovisualization systems, and present an architectural framework that relates SOA concepts, geovisualization concepts, and standardization proposals by the Open Geospatial Consortium in a common frame of reference. Next, we discuss the potential and challenges driven by the SOA paradigm on four different levels of abstraction, namely service fundamentals, service composition, interaction services, performance, and overarching aspects, and we discuss those driven by standardization. We further exemplify and substantiate the discussion in the scope of a case study and the image-based provisioning of and interaction with visual representations of remote virtual 3D city models.