We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workflow graphs that may contain inclusive OR gateways and define a symbolic execution for them that runs in quadratic time. The result allows us to decide in quadratic time, for any pair of control-flow edges or tasks of the workflo...

In this paper an overview of the application of symbolic analysis and computer algebra is given. After an introduction requirements to symbolic analysis tools are formulated, and a short abstract of a general symbolic equation-based approximation algorithm is given. A generic symbolic analysis flow is introduced and applied to derive a nonlinear behavioral model of an integrated multiplier circ...

Classification problems are traditionally focused on uniclass samples, that is, each sample of the training and test sets has one unique label, which is the target of the classification. In many real life applications, however, this is only a rough simplification and one must consider some techniques for the more general multiclass classification problem, where each sample can have more than on...

This paper introduces a formalism to specify abstract computational structures (ACS) of mathematical domains of computation. This is a basic step of a project aiming at designing an environment for symbolic computing based upon knowledge representation and relying, when needed, on AI methods. We present a method for the speciication of these ACS's which is embedded in the framework of algebraic...

The long-standing identification problem for causal effects in graphical models has many partial results but lacks a systematic study. We show how computer algebra can be used to either prove that a causal effect can be identified, generically identified, or show that the effect is not generically identifiable. We report on the results of our computations for linear structural equation models, ...

Software Process Simulation (SPS) has been evolving in the last decades and gained researchers’ and practitioners’ interests in software process community. However, the growth of SPS seems slow down in recent years, and the evidence for its benefits to industrial practice is not commonly reported as expected. SPS still awaits a breakthrough success. This special panel aims to initiate a discuss...

This paper presents two object manipulation planning methods based on fitted stratified and semi-stratified approaches using finger relocations. The problem is discussed in the framework of a motion planning problem. The goal of the methods is to steer an object from an initial configuration to a final configuration while it is possible to reposition the fingertips on the surface in a predefine...