Ambient-Oriented Programming in Fractal

International audienceAmbient-Oriented Programming (AmOP) comprises suits of challenges that are hard to meet by current software development techniques. Although Component-Oriented Programming (COP) represents promising approach, the state-of-the-art component models do not provide sufficient adaptability towards specific constraints of the Ambient field. In this position paper we argue that merging AmOP and COP can be achieved by introducing the Fractal component model and its new feature : Component-Based Controlling Membranes. The proposed solution allows dynamical adaptation of component systems towards the challenges of the Ambient world

Constructing Domain-Specific Component Frameworks through Architecture Refinement

Acceptance rate: 38%International audienceRecently, a plethora of domain-specific component frameworks (DSCF) emerges. Although the current trend emphasizes generative programming methods as cornerstones of software development, they are commonly applied in a costly, ad-hoc fashion. However, we believe that DSCFs share the same subset of concepts and patterns. In this paper we propose two contributions to DSCF development. First, we propose DomainComponents --- a high-level abstraction to capture semantics of domain concepts provided by containers, and we identify patterns facilitating their implementation. Second, we develop a generic framework that automatically generates implementation of DomainComponents semantics, thus addressing domain-specific services with one unified approach. To evaluate benefits of our approach we have conducted several case studies that span different domain-specific challenges

An Aspect-Oriented Framework for Weaving Domain-Specific Concerns into Component-Based Systems

International audienceSoftware components are used in various application domains, and many component models and frameworks have been proposed to fulfill domain-specific requirements. The general trend followed by these approaches is to provide ad-hoc models and tools for capturing these requirements and for implementing their support within dedicated runtime platforms, limited to features of the targeted domain. The challenge is then to propose more flexible solutions, where components reuse is domain agnostic. In this article, we present a framework supporting compositional construction and development of applications that must meet various extra-functional/domain-specific requirements. The key points of our contribution are: i) We target development of component-oriented applications where extra-functional requirements are expressed as annotations on the units of composition in the application's architecture. ii) These annotations are implemented as open and extensible component-based containers, achieving full separation of functional and extra-functional concerns. iii) Finally, the full machinery is implemented using the Aspect-Oriented Programming paradigm. We validate our approach with two case studies: the first is related to real-time and embedded applications, while the second refers to the distributed context-aware middleware domain

Norms for creativity and implementation in healthcare teams: testing the group innovation inventory

Abstract OBJECTIVE: To test to what extent the four-factor structure of the group innovation inventory (GII) is confirmed for improvement teams participating in a quality improvement collaborative. DESIGN: Quasi-experimental design with baseline and end-measurement after intervention. SETTING: This study included quality improvement teams participating in the Care for Better improvement programme for home care, care for the handicapped and the elderly in the Netherlands between 2006 and 2008. PARTICIPANTS: As part of a larger evaluation study, 261 written questionnaires from team members were collected at baseline (pre-project sample) and 129 questionnaires at end-measurement (post-project sample). MAIN OUTCOME MEASURE: Group innovation inventory. RESULTS: Confirmatory factor analyses revealed the expected four-factor structure and good fit indices. The subscales 'group functioning' and 'speed of action' showed acceptable Cronbach's alphas and high inter-item correlations. The subscales 'support for risk taking' and 'tolerance of mistakes' showed insufficient reliability and validity. CONCLUSIONS: The group functioning and speed of action subscales of the GII showed acceptable psychometric properties and are applicable to quality improvement teams in health care. In order to understand how social expectations within teams working in health care organizations exert influence over attitudes and behaviours thought to stimulate creativity, further conceptualization of the norms for enhancing creativity within health care is needed

Carmen: Software Component Model Checker

International audienceThe challenge of model checking of isolated software components becomes more and more relevant with the boom of component-oriented technologies [20]. An important issue here is how to verify an open model representing an isolated software component (also referred as the missing environment problem in [17]). In this paper, we propose on-the-fly simulation of the component environment to address the issue. We employ behavior protocols [18] and a system coordinating two model checkers: Java PathFinder [4] and BPChecker [15]. This approach allows us to enclose the model represent- ing the behavior of a given component and consequently to exhaustively verify the model. Our solution was implemented as the Carmen tool [1]. We demonstrate scalability of our approach on real-life examples and show that, in comparison with the COMBAT model checker [17], we bring better performance, and also exhaustive and correct verification

