Encontrados 12 documentos, a visualizar página 1 de 2
The role of coordination analysis in software integration projects
F. Rodrigues, Nuno; Oliveira, Nuno; Barbosa, Luís S.What sort of component coordination strategies emerge in a software integration process? How can such strategies be discovered and further analysed? How close are they to the coordination component of the envisaged architectural model which was supposed to guide the integration process? This paper introduces a framework in which such questions can be discussed and illustrates its use by describing part of a rea...
SHACC: a functional prototyper for a component calculus
Martins, André; Barbosa, Luís S.; F. Rodrigues, NunoOver the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing
Slicing for architectural analysis
F. Rodrigues, Nuno; Barbosa, Luís S.Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactorin...
COORDINSPECTOR: a tool for extracting coordination data from legacy code
F. Rodrigues, Nuno; Barbosa, Luís S.More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques t...
On the discovery of business processes orchestration patterns
F. Rodrigues, Nuno; Barbosa, Luís S.COORDINSPECTOR is a Software Tool aiming at extracting the coordination layer of a software system. Such a reverse engineering process provides a clear view of the actually invoked services as well as the logic behind such invocations. The analysis process is based on program slicing techniques and the generation of, System Dependence Graphs and Coordination Dependence Graphs. The tool analyzes Common Intermedi...
Extracting and verifying coordination models from source code
F. Rodrigues, Nuno; Barbosa, Luís S.Current software development relies increasingly on non-trivial coordination logic for com- bining autonomous services often running on di erent platforms. As a rule, however, in typical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identi cation becomes a major methodological (and technical) problem which cannot be...
Higher-order lazy functional slicing
F. Rodrigues, Nuno; Barbosa, Luís S.Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program s...
Component identification through program slicing
F. Rodrigues, Nuno; Barbosa, Luís S.This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods
Slicing functional programs by calculation
F. Rodrigues, Nuno; Barbosa, Luís S.Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure repr...
Architectural prototyping: from CCS to .Net
F. Rodrigues, Nuno; Barbosa, Luís S.Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||