A5065678834- Model-Driven Software Engineering Techniques
- Semantic Web and Ontologies
- Service-Oriented Architecture and Web Services
- Advanced Database Systems and Queries
- Business Process Modeling and Analysis
- Mathematics Education and Teaching Techniques
- Statistics Education and Methodologies
- Advanced Software Engineering Methodologies
- Information Systems Theories and Implementation
- Formal Methods in Verification
- Data Visualization and Analytics
University of Vienna
2019-2022
This article frames Conceptual Modeling education as a design problem, in the sense of Design Science research framework, motivated by student preconceptions and oversimplifications causing gap between how discipline is perceived at bachelor level holistic understanding model value that required for work. The treatment to this problem must comprise teaching approaches artifacts capable positioning standalone having proposition any application domain, rather than technique subordinated other...
Abstract Enterprise modeling deals with the increasing complexity of processes and systems by operationalizing model content linking complementary models languages, thus amplifying value beyond mere comprehensible pictures. To enable this amplification turn into computer-processable structures, a comprehensive formalization is needed. This paper presents formalism MetaMorph based on typed first-order logic provides perspective potential benefits that arise for variety research issues in...
Abstract Models have evolved from mere pictures supporting human understanding and communication to sophisticated knowledge structures processable by machines establish value through their processing capabilities. This entails an inevitable need for computer-understandable modeling languages causes formalization be a crucial part in the lifecycle of engineering method. An appropriate formalism must means providing structural definition enable theoretical investigation conceptual unique,...