61,574 research outputs found
On the Modeling of Correct Service Flows with BPEL4WS
Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition language exists. BPEL implementations allow orchestrating complex, stateful interactions among Web Services in a process-oriented way. One important task in this context is to ensure that respective flow specifications can be correctly processed, i.e., there will be no bad surprises (e.g., deadlocks, invocation of service operations with missing input data) at runtime. In this paper we subdivide BPEL schemes into different classes and discuss to which extent instances of these classes can be analyzed for the absence of control flow errors and inconsistencies. Altogether our work shall contribute to a more systematic evolution of the BPEL standard instead of overloading it with too many features
Top down, bottom up structured programming and program structuring
New design and programming techniques for shuttle software. Based on previous Apollo experience, recommendations are made to apply top-down structured programming techniques to shuttle software. New software verification techniques for large software systems are recommended. HAL, the higher order language selected for the shuttle flight code, is discussed and found to be adequate for implementing these techniques. Recommendations are made to apply the workable combination of top-down, bottom-up methods in the management of shuttle software. Program structuring is discussed relevant to both programming and management techniques
Efficiently Storing Well-Composed Polyhedral Complexes Computed Over 3D Binary Images
A 3D binary image I can be naturally represented
by a combinatorial-algebraic structure called cubical complex
and denoted by Q(I ), whose basic building blocks are
vertices, edges, square faces and cubes. In Gonzalez-Diaz
et al. (Discret Appl Math 183:59–77, 2015), we presented a
method to “locally repair” Q(I ) to obtain a polyhedral complex
P(I ) (whose basic building blocks are vertices, edges,
specific polygons and polyhedra), homotopy equivalent to
Q(I ), satisfying that its boundary surface is a 2D manifold.
P(I ) is called a well-composed polyhedral complex over the
picture I . Besides, we developed a new codification system
for P(I ), encoding geometric information of the cells
of P(I ) under the form of a 3D grayscale image, and the
boundary face relations of the cells of P(I ) under the form
of a set of structuring elements. In this paper, we build upon
(Gonzalez-Diaz et al. 2015) and prove that, to retrieve topological
and geometric information of P(I ), it is enough to
store just one 3D point per polyhedron and hence neither
grayscale image nor set of structuring elements are needed.
From this “minimal” codification of P(I ), we finally present
a method to compute the 2-cells in the boundary surface of
P(I ).Ministerio de EconomĂa y Competitividad MTM2015-67072-
Knowledge Cartography for Open Sensemaking Communities
Knowledge Cartography is the discipline of visually mapping the conceptual structure of ideas, such as the connections between issues, concepts, answers, arguments and evidence. The cognitive process of externalising one's understanding clarifies one's own grasp of the situation, as well as communicating it to others as a network that invites their contributions. This sensemaking activity lies at the heart of the Open Educational Resources movement's objectives. The aim of this paper is to describe the usage patterns of Compendium, a knowledge mapping tool from the OpenLearn OER project, using quantitative data from interaction logs and qualitative data from knowledge maps, forums and blog postings. This work explains nine roles played by maps in OpenLearn, and discusses some of the benefits and adoption obstacles, which motivate our ongoing work
- …