With prototype-based languages, concretization and abstraction are unified into a single concept a prototype. Prototype-based languages are based on a simple set of principles: object-centered representation, dynamic reshape of objects, cloning and possibly message delegation. However, they all differ in the interpretation and combination of these principles. Therefore there is a need to compar...

Program analysis using abstract interpretation has been successfully applied in practice to find runtime bugs or prove software correct. Most abstract domains that are used widely rely on convexity for their scalability. However, the ability to express non-convex properties is sometimes required in order to achieve a precise analysis of some numerical properties. This work combines already know...

This article discusses the ontological treatment of diseases in the framework of the Ontology for General Medical Science (OGMS). We aim to provide a definition of a disease that is more friendly to clinicians and propose a corresponding model of diseases. We define a disease as a dependent continuant constituted of one or more causal chains of clinical disorders. To clarify the ontological mea...

Exact computations being in general not tractable for computers, they are approximated by floating-point computations. This is the source of many errors in numerical programs. Because the floatingpoint arithmetic is not intuitive, these errors are very difficult to detect and to correct by hand and we consider the problem of automatically synthesizing accurate formulas. We consider that a progr...

UML is undisputedly the most efficient and effective tool of information systems analysis and design. Abstraction as paradigm, represent the basis of an object-oriented approach to development of information system and software solutions. No matter what background team members have (i.e. information technology or problem domain experts), the capability of abstraction is of crucial importance, e...

TestEra is a novel framework for automated testing of Java programs. We have built TestEra upon Alloy, a lightweight first-order relational language, and the Alloy Analyzer, a fully automatic simulation and checking tool. Checking a Java program with TestEra involves modeling the correctness criteria for the program in Alloy and specifying abstraction and concretization translations between ins...

The evolution of self-adaptive systems poses the problems of their coherence and the resume of the systems’ functioning taking into account the accomplished work. While they are the base of the self-adaptive systems, these two aspects are not considered in the related works. In this paper, we propose a methodological based approach. In such approach, the adaptive system’s evolution is thought a...

We present TestEra, a novel framework for automated testing of Java programs. TestEra automatically generates all non-isomorphic test cases, within a given input size, and evaluates correctness criteria. As an enabling technology, TestEra uses Alloy, a first-order relational language, and the Alloy Analyzer. Checking a program with TestEra involves modeling the correctness criteria for the prog...

We build on the established work on modal transition systems and probabilistic speci-cations to sketch a framework in which system descriptions, abstraction, and nite-state model checking all have a uniform presentation across various levels of qualitative and quantitative views together with mediating abstraction and concretization maps. We choose labeled Kripke structures, modal transition sy...

Today’s dynamic business environment demands from companies variable and flexible processes. Rather than imposing a single fixed process, process models must account for the variability of real-world business problems. Many companies are hierarchically organized with top-down decision making processes. On the one hand, company policies and legal regulations often require compliance with standar...