National Research Council

Displaying 1-6 of 6 results

  • White Papers // Jan 2012

    A Cross-Layer Approach for Publish/subscribe in Mobile Ad Hoc Networks

    In the context of ubiquitous and pervasive computing, publish/subscribe middleware is gaining momentum due to its loosely coupled communication scheme. In this paper, the authors present Q, a publish/subscribe service conceived to operate in the context of mobile ad hoc networks. With Q, the overlay network that routes events from...

    Provided By National Research Council

  • White Papers // Jan 2011

    A Stochastic Extension of a Behavioural Subset of UML Statechart Diagrams

    In this paper, the authors present a stochastically timed extension of UML Statechart Diagrams. The extension is rather simple both from a notational point of view and from a semantics point of view. In particular, they enrich a state/transition formal operational semantics they proposed in with random clocks for expressing...

    Provided By National Research Council

  • White Papers // Nov 2010

    Modeling Variability, Evolvability, and Adaptability in Service Computing

    The authors present a vision for future research on an emerging topic in software engineering, namely the synergy between Software Product Line Engineering (SPLE) and Service-Oriented Computing (SOC). The aim is to develop rigorous modeling techniques and analysis and verification tools that can be used for the systematic, large-scale provision...

    Provided By National Research Council

  • White Papers // Sep 2010

    An Experience on Formal Analysis of a High-Level Graphical SOA Design

    In this paper, the authors present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriented system design, to be model checked with respect to the intended requirements and automatically translated into executable BPEL code. This...

    Provided By National Research Council

  • White Papers // Aug 2010

    Value Creation Within Port Supply Network: Methodological Issues

    The paper proposes a theoretical model based on the concept of Supply Chain Management in port environment, aimed at identifying the sources of value creation in an innovative way. The model views the port as a network of actors, resources and activities - the Port Supply Network (PSN) - which...

    Provided By National Research Council

  • White Papers // Feb 2010

    Modeling and Analysing the Finance Case Study in UMC

    The authors describe a UMC model of the credit request scenario from Sensoria's Finance case study and verify a number of properties expressed in the service-oriented logic SocL. The UMC model is a faithful translation of the scenario's specification in UML4SOA, which is a profile for UML that defines a...

    Provided By National Research Council

  • White Papers // Aug 2010

    Value Creation Within Port Supply Network: Methodological Issues

    The paper proposes a theoretical model based on the concept of Supply Chain Management in port environment, aimed at identifying the sources of value creation in an innovative way. The model views the port as a network of actors, resources and activities - the Port Supply Network (PSN) - which...

    Provided By National Research Council

  • White Papers // Feb 2010

    Modeling and Analysing the Finance Case Study in UMC

    The authors describe a UMC model of the credit request scenario from Sensoria's Finance case study and verify a number of properties expressed in the service-oriented logic SocL. The UMC model is a faithful translation of the scenario's specification in UML4SOA, which is a profile for UML that defines a...

    Provided By National Research Council

  • White Papers // Nov 2010

    Modeling Variability, Evolvability, and Adaptability in Service Computing

    The authors present a vision for future research on an emerging topic in software engineering, namely the synergy between Software Product Line Engineering (SPLE) and Service-Oriented Computing (SOC). The aim is to develop rigorous modeling techniques and analysis and verification tools that can be used for the systematic, large-scale provision...

    Provided By National Research Council

  • White Papers // Sep 2010

    An Experience on Formal Analysis of a High-Level Graphical SOA Design

    In this paper, the authors present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriented system design, to be model checked with respect to the intended requirements and automatically translated into executable BPEL code. This...

    Provided By National Research Council

  • White Papers // Jan 2011

    A Stochastic Extension of a Behavioural Subset of UML Statechart Diagrams

    In this paper, the authors present a stochastically timed extension of UML Statechart Diagrams. The extension is rather simple both from a notational point of view and from a semantics point of view. In particular, they enrich a state/transition formal operational semantics they proposed in with random clocks for expressing...

    Provided By National Research Council

  • White Papers // Jan 2012

    A Cross-Layer Approach for Publish/subscribe in Mobile Ad Hoc Networks

    In the context of ubiquitous and pervasive computing, publish/subscribe middleware is gaining momentum due to its loosely coupled communication scheme. In this paper, the authors present Q, a publish/subscribe service conceived to operate in the context of mobile ad hoc networks. With Q, the overlay network that routes events from...

    Provided By National Research Council