We discuss the evolution of Praxis, a model-driven process framework, building on feedback from educational and professional applications, along the past fifteen years. We follow the evolution from Praxis first version to the current one, discussing what was introduced in each. For past and current versions, we classify model improvements, discussing their nature and rationale, derived from rec...

We present a seamless integration of a robotics simulator and hardware implementation, in which the same code can be executed unchanged in simulation or on a physical robot. We discuss the design challenges and our resulting architecture, which seamlessly integrates V-REP, a widely used robotics simulator, with iRobot Create 2 robots. Our approach is easy to set up, simple to understand, yet po...

The CRUD matrix is an excellent technique to model processes and data and how they interact with respect to creation, reading, updating, and deleting of the data. In this paper, we extend the CRUD matrix to a CRUD Security Cube where we propose incorporating a third dimension on the matrix to include individuals or groups and the rights and security privileges granted to each. This additional d...

This research proposes an architecture for reusable components aimed at bridging the object-oriented and the relational paradigms. The component, referred to here as Business Tier Component, provides a single wide range static interface able to manage a set of Create, Read, Update and Delete (CRUD) expressions, deployed at runtime and of any complexity, on behalf of application tiers. The only ...

A relay channel consists of an input x,, a relay output yl, a cJmnnel output y, and a relay sender x2 (whose trasmission is allowed to depend on the past symbols y,). l%e dependence of the received symbols upm the inpnts is given by p(y,y,lx,,x,). ‘l%e channel is assumed to be memoryless. In this paper the following capacity theorems are proved. 1) Ifyisadegnukdformofy,,the.n C-m=Phx2) min(l(X,...

This paper presents two solutions within a Bayesian framework to the problem of selecting a subset of populations of breaking strengths from a specified finite set of them that will contain the one with the smallest or (equivalently from a mathematical perspective) largest α quantile. Independent random samples from each are assumed. Estimates of these quantiles are then used to specify conserv...

In social science, everything is somewhat correlated with everything (“crud factor”), so whether H0 is refuted depends solely on statistical power. In psychology, the directional counternull of interest, H*, is not equivalent to the substantive theory T, there being many plausible alternative explanations of a mere directional trend (weak use of significance tests). Testing against a predicted ...

This case comprises several primitive tasks that can be solved straight away with most transformation tools. The aim is to cover the most important kinds of primitive operations on models, i.e. create, read, update and delete (CRUD). To this end, tasks such as a constant transformation, a model-to-text transformation, a very basic migration transformation or diverse simple queries or in-place o...

Multiple independent robots sharing the workspace need to be able to navigate to their goals while avoiding collisions with each other. In this paper, we describe and evaluate two algorithms for smooth and collision-free navigation for multiple independent differential-drive robots. We extend reciprocal collision avoidance algorithms based on velocity obstacles and on acceleration-velocity obst...

a r t i c l e i n f o Keywords: Closed-loop supply chain Economic sustainability Environmental sustainability System dynamics Product design End of life returns We develop an end-to-end model of a closed-loop supply chain (CLSC), and identify the systemic decision making required for economic viability of participants in this chain. Economic viability is a key ingredient for environmentally sus...