27 research outputs found
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
No full textThe dynamics of pervasive ecosystems are typically highly unpredictable, and therefore self-organising approaches are often exploited to make their applications resilient to changes and failures. The SAPERE approach we illustrate in this paper aims at addressing this issue by taking inspiration from natural ecosystems, which are regulated by a limited set of "laws" evolving the population of individuals in a self-organising way. Analogously, in our approach, a set of so-called eco-laws coordinate the individuals of the pervasive computing system (humans, devices, signals), in a way that is shown to be expressive enough to model and implement interesting real-life scenarios. We exemplify the proposed framework discussing a crowd evacuation application, tuning and validating it by simulation
A Methodology For The Development Of Complex Domain Specific Languages
No full textThe term Domain-Specific Modeling Language is used in software development to indicate a modeling (and sometimes programming) language dedicated to a particular problem domain, a particular problem representation technique and/or a particular solution technique. The concept is not new -- special-purpose programming language and all kinds of modeling/specification languages have always existed, but the term DSML has become more popular due to the rise of domain-specific modeling. Domain-specific languages are considered 4GL programming languages. Domain-specific modeling techniques have been adopted for a number of years now. However, the techniques and frameworks used still suffer from problems of complexity of use and fragmentation. Although in recent times some integrated environments are seeing the light, it is not common to see many concrete use cases in which domain-specific modeling has been put to use. The main goal of this thesis is tackling the domain of interactive systems and applying a DSML-based workflow which leads from a system specification to the prototyping of a GUI. We chose to use the domain of Control Systems as an example of application for several reasons. Among others, it needs modularity, interactivity, property validation; it requires the development of a user interface; and the domain experts are not typically expert software engineers. Control Systems can be defined as mechanisms that provide output variables of a system by manipulating its inputs (from sensors or commands). While some Control Systems can be very simple (e.g., a thermostate) and pose little or no problem to modeling using general-purpose formalisms, other Control Systems can be complex with respect to the number of components, dimensions, physical and functional organization and supervision issues. A complex Control Systems will generally have a composite structure, in which each object can be grouped with others; composite objects can be, in their turn, components (or ``children'') of larger objects, forming a hierarchical tree in which the root represents the whole system and the leaves are its most elementary devices. Controlling and supervising such complex systems requires the development of complex GUI, which can benefit from adopting a domain-specific methodology. The outcome of the thesis is the definition of a methodology that allows easy prototyping of a GUI for interactive systems. The take-away lesson is giving readers a concrete working example of how to build a similar methodology for their domain
Progettazione di una G.U.I. per il database di CMS
No full textThe design and implementation of a construction database and its GUI for the CMS experiment at CERN
A domain specific language and methodology for control systems GUI specification, verification and prototyping
No full textA work-in-progress domain-specific language and methodology for modeling complex control systems GUIs is presented. MDA techniques are applied for language design and verification, simulation and prototyping
Language Enrichment for Resilient MDE
No full textpeer reviewedn Model-Driven Engineering, as in many engineering approaches, it is desireable to be able to assess the quality of a system or model as it evolves. A resilient engineering practice systematically assesses whether evolutions improve on the capabilities of a system. We argue that to achieve a systematic resilient model-driven engineering practice, resilience concepts should be first-class citizens in models. This article discusses how DREF, a formal framework defining resilience concepts, can be integrated with other modeling languages in order to pursue a resilient development process.RESIsTAN
Towards a formal, model-based framework for control systems interaction prototyping
No full textThis paper provides an overview of a starting project called BATIC3S (Building Adaptive Three-dimensional Interfaces for Critical Complex Control Systems). This project aims to bring a more viable approach in the fields of Graphical User Interfaces (GUI), software modeling and verification, automatic code generation, and adaptivity. The goal is to build a comprehensive methodology for semi-automated, formal model-based generation of effective, reliable and adaptive 3D GUIs for diagnosing control systems. This can be used to assist in GUI development for very complex systems, like industrial systems, high energy physics experiments and similar
A domain specific language and methodology for control systems GUI specification, verification and prototyping
No full text
Optimizing algebraic petri net model checking by slicing
No full textpeer reviewedHigh-level Petri nets make models more concise and read-
able as compared to low-level Petri nets. However, usual verification
techniques such as state space analysis remain an open challenge for
both because of state space explosion. The contribution of this paper is
to propose an approach for property based reduction of the state space
of Algebraic Petri nets (a variant of high-level Petri nets). To achieve
the objective, we propose a slicing algorithm for Algebraic Petri nets
(APNSlicing). The proposed algorithm can alleviate state space even for
certain strongly connected nets. By construction, it is guaranteed that
the state space of sliced net is at most as big as the original net. We
exemplify our technique through the running case study of car crash
management system
Developing pervasive multiagent systems with nature-inspired co-ordination
No full textPervasive computing systems can be modelled effectively as populations of interacting autonomous components. The key challenge to realizing such models is in getting separately-specified and -developed sub-systems to discover and interoperate with each other in an open and extensible way, supported by appropriate middleware services. In this paper, we argue that nature-inspired coordination models offer a promising way of addressing this challenge. We first frame the various dimensions along which nature-inspired coordination models can be defined, and survey the most relevant proposals in the area. We describe the nature-inspired coordination model developed within the SAPERE project as a synthesis of existing approaches, and show how it can effectively support the multifold requirements of modern and emerging pervasive services. We conclude by identifying what we think are the open research challenges in this area, and identify some research directions that we believe are promising.Peer reviewe
