Contract Aware Components, 10 years after

The notion of contract aware components has been published roughly ten years ago and is now becoming mainstream in several fields where the usage of software components is seen as critical. The goal of this paper is to survey domains such as Embedded Systems or Service Oriented Architecture where the notion of contract aware components has been influential. For each of these domains we briefly describe what has been done with this idea and we discuss the remaining challenges.Comment: In Proceedings WCSI 2010, arXiv:1010.233

Identifying and Evaluating Equity Provisions in State Health Care Reform

Identifies state policies that promote equitable access to quality health care and analyzes whether reform proposals in five states meet those equity benchmarks. Discusses innovative measures and the need to implement truly universal health insurance

Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models

Information and communication systems enter an increasing number of areas of daily lives. Our reliance and dependence on the functioning of such systems is rapidly growing together with the costs and the impact of system failures. At the same time the complexity of hardware and software systems extends to new limits as modern hardware architectures become more and more parallel, dynamic and heterogenous. These trends demand for a closer integration of formal methods and system engineering to show the correctness of complex systems within the design phase of large projects. The goal of this thesis is to introduce a formal holistic approach for modeling, analysis and synthesis of parallel systems that potentially addresses complex system behavior at any layer of the hardware/software stack. Due to the complexity of modern hardware and software systems, we aim to have a hierarchical modeling framework that allows to specify the behavior of a parallel system at various levels of abstraction and that facilitates designing complex systems in an iterative refinement procedure, in which more detailed behavior is added successively to the system description. In this context, the major challenge is to provide modeling formalisms that are expressive enough to address all of the above issues and are at the same time amenable to the application of formal methods for proving that the system behavior conforms to its specification. In particular, we are interested in specification formalisms that allow to apply formal verification techniques such that the underlying model checking problems are still decidable within reasonable time and space bounds. The presented work relies on an exogenous modeling approach that allows a clear separation of coordination and computation and provides an operational semantic model where formal methods such as model checking are well suited and applicable. The channel-based exogenous coordination language Reo is used as modeling formalism as it supports hierarchical modeling in an iterative top-down refinement procedure. It facilitates reusability, exchangeability, and heterogeneity of components and forms the basis to apply formal verification methods. At the same time Reo has a clear formal semantics based on automata, which serve as foundation to apply formal methods such as model checking. In this thesis new modeling languages are presented that allow specifying complex systems in terms of Reo and automata models which yield the basis for a holistic approach on modeling, verification and synthesis of parallel systems. The second main contribution of this thesis are tailored branching-time and alternating time temporal logics as well as corresponding model checking algorithms. The thesis includes results on the theoretical complexity of the underlying model checking problems as well as practical results. For the latter the presented approach has been implemented in the symbolic verification tool set Vereofy. The implementation within Vereofy and evaluation of the branching-time and alternating-time model checker is the third main contribution of this thesis

Development of a mapping system engineering approaches to classic product development processes of technical products: A work project of project management in product development

Project Work presented as the partial requirement for obtaining a Master's degree in Information Management, specialization in Information Systems and Technologies ManagementThe automotive industry faces the challenge of meeting customer requirements while ensuring technological advancements, fast and cost-effective development, and high-quality production. Information systems play a crucial role in efficiently designing internal processes and meeting customer demands. Personalized solutions are increasingly adopted to cater to individual preferences while maintaining up-to-date technology. Information systems are utilized to record and manage customer requirements, optimize production processes, control inventories, and facilitate effective communication between departments. Product data management (PDM) solutions are widely employed, with 77% of automotive companies implementing them. PDM encompasses the storage and management of data relevant to product development, supporting the entire product lifecycle. As product complexity grows, efficient management of product data becomes essential, along with the optimization of business processes to shorten development time and parallelize tasks. CAx coordination, involving computer-aided design (CAD), manufacturing (CAM), and engineering (CAE), ensures smooth communication and coordination across the product development process. PDM systems act as intermediaries between CAx coordination and enterprise resource planning systems, facilitating seamless integration of design and manufacturing processes. Leading providers of enterprise resource planning and CAD systems offer software solutions for product lifecycle management and PDM, enabling centralized and accessible product information, streamlining development and management processes

Arkansas: Baseline Report - State-Level Field Network Study of the Implementation of the Affordable Care Act

A report, released by the Rockefeller Institute of Government and the Arkansas Center for Health Improvement (ACHI), reveals significant collaboration between Arkansas's public and private sectors to expand health care coverage through the Health Care Independence Program (commonly known as the "private option") and the federally facilitated marketplace partnership.The report is the most recent in a series of state and regional studies advanced by a national network examining the rollout of the Affordable Care Act (ACA). The national network, with 40 states and 74 researchers, is an effort of the Rockefeller Institute of Government at the State University of New York, the Washington-based Brookings Institution, and the Fels Institute of Government at the University of Pennsylvania

Understanding safety-critical interactions with a home medical device through Distributed Cognition

As healthcare shifts from the hospital to the home, it is becoming increasingly important to understand how patients interact with home medical devices, to inform the safe and patient-friendly design of these devices. Distributed Cognition (DCog) has been a useful theoretical framework for understanding situated interactions in the healthcare domain. However, it has not previously been applied to study interactions with home medical devices. In this study, DCog was applied to understand renal patients’ interactions with Home Hemodialysis Technology (HHT), as an example of a home medical device. Data was gathered through ethnographic observations and interviews with 19 renal patients and interviews with seven professionals. Data was analyzed through the principles summarized in the Distributed Cognition for Teamwork methodology. In this paper we focus on the analysis of system activities, information flows, social structures, physical layouts, and artefacts. By explicitly considering different ways in which cognitive processes are distributed, the DCog approach helped to understand patients’ interaction strategies, and pointed to design opportunities that could improve patients’ experiences of using HHT. The findings highlight the need to design HHT taking into consideration likely scenarios of use in the home and of the broader home context. A setting such as home hemodialysis has the characteristics of a complex and safety-critical socio-technical system, and a DCog approach effectively helps to understand how safety is achieved or compromised in such a system

Information Systems and Healthcare XX: Toward Seamless Healthcare with Software Agents

Healthcare processes are frequently fragmented and often badly supported with IT. Inter- and intra-organizational communication and media frictions complicate the continuous provision of information according to the principle of information logistics. Based on extensive literature review, we present the vision of seamless healthcare with horizontally and vertically integrated healthcare processes enabled by seamless IT support. Its implementation requires the establishment of a communication infrastructure and the deployment of adequate standards in healthcare. There are already comprehensive approaches for dealing with integrating heterogeneous information systems. However, they lack a common communication infrastructure and do not support proactivity and flexibility which are dominant characteristics in healthcare. We propose a software agent-based approach for realizing the vision of seamless healthcare. We present a corresponding implementation for integrating heterogeneous information systems in the context of the German Health Telematics Infrastructure. Based on the concept and the implementation, we show that the modular approach is capable of supporting a wide range of different applications. We furthermore outline which facets of an agent-based solution could be implemented in an operative real-world environment. In closing we derive implications for IT decision makers in healthcare and show directions for future approaches for reducing information logistics related deficits in healthcare