In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the model of a system. DFD is used in defining the requirements in a graphical view. In this paper, we focus on DFD and its rules for drawing and defining the diagrams. We then formalize these rules and develop the tool ba...

At the conceptual level, business rules are formulated from an external observation perspective according to the event-condition-action structure of rules in active database systems. Business rules express how an external observer could monitor calendar time and the database state to recognize prede ned situations and to react to them accordingly. Modeling such business rules requires concepts ...

The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances of this idea are mostly limited to static models. We propose a model-driven approach to the development of web-enabled applications, seen as reactive information systems on an HTTP-based communication platform, which covers both s...

Our work is motivated by the desire to develop methods to comprehend large vocabularies and large schemas of Object-Oriented Databases. The ability of a user of a database participating in a federated system to retrieve information from the other database systems will be greatly enhanced by acquiring a better comprehension of these systems. We are trying to develop both a theoretical paradigm a...

Recent works in artificial intelligence fairness attempt to mitigate discrimination by proposing constrained optimization programs that achieve parity for some statistic. Most assume availability of the class label, which is impractical many real-world applications such as precision medicine, actuarial analysis and recidivism prediction. Here we consider longitudinal right-censored environments...

Abstract Social distrust of AI stems in part from incomplete and faulty data sources, inappropriate redeployment data, frequently exposed errors that reflect amplify existing social cleavages failures, such as racial gender biases. Other sources include the lack “ground truth” against which to measure results learned algorithms, divergence interests between those affected designing tools, invas...

Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and conflicting information. Nevertheless, it is based on solid mathematical formulations and is not fully comprehensible by end users, who often need graphical trace and explanation mechanisms for the derived conclusions. Directed graphs (or digraphs) can assist in this affair, but their applicability is bala...

This paper presents an algorithm for recognizing symbols with textured elements in a graphical document. A region adjacency graph represents the graphical document, with the nodes being polygons and the edges the neighborhood relations between them. The textured symbols are modeled by a graph, where nodes are polygons (represented by strings) or textured areas (represented by a graph grammar wi...