<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Nuno Rodrigues</style></author><author><style face="normal" font="default" size="100%">Luis Soares Barbosa</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">António Cerone</style></author><author><style face="normal" font="default" size="100%">P. Breuer</style></author><author><style face="normal" font="default" size="100%">et al</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Extracting and verifying coordination models from source code</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of FLOSS-FM/OpenCert Joint International Workshop at OOS'08</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/lsb/files/rb08b.pdf</style></url></related-urls></urls><pages><style face="normal" font="default" size="100%">64-78</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Current software development relies increasingly on non-trivial coordination logic for combining autonomous services often running on different platforms. As a rule, however, intypical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem which cannot be overestimated along any program understanding or refactoring process. Open access to source code, as granted in OSS certification, provides an opportunity for the development of methods and technologies to extract, from source code, the relevant coordination information. This paper is a step in this direction, combining a number of program analysis techniques to automatically recover coordination information from legacy code. Such information is then expressed as a model in Orc, a general purpose orc hestration language.&lt;/p&gt;
</style></abstract></record></records></xml>