Service Prototyping Lab Report - 2016 (Y1)

The annual activity report of the Service Prototyping Lab at Zurich University of Applied Sciences. Research trends and initiatives, research projects, transfer to education and local industry, academic community involvement, qualification and scientific development over the period of one year are among the covered topics

ZVAX : a microservice reference architecture for nation-scale pandemic management

Domain-specific Microservice Reference Architectures (MSRA) have become relevant study objects in software technology. They facilitate the technical evaluation of service designs, compositions patterns and deployment configurations in realistic operational practice. Current knowledge about MSRA is predominantly confined to business domains with modest numbers of users per application. Due to the ongoing massive digital transformation of society, people-related online services in e-government, e-health and similar domains must be designed to be highly scalable at entire nation level at affordable infrastructure cost. With ZVAX, we present such a service in the e-health domain. Specifically, the ZVAX implementation adheres to an MSRA for pandemic-related processes such as vaccination registration and passenger locator form submission, with emphasis on selectable levels of privacy. We argue that ZVAX is valuable as study object for the training of software engineers and for the debate on arbitrary government-to-people services at scale

Ga-68-NODAGA-Exendin-4 PET/CT Improves the Detection of Focal Congenital Hyperinsulinism

Surgery with curative intent can be offered to congenital hyperinsulinism (CHI) patients, provided that the lesion is focal. Radiolabeled exendin-4 specifically binds the glucagonlike peptide 1 receptor on pancreatic beta-cells. In this study, we compared the performance of F-18-DOPA PET/CT, the current standard imaging method for CHI, and PET/CT with the new tracer Ga-68-NODAGA-exendin-4 in the preoperative detection of focal CHI. Methods: Nineteen CHI patients underwent both F-18-DOPA PET/CT and Ga-68-NODAGA-exendin-4 PET/CT before surgery. The images were evaluated in 3 settings: a standard clinical reading, a masked expert reading, and a joint reading. The target (lesion)-to-nontarget (normal pancreas) ratio was determined using SUVmax. Image quality was rated by pediatric surgeons in a questionnaire. Results: Fourteen of 19 patients having focal lesions underwent surgery. On the basis of clinical readings, the sensitivity of Ga-68-NODAGA-exendin-4 PET/CT (100%; 95% CI, 77%-100%) was higher than that of F-18-DOPA PET/CT (71%; 95% CI, 42%-92%). Interobserver agreement between readings was higher for Ga-68-NODAGA-exendin-4 than for F-18-DOPA PET/CT (Fleiss kappa = 0.91 vs. 0.56). Ga-68-NODAGA-exendin-4 PET/CT provided significantly (P = 0.021) higher target-to-nontarget ratios (2.02 +/- 0.65) than did F-18-DOPA PET/CT (1.40 +/- 0.40). On a 5-point scale, pediatric surgeons rated Ga-68-NODAGA-exendin-4 PET/CT as superior to F-18-DOPA PET/CT. Conclusion: For the detection of focal CHI, Ga-68-NODAGA-exendin-4 PET/CT has higher clinical sensitivity and better interobserver correlation than F-18-DOPA PET/CT. Better contrast and image quality make Ga-68-NODAGA-exendin-4 PET/CT superior to F-18-DOPA PET/CT in surgeons' intraoperative quest for lesion localization.Peer reviewe

Automatic Contract Extraction: Developing a CIL Parser

The analysis of.NET libraries in [1] suggests the development of a tool for automatic contract extraction from.NET classes. The article observes that preconditions tend to be hidden under explicit exception cases. A tool leveraging this observation has been developed as part of this diploma thesis and is documented in this report. Although the chosen approach is limited to elementary cases, the application of the tool to classes ArrayList, Stack and Queue of the.NET framework [16] reveals that, in these classes, half or more of all explicit exception cases can be addressed and the corresponding preconditions are extracted by the current implementation. The report includes the documentation of the tool’s implementation, a presentation of the results and a discussion o