Filters








158,966 Hits in 11.5 sec

On the Monitorability of Session Types, in Theory and Practice [article]

Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas
2021 arXiv   pre-print
This work takes a fresh look at the run-time verification of communicating systems using session types, in theory and in practice.  ...  On the theoretical side, we develop a novel formal model of session-monitored processes; with it, we formulate and prove new results on the monitorability of session types, connecting their run-time and  ...  Our plan is to study more instances of C, T and M -both in theory, and in practice.  ... 
arXiv:2105.06291v1 fatcat:wpy4l4tf3rhqhhqgyzbohtrcbu

On the Monitorability of Session Types, in Theory and Practice

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Manu Sridharan, Anders Møller
2021
This work takes a fresh look at the run-time verification of communicating systems using session types, in theory and in practice.  ...  We then use this model to formulate and prove new results on the monitorability of session types, defined in terms of soundness (i.e., whether monitors only flag ill-typed processes) and completeness (  ...  For all session types S and processes P , if there exists a trace t such that ⟨P ; [[S]]⟩ t E C O O P 2 0 2 1 20:14 On the Monitorability of Session Types, in Theory and Practice ∅ · ∅ ⊢ P : S  ... 
doi:10.4230/lipics.ecoop.2021.20 fatcat:vgpoyktmzvbzvjbrxoawsjdski

Application of a Vital Signs Monitor Usage Training Model

Catherine Arcila Rios, Vanessa Paola Montes Buelvas, Juan Guillermo Barreneche Ospina
2017 Revista Ingeniería Biomédica  
On one hand, technological training on medical devices is a major aspect of the requirements in decree #4725 of 2005 issued by the Invima [1], also health training protocols are an aspect of the resolution  ...  This article aims to analyze previous reviews on training models and to implement some variations on methodological practices to develop a training model based on the results training a group of bioengineering  ...  en el área de la salud y el desarrollo de tecnología biomédica" (Strengthening of the technological platform for specialized training in the area of health and biomedical technology development), code  ... 
doi:10.24050/19099762.n22.2017.1182 fatcat:2ospdghozvf6fk23tro36zyhfe

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2014 Formal methods in system design  
Finally, we expose the underlying theory of our interrupt mechanism, studying its syntax and semantics, its integration in MPST theory and proving the correctness of our design.  ...  Drawn from our industrial collaborations [40, 34] on Scribble, a choreography description language based on multiparty session types, and its theoretical foundations [20] , this article proposes a dynamic  ...  Acknowledgements We thank Gary Brown, Matthew Arrot and the Scribble team for discussions and collaborations.  ... 
doi:10.1007/s10703-014-0218-8 fatcat:j2ns5fnyzje53nt7ybhi7cz65a

Practical Interruptible Conversations [chapter]

Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
2013 Lecture Notes in Computer Science  
Finally, we expose the underlying theory of our interrupt mechanism, studying its syntax and semantics, its integration in MPST theory and proving the correctness of our design.  ...  Drawn from our industrial collaborations [40, 34] on Scribble, a choreography description language based on multiparty session types, and its theoretical foundations [20] , this article proposes a dynamic  ...  Acknowledgements We thank Gary Brown, Matthew Arrot and the Scribble team for discussions and collaborations.  ... 
doi:10.1007/978-3-642-40787-1_8 fatcat:xah5ce63t5cxlpvnyd2fl4efo4

The Scribble Protocol Language [chapter]

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
2014 Lecture Notes in Computer Science  
This paper describes a brief history of how Kohei Honda initiated the Scribble project, and summarises the current status of Scribble.  ...  The work has been partially sponsored by the Ocean Observatories Initiative, VMware, EP-SRC KTS under Cognizant, and EPSRC EP/K011715/1, EP/K034413/1 and EP/G015635/1.  ...  A protocol is a minimal structure which guarantees type-safety of conversations, and has been known as session type [7, 13, 19, 24, 41] in theories of processes which in turn is based on theories of  ... 
doi:10.1007/978-3-319-14128-2_3 fatcat:r2nsvqeegjaplizemlnees3eue

The Scribble Protocol Language [chapter]

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
2014 Lecture Notes in Computer Science  
This paper describes a brief history of how Kohei Honda initiated the Scribble project, and summarises the current status of Scribble.  ...  The work has been partially sponsored by the Ocean Observatories Initiative, VMware, EP-SRC KTS under Cognizant, and EPSRC EP/K011715/1, EP/K034413/1 and EP/G015635/1.  ...  A protocol is a minimal structure which guarantees type-safety of conversations, and has been known as session type [7, 13, 19, 24, 41] in theories of processes which in turn is based on theories of  ... 
doi:10.1007/978-3-319-05119-2_3 fatcat:6czxti2ptzeoxpmtw6dzp7xspe

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper) [chapter]

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
2020 Lecture Notes in Computer Science  
We outline our theory, and illustrate a tool that automatically synthesises type-checked session monitors, based on the Scala language and its session programming library (lchannels).  ...  We automate a solution for binary sessions where one endpoint is statically checked, and the other endpoint is dynamically checked by a monitor acting as an intermediary between typed and untyped components  ...  The work in [6] formalises a theory of monitored (multiparty) session types, based on a global, centralised router providing a safe transport network that dispatches messages between participant processes  ... 
doi:10.1007/978-3-030-50086-3_13 fatcat:xfaow2m4hvcpfelwoyevzaplsm

SPY: Local Verification of Global Protocols [chapter]

