- Semantic Web and Ontologies
- Software Engineering Research
- Business Process Modeling and Analysis
- Manufacturing Process and Optimization
- Advanced Software Engineering Methodologies
- Big Data and Business Intelligence
- Service-Oriented Architecture and Web Services
- Advanced Database Systems and Queries
- Digital Transformation in Industry
- Model-Driven Software Engineering Techniques
RWTH Aachen University
2023-2024
Software (Germany)
2023
Semantic difference analyses support engineers in understanding model-changes on the semantic level and thereby assist change management Model Driven Development (MDD).A differencing operator for Class Diagrams (CDs) compares two input models based their legal instances outputs object structures that are permitted by first but not second input-CD.Under closed-world assumption only of explicitly-modeled elements permitted.This approach may be less suited refinement checking early design...
Abstraction, refinement and (de-)composition are fundamental techniques for engineering large software systems.In the context of Model Driven Development (MDD), these primarily applied to models.Our goal is integrate automated composition data models into development process.We focus on Class Diagrams (CDs) which widely used model object-oriented particular, we consider variant UML/P CDs equipped with a formal semantics both closed-world open-world assumptions allow underspecified...