scholarly journals An abstract framework for choreographic testing

Author(s):  
Alex Coto ◽  
Roberto Guanciale ◽  
Emilio Tuosto
Keyword(s):  
2021 ◽  
Vol 1 ◽  
pp. 2007-2016
Author(s):  
Yoram Reich ◽  
Eswaran Subrahmanian

AbstractDesign research as a field has been studied from diverse perspectives starting from product inception to their disposal. The product of these studies includes knowledge, tools, methods, processes, frameworks, approaches, and theories. The contexts of these studies are innumerable. The unit of these studies varies from individuals to organizations, using a variety of theoretical tools and methods that have fragmented the field, making it difficult to understand the map of this corpus of knowledge across this diversity.In this paper, we propose a model-based approach that on the one hand, does not delve into the details of the design object itself, but on the other hand, unifies the description of design problem at another abstraction level. The use of this abstract framework allows for describing and comparing underlying models of published design studies using the same language to place them in the right context in which design takes place and to enable to inter-relate them, to understand the wholes and the parts of design studies.Patterns of successful studies could be generated and used by researchers to improve the design of new studies, understand the outcome of existing studies, and plan follow-up studies.


2018 ◽  
Vol 31 (4) ◽  
pp. 435-452 ◽  
Author(s):  
Emily C. Bouck ◽  
Jiyoon Park ◽  
Courtney Maher ◽  
Kennedy Levy ◽  
Katie Cwiakala
Keyword(s):  

Author(s):  
Emily Ying Yang Chan

This chapter introduces some myths of health promotion, the project cycle of health and disaster preparedness education programmes, needs assessment, project planning, programme implementation and monitoring, programme evaluation, and notes for organizers and participants of health and disaster preparedness education programmes. Concrete examples will be provided to put the abstract framework into use. This chapter integrates the themes in previous chapters with relevant insights gained from actual field experience in Asia, focusing on programme implementation field experience and lessons learnt, as well as the practical challenges and problems encountered in the field in rural Asian settings. It will also discuss the field-policy nexus, that is, the fulfilment of policy ambitions in such international policy frameworks like the United Nations’ Sustainable Development Goals (SDGs), the Sendai Framework for Disaster Risk Reduction (2015–2030), and the Paris Agreement for Climate Change by rural field programmes in health, emergency, and disaster risk reduction.


2015 ◽  
Vol 72 (1) ◽  
pp. 1-46 ◽  
Author(s):  
Amal Alphonse ◽  
Charles Elliott ◽  
Björn Stinner

2019 ◽  
Vol 9 (23) ◽  
pp. 5180 ◽  
Author(s):  
Jaume Jordán ◽  
Javier Bajo ◽  
Vicent Botti ◽  
Vicente Julian

In non-cooperative multi-agent planning environments, it is essential to have a system that enables the agents’ strategic behavior. It is also important to consider all planning phases, i.e., goal allocation, strategic planning, and plan execution, in order to solve a complete problem. Currently, we have no evidence of the existence of any framework that brings together all these phases for non-cooperative multi-agent planning environments. In this work, an exhaustive study is made to identify existing approaches for the different phases as well as frameworks and different applicable techniques in each phase. Thus, an abstract framework that covers all the necessary phases to solve these types of problems is proposed. In addition, we provide a concrete instantiation of the abstract framework using different techniques to promote all the advantages that the framework can offer. A case study is also carried out to show an illustrative example of how to solve a non-cooperative multi-agent planning problem with the presented framework. This work aims to establish a base on which to implement all the necessary phases using the appropriate technologies in each of them and to solve complex problems in different domains of application for non-cooperative multi-agent planning settings.


Author(s):  
Jens Markus Melenk ◽  
Alexander Rieder

Abstract We consider a time-dependent problem generated by a nonlocal operator in space. Applying for the spatial discretization a scheme based on $hp$-finite elements and a Caffarelli–Silvestre extension we obtain a semidiscrete semigroup. The discretization in time is carried out by using $hp$-discontinuous Galerkin based time stepping. We prove exponential convergence for such a method in an abstract framework for the discretization in the spatial domain $\varOmega $.


Sign in / Sign up

Export Citation Format

Share Document