What practitioners really want:requirements for visual notations in conceptual modeling

This research was aimed at eliciting the requirements of practitioners who use conceptual modeling in their professional work for the visual notations of modeling languages. While the use of conceptual modeling in practice has been addressed, what practitioners in fact require of the visual notation of the modeling languages they use has received little attention. This work was thus motivated by the need to understand to what extent practitioners’ requirements are acknowledged and accommodated by visual notation research efforts. A mixed-method study was conducted, with a survey being offered over the course of several months to LinkedIn professional groups. The requirements included in the survey were based on a leading design theory for visual notations, the Physics of Notations. After preprocessing, 104 participant responses were analyzed. Data analysis included descriptive coding and qualitative analysis of purposes for modeling and additional requirements beyond the scope of visual design. Statistical and factorial analysis was used to explore potential correlations between the importance of different requirements as perceived by practitioners and the demographic factors (e.g., domain, purpose, topics). The results indicate several correlations between demographic factors and the perceived importance of visual notation requirements, as well as differences in the perceived relative importance of different requirements for models used to communicate with modeling experts as compared to non-experts. Furthermore, the results show an evolution from trends identified in studies conducted in the previous decade. The identified correlations with practitioners’ demographics reveal several research challenges that should be addressed, as well as the potential benefits of more purpose-specific tailoring of visual notation design. Furthermore, the shift in practitioner demographics as compared to those found in earlier work indicates that the research and development of conceptual modeling efforts needs to stay up-to-date with the way practitioners employ conceptual modeling

The Visual Inheritance Structure to Support the Design of Visual Notations

It is a common practice in modelling languages to provide their users with a set of visual notations as a representation of semantic constructs. The use of visual notation is believed to help communicate complex information, especially when communicating with non-technical users. Therefore, research in the design of visual notation continues to evolve, e.g. research to provide an effective and efficient design approach. There are approaches exist to support the designer in designing the visual notation such as the Cognitive Dimensions and the Physics of Notations. As the current metamodeling approach is widely adopted as a mechanism for improving standardisation and interoperability in modelling languages, it is important to provide a guideline that focus on the design of visual notation for a predefined metamodel. In this paper, we address the visual inheritance structure to support the design of visual notations for a predefined metamodel. This approach emphasises the design coherence between classes and sub-classes. To demonstrate that it is possible to apply our approach, we use part of the OMG Structured Assurance Case Metamodel as a case study

Development and evaluation of a behavior change support system targeting learning behavior: a technology-based approach to complement the education of future executives using persuasive systems in higher education

Learning is crucial in today's information societies, and the need for comprehensive and accessible support systems to enhance learning competencies is increasingly evident. In this context, this dissertation provides descriptive knowledge about the demands for such a system, aiming to train higher education students and equip them with learning competencies. Drawing on design science research, the dissertation addresses the identified demands, considers technical frameworks and psychological models to design technology-based artifacts. Against this background, the dissertation provides a pragmatic contribution through novel artifacts in form of Behavior Change Support Systems targeting self-regulated learning in higher education. The evaluation of these artifacts extends prior design knowledge through specific recommendations, including design principles, that can guide the implementation of Behavior Change Support Systems and further technology-based interventions in higher education. These recommendations aim to promote the development of necessary competencies within the higher education context

A method for creating digital signature policies.

Increased political pressures towards a more efficient public sector have resulted in the increased proliferation of electronic documents and associated technologies such as Digital Signatures. Whilst Digital Signatures provide electronic document security functions, they do not confer legal meaning of a signature which captures the conditions under which a signature can be deemed to be legally valid. Whilst in the paper-world this information is often communicated implicitly, verbally or through notes within the document itself, in the electronic world a technological tool is required to communicate this meaning; one such technological aid is the Digital Signature Policy. In a transaction where the legality of a signature must be established, a Digital Signature Policy can confer the necessary contextual information that is required to make such a judgment. The Digital Signature Policy captures information such as the terms to which a signatory wishes to bind himself, the actual legal clauses and acts being invoked by the process of signing, the conditions under which a signatory's signature is deemed legally valid and other such information. As this is a relatively new technology, little literature exists on this topic. This research was conducted in an Action Research collaboration with a Spanish Public Sector organisation that sought to introduce Digital Signature Policy technology; their specific research problem was that the production of Digital Signature Policies was time consuming, resource intensive, arduous and suffered from lack of quality. The research therefore sought to develop a new and improved method for creating Digital Signature Policies. The researcher collaborated with the problem owner, as is typical of Participative Action Research. The research resulted in the development of a number of Information Systems artefacts, the development of a method for creating Digital Signature Policies and finally led to a stage where the problem owner could successfully develop the research further without the researcher's further input

A systematic approach to model-based engineering of cyber-physical systems of systems

PhD ThesisThis thesis describes and evaluates methods for the model-based engineering of Systems of Systems (SoSs) where constituents comprise both computational and physical elements typical of Cyber-Physical Systems (CPSs). Such Cyber-Physical Systems of Systems (CPSoSs) use sensors and actuators to link the digital and physical worlds, and are composed of operationally and managerially independent constituent systems that interact to deliver an emerging service on which reliance is placed. The engineering of CPSoSs requires a combination of techniques associated with both CPS engineering and SoS engineering. Model-based SoS engineering techniques address organisation and integration of diverse systems through the use of disciplined architectural frameworks and contractual modelling approaches. Advances in model-based CPS engineering address the additional challenges of integrating semantically heterogeneous models of discrete and continuous phenomena. This thesis combines these approaches to develop a coherent framework for the model-based engineering of CPSoSs. The proposed approach utilises architectural frameworks to aid in the development of rich abstract models of CPSoSs. This is accompanied by the specification of an automated transformation process to generate heterogeneous co-models based on the architectural description. Verification of the proposed engineering approach is undertaken by its application to a case study describing the control of trains over a section of rail network, in which the (cyber) behaviour of control infrastructure must be considered in conjunction with the (physical) dynamics of train movements. Using the proposed methods, the development of this CPSoS uses architectural descriptions to generate an executable model to enable the analysis of safety and efficiency implications of the implemented control logic. The utility of the approach is evaluated by consideration of the impact of the proposed techniques on advancing the suitability and maturity of baseline technologies for the engineering of CPSoS. It is concluded that the proposed architectural framework provides effective guidance for the production of rich architectural descriptions of CPSoSs, and that the conversion between architectural and executable models is viable for implementation in a suitable open tools framework

Building bridges for better machines : from machine ethics to machine explainability and back

Be it nursing robots in Japan, self-driving buses in Germany or automated hiring systems in the USA, complex artificial computing systems have become an indispensable part of our everyday lives. Two major challenges arise from this development: machine ethics and machine explainability. Machine ethics deals with behavioral constraints on systems to ensure restricted, morally acceptable behavior; machine explainability affords the means to satisfactorily explain the actions and decisions of systems so that human users can understand these systems and, thus, be assured of their socially beneficial effects. Machine ethics and explainability prove to be particularly efficient only in symbiosis. In this context, this thesis will demonstrate how machine ethics requires machine explainability and how machine explainability includes machine ethics. We develop these two facets using examples from the scenarios above. Based on these examples, we argue for a specific view of machine ethics and suggest how it can be formalized in a theoretical framework. In terms of machine explainability, we will outline how our proposed framework, by using an argumentation-based approach for decision making, can provide a foundation for machine explanations. Beyond the framework, we will also clarify the notion of machine explainability as a research area, charting its diverse and often confusing literature. To this end, we will outline what, exactly, machine explainability research aims to accomplish. Finally, we will use all these considerations as a starting point for developing evaluation criteria for good explanations, such as comprehensibility, assessability, and fidelity. Evaluating our framework using these criteria shows that it is a promising approach and augurs to outperform many other explainability approaches that have been developed so far.DFG: CRC 248: Center for Perspicuous Computing; VolkswagenStiftung: Explainable Intelligent System

Here We Don't Speak, Here We Whistle. Mobilizing A Cultural Reading of Cognition, Sound and Ecology in the Design of a Language Support System for the Silbo Gomero.

This thesis presents the study of a whistled form of language known as the Silbo Gomero (Island of La Gomera, Canarian Archipelago). After fifty years of almost total extinction this form of communication has been revived, shifting from the fields where it was once used by peasant islanders and into the space of the classroom. Here, it is integrated into the curriculum of the island’s schools while providing children with a rich cultural platform that instigates linguistic and auditory experimentation. As a response to this transformation, the need to develop didactic materials is presented as one of the main challenges encountered by the community. Taking this condition as the driver of its research, this body of work draws on phonological, bioacoustic and cognitive theories to develop a formal understanding of the Silbo Gomero in a way which aims to complement the whistler’s own experience and mastery of the language by also developing an ethnographic reading of this indigenous body of knowledge and its characteristic auditory perceptual ecology. The investigation has culminated in the design of a digital application, El Laberinto del Sonido, and its active use within the educational community of the island. Finally, emphasising the practice-based nature of the research, this thesis attempts to relocate the question of intangible heritage from a focus on cultural safeguarding and transmission to one of experimentation, where an indigenous body of knowledge not only provides new exploratory paradigms in the design of didactic materials, but also contributes towards the sustainability of culturally situated forms of apprenticeship within contemporary educational contexts