Búsqueda avanzada

Resultados de búsqueda para Static Analysis

Constrained Dynamic Partial Order Reduction (Trabajo ya publicado)

The cornerstone of dynamic partial order reduction (DPOR) is the notion of independence that is used to decide whether each pair of concurrent events p and t are in a race and thus both p·t and t·p must be explored. We present constrained dynamic partial order reduction (CDPOR), an extension of the DPOR framework which is able to avoid redundant explorations based on the notion of conditional independence —the execution of p and t commutes only when certain independence constraints (ICs) are satisfied. ICs can be declared by the programmer, but importantly, we present a novel SMT-based approach to automatically synthesize ICs in a static pre-analysis. A unique feature of our approach is that we have succeeded to exploit ICs within the state-of-the-art DPOR algorithm, achieving exponential reductions over existing implementations.

Palabras Clave: Conditional Independence - Dynamic Partial Order Reduction - Model checking - SMT - Static Analysis

QL: Object-oriented Queries on Relational Data (Trabajo ya publicado)

Paper already published at: European Conference on Object-Oriented Programming (ECOOP) 2016 This paper describes QL, a language for querying complex, potentially recursive data structures. QL compiles to Datalog and runs on a standard relational database, yet it provides familiar-looking object-oriented features such as classes and methods, reinterpreted in logical terms: classes are logical properties describing sets of values, subclassing is implication, and virtual calls are dispatched dynamically by considering the most specific classes containing the receiver. Furthermore, types in QL are prescriptive and actively influence program evaluation rather than just describing it. In combination, these features enable the development of concise queries based on reusable libraries, which are written in a purely declarative style, yet can be efficiently executed even on very large data sets. In particular, we have used QL to implement static analyses for various programming languages, which scale to millions of lines of code.

Autores: Pavel Avgustinov / Oege de Moor / Michael Peyton Jones / Max Schäfer / 
Palabras Clave: Code-exploration - Databases - Datalog - Logic Programming - Object-oriented programming - Queries - Relational Algebra - Static Analysis

A Family of Case Studies on Business Process Mining

Business processes, most of which are automated by information systems, have become a key asset in organizations. Unfortunately, uncontrolled maintenance implies that information systems age over time until they need to be modernized. During software modernization, ageing systems cannot be entirely discarded because they gradually embed meaningful business knowledge, which is not present in any other artifact. This paper presents a technique for recovering business processes from legacy systems in order to preserve that knowledge. The technique statically analyzes source code and generates a code model, which is later transformed by pattern matching into a business process model. This technique has been validated over a two year period in several industrial modernization projects. This paper reports the results of a family of case studies that were performed to empirically validate the technique using analysis and meta-analysis techniques. The study demonstrates the effectiveness and efficiency of the technique.

Autores: Ricardo Pérez-Castillo / José A. Cruz-Lemus / Ignacio García-Rodríguez de Guzmán / Mario Piattini / 
Palabras Clave: Business process - Case Study - Meta-analysis - Static Analysis

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada