Conceptualizing Design Thinking Artefacts: The Scene2Model Storyboard Approach

Muck, Christian; Palkovits-Rauter, Silke

doi:10.1007/978-3-030-93547-4_25

Cited by 3 publications

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The methodologies perform domain-specific functionalities that extend the value of modeling over simple visual representations to support simple human understanding. The examples of the domains include haptic models [ 25 ], IoT simulation [ 18 , 19 , 21 ], robot controlling [ 26 ], etc. In the perspective of such domains, SAVE can be considered a methodological tool to model, analyze, and verify Digital Twin systems.…”

Section: Introductionmentioning

confidence: 99%

Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin

Song,

Lee,

Karagiannis

et al. 2024

Sensors

View full text Add to dashboard Cite

Process algebra can be considered one of the most practical formal methods for modeling Smart IoT Systems in Digital Twin, since each IoT device in the systems can be considered as a process. Further, some of the algebras are applied to predict the behavior of the systems. For example, PALOMA (Process Algebra for Located Markovian Agents) and PACSR (Probabilistic Algebra of Communicating Shared Resources) process algebras are designed to predict the behavior of IoT Systems with probability on choice operations. However, there is a lack of analytical methods in the algebras to predict the nondeterministic behavior of the systems. Further, there is no control mechanism to handle undesirable nondeterministic behavior of the systems. In order to overcome these limitations, this paper proposes a new process algebra, called dTP-Calculus, which can be used (1) to specify the nondeterministic behavior of the systems with static probability, (2) verify the safety and security requirements of the nondeterministic behavior with probability requirements, and (3) control undesirable nondeterministic behavior with dynamic probability. To demonstrate the feasibility and practicality of the approach, the SAVE (Specification, Analysis, Verification, Evaluation) tool has been developed on the ADOxx Meta-Modeling Platform and applied to a SEMS (Smart Emergency Medical Service) example. In addition, a miniature digital twin system for the SEMS example was constructed and applied to the SAVE tool as a proof of concept for Digital Twin. It shows that the approach with dTP-Calculus on the tool can be very efficient and effective for Smart IoT Systems in Digital Twin.

show abstract

Section: Introductionmentioning

confidence: 99%

Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin

Song,

Lee,

Karagiannis

et al. 2024

Sensors

View full text Add to dashboard Cite

show abstract

MetaMorph: formalization of domain-specific conceptual modeling methods—an evaluative case study, juxtaposition and empirical assessment

Döller

Karagiannis

Utz³

2022

Softw Syst Model

View full text Add to dashboard Cite

Models have evolved from mere pictures supporting human understanding and communication to sophisticated knowledge structures processable by machines and establish value through their processing capabilities. This entails an inevitable need for computer-understandable modeling languages and causes formalization to be a crucial part in the lifecycle of engineering a modeling method. An appropriate formalism must be a means for providing a structural definition to enable a theoretical investigation of conceptual modeling languages and a unique, unambiguous way of specifying the syntax and semantics of an arbitrary modeling language. For this purpose, it must be generic and open to capturing any domain and any functionality. This paper provides a pervasive description of the formalism MetaMorph based on logic and model theory—an approach fulfilling the requirements above for modeling method engineering. The evaluation of the formalism is presented following three streams of work: First, two evaluative case studies illustrate the applicability of MetaMorph formalism concept by concept on the modeling language ProVis from the domain of stochastic education and the well-known Entity-Relationship language. ProVis as well as ER comprise only a few objects and relation types but with high interconnection and expressive power and are therefore considered interesting specimens for formalization. Second, a comprehensive juxtaposition of MetaMorph to three other formalization approaches based on different foundational theories is outlined concept by concept to underpin the formalism design. Third, an empirical evaluation has been performed, assessing the usability and adequacy of the formalism within a classroom assessment. The results allow for conclusions on the completeness, intuitiveness, and complexity as well as on interdependencies with engineers’ skills.

show abstract

Citizen-centric Design of Consumable Services for Smart Cities

Voelz

Muck

Amlashi

et al. 2023

Digit. Gov.: Res. Pract.

View full text Add to dashboard Cite

The ongoing growth of city populations has brought new challenges and increased complexity to everyday city life. In response, numerous cities are making efforts to adopt new information technologies to become more efficient and transform themselves into smart cities. A large body of research has underlined that the success of these smart city initiatives depends on putting citizens at the center of the design process. In contrast to the techno-centric view applied in the past, citizen-centric approaches focus on prioritizing the needs of citizens over technology and aim to involve them directly in the development of smart city services. In this paper, we describe this involvement as citizen development by introducing a model-based architecture that enables citizens to develop smart city services in a low-code fashion. Consequently, we focus on citizen developers, a group of citizens engaged with the technological development of services. Further, the conceptualization of a citizen development architecture is discussed, as well as the ways citizens can interact with it. An important pillar in this approach are citizen workshops, which aim to stimulate innovative ideas and collaboration among stakeholder by using design thinking methodology. Our approach empowers citizens to become active producers within the smart city ecosystem, leading to more inclusive and citizen-centric smart cities.

show abstract

Conceptualizing Design Thinking Artefacts: The Scene2Model Storyboard Approach

Cited by 3 publications

References 16 publications

Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin

Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin

MetaMorph: formalization of domain-specific conceptual modeling methods—an evaluative case study, juxtaposition and empirical assessment

Citizen-centric Design of Consumable Services for Smart Cities

Contact Info

Product

Resources

About