The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Interprocedural slicing using dependence graphs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Integrating noninterfering versions of programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Debugging with dynamic slicing and backtracking
Software—Practice & Experience
ACM SIGPLAN Fortran Forum
Program integration for languages with procedure calls
ACM Transactions on Software Engineering and Methodology (TOSEM)
Slicing object-oriented software
Proceedings of the 18th international conference on Software engineering
A specification driven slicing process for identifying reusable functions
Journal of Software Maintenance: Research and Practice
Flow insensitive C++ pointers and polymorphism analysis and its application to slicing
ICSE '97 Proceedings of the 19th international conference on Software engineering
Coordination programming: mechanisms, models and semantics
Coordination programming: mechanisms, models and semantics
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Distributed and Parallel Databases
Software Salvaging Based on Conditions
ICSM '94 Proceedings of the International Conference on Software Maintenance
The program dependence graph in a software development environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Understanding Function Behaviors through Program Slicing
WPC '96 Proceedings of the 4th International Workshop on Program Comprehension (WPC '96)
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Slicing Objects Using System Dependence Graphs
ICSM '98 Proceedings of the International Conference on Software Maintenance
Program slices: formal, psychological, and practical investigations of an automatic program abstraction method
Context-sensitive slicing of concurrent programs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
The Common Language Infrastructure Annotated Standard
The Common Language Infrastructure Annotated Standard
Alias analysis in Java with reference-set representation for high-performance computing
International Journal of Parallel Programming
Real-time rewriting semantics of orc
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
A new foundation for control dependence and slicing for modern program structures
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
A language for task orchestration and its semantic properties
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
The role of coordination analysis in software integration projects
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Hi-index | 0.00 |
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 refactoring process. The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an Orc specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed.