View-based Textual Modelling


Book Description

This work introduces the FURCAS approach, a framework for view-based textual modelling. FURCAS includes means that allow software language engineers to define partial and overlapping textual modelling languages. Furthermore, FURCAS provides an incremental update approach that enables modellers to work with multiple views on the same underlying model. The approach is validated against a set of formal requirements, as well as several industrial case studies showing its practical applicability.




Modelling -- Foundation and Applications


Book Description

This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.







Flexible Views for View-based Model-driven Development


Book Description

Modern software development faces the problem of fragmentation of information across heterogeneous artefacts in different modelling and programming languages. In this dissertation, the Vitruvius approach for view-based engineering is presented. Flexible views offer a compact definition of user-specific views on software systems, and can be defined the novel ModelJoin language. The process is supported by a change metamodel for metamodel evolution and change impact analysis.




Consistent View-Based Management of Variability in Space and Time


Book Description

Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across product variants and across their revisions quickly lead to inconsistencies during evolution. This work provides a unification of common concepts and operations for variability management, identifies variability-related inconsistencies and presents an approach for view-based consistency preservation of variable systems.







Joint Visual-textual Modeling for Multimodal Content Classification, Retrieval and Generation


Book Description

"With the development of computer vision, natural language processing, and machine learning technologies, a great number of joint visual-textual applications, such as image captioning, visual question answering, visual grounding, image-text cross-modal retrieval, and text-based image generation, emerged in recent years. They leverage machine learning models as the core module to tackle problems related to the intersection of vision and language. For all these joint visual-textual applications, vision and text modalities interact in three fundamental modes. The first is the "joint learning" mode, which considers both modalities as parallel inputs to jointly predict a target. The second is the "retrieval" mode, which explores the correspondence relation between the two modalities and aims to find the corresponding items that belong to different modalities. The third is the "generation" mode, which focuses on creating and modifying the items of one modality using the input of another modality as guidance. For all the joint visual-textual applications of the three modes, how to effectively "capture" and "attend" to the significant information of the visual and textual inputs is crucial. This thesis develops new "capturing" and "attending" methods to effectively model joint visual-textual applications in the three modes. For the first mode, we focus on a significant social media classification application. A novel bilateral attention model is proposed to classify whether a WeChat Moment is related to business or not based on the Moment's image and text information. For the second mode, we comprehensively investigate the application of image-text cross-modal retrieval on both general and domain-specific tasks. We first explore the general image-text matching task and propose approaches that capture high-performance cross-modal information. We then focus on two domain-specific tasks related to font retrieval and person search. We design methods to further utilize the special font and person attributes to attend to better features. For the third mode, we pay attention to a brand new research topic, "emotionalization", which tries to emotionalize an image or a text. We combine this topic with two well-defined joint visual-textual applications of the third mode ? image captioning and text-based image transfer. We design models to incorporate the "emotionalization" operation into the text generation and image transfer process by effectively capturing and attending to critical information"--Pages xv-xvi.




Deriving Goal-oriented Performance Models by Systematic Experimentation


Book Description

Performance modelling can require substantial effort when creating and maintaining performance models for software systems that are based on existing software. Therefore, this thesis addresses the challenge of performance prediction in such scenarios. It proposes a novel goal-oriented method for experimental, measurement-based performance modelling. We validated the approach in a number of case studies including standard industry benchmarks as well as a real development scenario at SAP.




Architecture-based Evolution of Dependable Software-intensive Systems


Book Description

This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase.




System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0


Book Description

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019’s theme was “Languages, Methods, and Tools for Industry 4.0.”