Rumyana Neykova, Nobuko Yoshida, Raymond Hu
2013 Lecture Notes in Computer Science  
Building on the theory of multiparty session types, our toolchain implementation validates communication safety properties on the global protocol, but enforces them via independent monitoring of each endpoint  ...  Each monitor can be internally embedded in or externally deployed alongside the endpoint runtime, and detects the occurrence of illegal communication actions and message types that do not conform to the  ...  The goal of Scribble is to provide an intuitive engineering language and tools, based on the theory of multiparty session types (MPST) [7] , for specifying and reasoning about message passing protocols  ... 
doi:10.1007/978-3-642-40787-1_25 fatcat:ku2oqd2plfe3vliv64bpoewhti

Tried and True

Susan Sullivan-Bolyai, Kimberly Johnson, Karen Cullen, Terry Hamm, Jean Bisordi, Kathleen Blaney, Laura Maguire, Gail Melkus
2014 Advances in Nursing Science  
Examples of theory-in-practice will be illustrated by parental learning responses to this alternative educational innovation.  ...  On the basis of the literature, we describe the educational vignettes used based on self-regulation in the randomized controlled trial entitled "Parent Education Through Simulation-Diabetes."  ...  The principles of S-R theory naturally flow with the hands-on practice, reciprocity among the parents, educator and HPS.  ... 
doi:10.1097/ans.0000000000000050 pmid:25365286 pmcid:PMC4223687 fatcat:tupr2ryllvgu3gvz7neqzc3wae

Parent-Based Adolescent Sexual Health Interventions And Effect on Communication Outcomes: A Systematic Review and Meta-Analyses

Diane Santa Maria, Christine Markham, Shirley Bluethmann, Patricia Dolan Mullen
2015 Perspectives on sexual and reproductive health  
as parent-child communication about sexual health 5 and parental monitoring, 6 as suggested by the analytic frameworks of Burrus et al. 7 and Hutchinson and Wood. 8 For example, one study found that an  ...  Results-Most interventions were conducted with minority parents in group sessions or via selfpaced activities; interventions averaged seven hours, and most used theory extensively.  ...  The findings and conclusions of this article are those of the authors and do not necessarily represent the official positions of the funding organizations.  ... 
doi:10.1363/47e2415 pmid:25639664 pmcid:PMC5136775 fatcat:glzt5inrmzfbth73pzgxstzwsm

Behavioural Lifestyle Intervention Study (BLIS) in patients with type 2 diabetes in the United Arab Emirates: A randomized controlled trial

Sarah Abdi, Amena Sadiya, Samia Ali, Shiby Varghese, Salah Abusnana
2015 BMC Nutrition  
Lifestyle modification is a cornerstone of the management of type 2 diabetes.  ...  They were measured at baseline, 3 months and 6 months and were assessed using one-way ANOVA at a significance level of P < 0.05.  ...  Acknowledgements The authors would like to acknowledge the Global Health Partner Diabetes Centre UAE for providing the funds required to conduct the research and for continuous support throughout the process  ... 
doi:10.1186/s40795-015-0028-4 fatcat:qff5djjwu5dofdj2d5h6fqx3tq

Scribbling Interactions with a Formal Foundation [chapter]

Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida
2011 Lecture Notes in Computer Science  
In this paper we discuss our ongoing endeavour to apply notations and algorithms based on the π-calculus and its theories for the development of large-scale distributed systems.  ...  The execution of a largescale distributed system consists of many structured conversations (or sessions) whose protocols can be clearly and accurately specified using a theory of types for the π-calculus  ...  For this reason, we dedicate this paper to him, and hope that our work from now on in this domain will contribute to the enrichment of both practice and theories of computing through their deep and honest  ... 
doi:10.1007/978-3-642-19056-8_4 fatcat:76cikyol4zh7dcywj6gizh3uoe

Self-monitoring of blood glucose—Psychological aspects relevant to changes in HbA1c in type 2 diabetic patients treated with diet or diet plus oral antidiabetic medication

Marcus Siebolds, Oliver Gaedeke, Ulrich Schwedes
2006 Patient Education and Counseling  
The identification of the different response types might be of importance in clinical practice as it enables the physician to determine the right counseling option. #  ...  Objective: To investigate the influence of psychological aspects on glycemic control in type 2 diabetic patients treated with diet alone or diet plus oral antidiabetic medication using meal-related self-monitoring  ...  Acknowledgement The study was funded by an unrestricted grant from Bayer AG.  ... 
doi:10.1016/j.pec.2005.06.013 pmid:16159705 fatcat:w3ssoqz45bexddkhsdwsptwr4a

Can a modified theory of planned behavior explain the effects of empowerment education for people with type 2 diabetes?

Chung-Ying Lin, Mike K. T. Cheung, Anchor T. F. Hung, Peter K. K. Poon, Sam C. C. Chan, Chetwyn C. H. Chan
2020 Therapeutic Advances in Endocrinology and Metabolism  
Conclusions: The effects of enrollment of empowerment sessions in PEP on exercise and foot care were likely to be mediated through behavioral intention.  ...  The behavioral intention was found to be a significant mediator in the following relationships: empowerment session participation and exercise (β = 0.045, p = 0.04), and empowerment session participation  ...  on information delivery, and the empowerment sessions emphasized a more hands-on practice (such as practicing action planning, problem solving, and experience sharing).  ... 
doi:10.1177/2042018819897522 pmid:31934326 pmcid:PMC6945455 fatcat:ubscfdk6kzhgfnsitwlhesje7q
« Previous Showing results 1 — 15 out of 158,966 results