Ambient-Oriented Programming in Fractal

International audienceAmbient-Oriented Programming (AmOP) comprises suits of challenges that are hard to meet by current software development techniques. Although Component-Oriented Programming (COP) represents promising approach, the state-of-the-art component models do not provide sufficient adaptability towards specific constraints of the Ambient field. In this position paper we argue that merging AmOP and COP can be achieved by introducing the Fractal component model and its new feature : Component-Based Controlling Membranes. The proposed solution allows dynamical adaptation of component systems towards the challenges of the Ambient world

Safety-Critical Java: : level 2 in practice

Safety-Critical Java (SCJ) is a profile of the Real-Time Specification for Java that brings to the safety-critical industry the possibility of using Java. SCJ defines three compliance levels: Level 0, Level 1 and Level 2. The SCJ specification is clear on what constitutes a Level 2 application in terms of its use of the defined API but not the occasions on which it should be used. This paper broadly classifies the features that are only available at Level 2 into three groups: nested mission sequencers, managed threads and global scheduling across multiple processors. We explore the first two groups to elicit programming requirements that they support. We identify several areas where the SCJ specification needs modifications to support these requirements fully; these include the following: support for terminating managed threads, the ability to set a deadline on the transition between missions and augmentation of the mission sequencer concept to support composibility of timing constraints. We also propose simplifications to the termination protocol of missions and their mission sequencers. To illustrate the benefit of our changes, we present excerpts from a formal model of SCJ Level 2 written in Circus, a state-rich process algebra for refinement. Copyright © 2016 John Wiley & Sons, Ltd

Forced migrants involved in setting the agenda and designing research to reduce impacts of complex emergencies: combining Swarm with patient and public involvement

Background: Many events with wide-ranging negative health impacts are notable for complexity: lack of predictability, non-linear feedback mechanisms and unexpected consequences. A multi-disciplinary research team was tasked with reducing the public health impacts from complex events, but without a pre-specified topic area or research design. This report describes using patient and public involvement within an adaptable but structured development process to set research objectives and aspects of implementation. Methods: An agile adaptive development approach, sometimes described as swarm, was used to identify possible research areas. Swarm is meant to quickly identify strengths and weaknesses of any candidate project, to accelerate early failure before resources are invested. When aspects of the European migration crisis were identified as a potential priority topic area, two representatives of forced migrant communities were recruited to explore possible research ideas. These representatives helped set the specific research objectives and advised on aspects of implementation, still within the swarm framework for project development. Results: Over ten months, many research ideas were considered by the collaborative working group in a series of six group meetings, supplemented by email contact in between. Up to four possible research ideas were scrutinised at any one meeting, with a focus on identifying practical or desirable aspects of each proposed project. Interest settled on a study to solicit original data about successful strategies that forced migrants use to adapt to life in the UK, with an emphasis on successfully promoting resilience and minimizing emotional distress. “Success in resettlement” was identified to be a more novel theme than “barriers to adaption” research. A success approach encourages participation when individuals may find discussion of mental illness stigmatising. The patient representatives helped with design of patient-facing and interview training materials, interviewer training (mock interviews), and aspects of the recruitment. Conclusion: Using patient and public involvement (PPI) within an early failure development approach that itself arises from theory on complex adaptive systems, we successfully implemented a dynamic development process to determine research topic and study design. The PPI representatives were closely involved in setting research objectives and aspects of implementation

Leadership, the logic of sufficiency and the sustainability of education

The notion of sufficiency has not yet entered mainstream educational thinking, and it still has to make its mark upon educational leadership. However, a number of related concepts – particularly those of sustainability and complexity theory – are beginning to be noticed. This article examines these two concepts and uses them to critique the quasi-economic notion of efficiency, before arguing that the concept of sufficiency arises naturally from this discussion. This concept, originally derived from environmental thinking, has both metaphorical and practical impact for educational organizations and their leadership. An examination of three possible meanings suggests that while an embrace of an imperative concept of sufficiency seems increasingly necessary, its adoption would probably lead to a number of other problems, as it challenges some fundamental societal values and assumptions. Nevertheless, the article argues that these need to be addressed for the sake of both sustainable leadership and a sustainable planet