The Experts below are selected from a list of 12006 Experts worldwide ranked by ideXlab platform

Peter Henderson - One of the best experts on this subject based on the ideXlab platform.

  • document flow model a Formal Notation for modelling asynchronous web services composition
    International Conference on Move to Meaningful Internet Systems, 2005
    Co-Authors: Jingtao Yang, Corina Cirstea, Peter Henderson
    Abstract:

    This paper presents a Formal Notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our Notation specifies the messages that can be handled by different web services, and describes a system of inter-related web services as the flow of documents between them. The Notation allows the typical web services composition pattern, asynchronous messaging, and has the capability to deal with long-running service-to-service interactions and dynamic configuration behaviors.

  • an operational semantics for dfm a Formal Notation for modeling asynchronous web services
    2005
    Co-Authors: Jingtao Yang, Corina Cirstea, Peter Henderson
    Abstract:

    This paper presents the DFM Notation and its operational semantics. DFM (Document Flow Model) is a message-based workflow Notation for modelling asynchronous web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business processes. The operational semantics of a DFM specification describes the possible behaviours of a system of inter-related web services, in terms of the messages that can be exchanged during the execution of one or more business processes, and the effect each message execution has on the business process state.

  • An operational semantics for DFM, a Formal Notation for modelling asynchronous Web services coordination
    Fifth International Conference on Quality Software (QSIC'05), 2005
    Co-Authors: Jingtao Yang, Corina Cirstea, Peter Henderson
    Abstract:

    This paper presents the DFM Notation and its operational semantics. DFM (document flow model) is a message-based workflow Notation for modelling asynchronous Web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business processes. The operational semantics of a DFM specification describes the possible behaviours of a system of interrelated Web services, in terms of the messages that can be exchanged during the execution of one or more business processes, and the effect each message execution has on the business process state.

Jingtao Yang - One of the best experts on this subject based on the ideXlab platform.

  • document flow model a Formal Notation for modelling asynchronous web services composition
    International Conference on Move to Meaningful Internet Systems, 2005
    Co-Authors: Jingtao Yang, Corina Cirstea, Peter Henderson
    Abstract:

    This paper presents a Formal Notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our Notation specifies the messages that can be handled by different web services, and describes a system of inter-related web services as the flow of documents between them. The Notation allows the typical web services composition pattern, asynchronous messaging, and has the capability to deal with long-running service-to-service interactions and dynamic configuration behaviors.

  • an operational semantics for dfm a Formal Notation for modeling asynchronous web services
    2005
    Co-Authors: Jingtao Yang, Corina Cirstea, Peter Henderson
    Abstract:

    This paper presents the DFM Notation and its operational semantics. DFM (Document Flow Model) is a message-based workflow Notation for modelling asynchronous web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business processes. The operational semantics of a DFM specification describes the possible behaviours of a system of inter-related web services, in terms of the messages that can be exchanged during the execution of one or more business processes, and the effect each message execution has on the business process state.

  • An operational semantics for DFM, a Formal Notation for modelling asynchronous Web services coordination
    Fifth International Conference on Quality Software (QSIC'05), 2005
    Co-Authors: Jingtao Yang, Corina Cirstea, Peter Henderson
    Abstract:

    This paper presents the DFM Notation and its operational semantics. DFM (document flow model) is a message-based workflow Notation for modelling asynchronous Web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business processes. The operational semantics of a DFM specification describes the possible behaviours of a system of interrelated Web services, in terms of the messages that can be exchanged during the execution of one or more business processes, and the effect each message execution has on the business process state.

Corina Cirstea - One of the best experts on this subject based on the ideXlab platform.

  • document flow model a Formal Notation for modelling asynchronous web services composition
    International Conference on Move to Meaningful Internet Systems, 2005
    Co-Authors: Jingtao Yang, Corina Cirstea, Peter Henderson
    Abstract:

    This paper presents a Formal Notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our Notation specifies the messages that can be handled by different web services, and describes a system of inter-related web services as the flow of documents between them. The Notation allows the typical web services composition pattern, asynchronous messaging, and has the capability to deal with long-running service-to-service interactions and dynamic configuration behaviors.

  • an operational semantics for dfm a Formal Notation for modeling asynchronous web services
    2005
    Co-Authors: Jingtao Yang, Corina Cirstea, Peter Henderson
    Abstract:

    This paper presents the DFM Notation and its operational semantics. DFM (Document Flow Model) is a message-based workflow Notation for modelling asynchronous web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business processes. The operational semantics of a DFM specification describes the possible behaviours of a system of inter-related web services, in terms of the messages that can be exchanged during the execution of one or more business processes, and the effect each message execution has on the business process state.

  • An operational semantics for DFM, a Formal Notation for modelling asynchronous Web services coordination
    Fifth International Conference on Quality Software (QSIC'05), 2005
    Co-Authors: Jingtao Yang, Corina Cirstea, Peter Henderson
    Abstract:

    This paper presents the DFM Notation and its operational semantics. DFM (document flow model) is a message-based workflow Notation for modelling asynchronous Web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business processes. The operational semantics of a DFM specification describes the possible behaviours of a system of interrelated Web services, in terms of the messages that can be exchanged during the execution of one or more business processes, and the effect each message execution has on the business process state.

David P L Hewitt - One of the best experts on this subject based on the ideXlab platform.

  • a symbolic dance the interplay between movement Notation and mathematics on a journey toward solving equations
    Mathematical Thinking and Learning, 2014
    Co-Authors: David P L Hewitt
    Abstract:

    This article analyzes the use of the software Grid Algebra with a mixed ability class of 21 nine-to-ten-year-old students who worked with complex Formal Notation involving all four arithmetic operations. Unlike many other models to support learning, Grid Algebra has Formal Notation ever present and allows students to “look through” that Notation and interpret it either in terms of physical journeys on a grid or in terms of mathematical operations. A dynamic fluidity was found between the Formal Notation, imagery of movements on a grid, and the process of mathematical operations. This fluidity is interpreted as a “dance” between these three. The significant way in which this dynamic took place reflects the scaffolding and fading offered by the software, which was crucial to the students’ fluency with Formal Notation well beyond what has been reported from students of that age.

  • movement language and mathematics an interplay on the journey towards confidence with Formal Notation
    British Society for Research into Learning Mathematics, 2011
    Co-Authors: David P L Hewitt
    Abstract:

    A mixed ability group of 21 9-10 year old students were taught over a three lesson period using the software Grid Algebra. They gained considerable confidence with reading Formal algebraic Notation over this time and a key feature was the blended space created whereby the Notation could be read in terms of physical movements on a grid as well as mathematical operations. Three episodes from the lessons are discussed which exemplified the changing dynamic between movement, language and mathematics.

  • the role of subordination and fading in learning Formal algebraic Notation and solving equations the case of year 5 students
    34th Conference of the International Group for the Psychology of Mathematics Education, 2010
    Co-Authors: David P L Hewitt
    Abstract:

    A group of 9-10 year olds, who previously had not met letters or Formal algebraic Notation, were taught over three lessons which led up to solving linear equations using software which produced Formal algebraic Notation as a consequence of making movements round a grid. Tasks using the software were understandable in terms of movements but the only information provided to carry out tasks was the Formal Notation. This feature of subordinating the Notation to the required task was examined along with the way in which the strong visual support offered by the software was faded in activities. Students gained some success in solving linear equations but the greatest success came in the way students became confident with reading and writing Formal Notation.

Alessandra Russo - One of the best experts on this subject based on the ideXlab platform.

  • a goal based approach to policy refinement
    IEEE International Workshop on Policies for Distributed Systems and Networks, 2004
    Co-Authors: Arosha K Bandara, Emil Lupu, Jonathan D Moffett, Alessandra Russo
    Abstract:

    As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted some attention to, none of the proposed solutions address the issue of deriving implementable policies from high-level goals. A key part of the solution to this problem is having the ability to identify the operations, available on the underlying system, which can achieve a given goal. This work presents an approach by which a Formal representation of a system, based on the event calculus, can be used in conjunction with abductive reasoning techniques to derive the sequence of operations that will allow a given system to achieve a desired goal. Additionally it outlines how this technique might be used for providing tool support and partial automation for policy refinement. Building on previous work on using Formal techniques for policy analysis, the approach presented here applies a transformation of both policy and system behaviour specifications into a Formal Notation that is based on event calculus. Finally, it shows how the overall process could be used in conjunction with UML modelling and illustrates this by means of an example.

  • using event calculus to Formalise policy specification and analysis
    IEEE International Workshop on Policies for Distributed Systems and Networks, 2003
    Co-Authors: Arosha K Bandara, Emil Lupu, Alessandra Russo
    Abstract:

    As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted some attention to, none of the proposed solutions address the issues of analysing specifications that combine authorisation and management policies; analysing policy specifications that contain constraints on the applicability of the policies; and performing a priori analysis of the specification that will both detect the presence of inconsistencies and explain the situations in which the conflict will occur. We present a method for transforming both policy and system behaviour specifications into a Formal Notation that is based on event calculus. Additionally it describes how this Formalism can be used in conjunction with abductive reasoning techniques to perform a priori analysis of policy specifications for the various conflict types identified in the literature. Finally, it presents some initial thoughts on how this Notation and analysis technique could be used to perform policy refinement.