Discovering coordination patterns

A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously growing layer of coordination as this will make easier not only the veri cation of such systems with respect to their original speci cations, but also maintenance, further development, testing, deployment and integration. This paper introduces a method based on several program analysis techniques (namely, dependence graphs, program slicing, and graph pattern analysis) to extract coordination logic from legacy systems source code. This process is driven by a series of pre-de ned coordination patterns and captured by a special purpose graph structure from which coordination speci cations can be generated in a number of di erent formalisms

Porque Sá Carneiro queria integrar o PSD na Internacional Socialista?

Tal como na ascensão do nazismo, não será que a social-democracia portuguesa e europeia estará a subestimar agora de novo a presente ascensão da “social” extrema-direita racista europeia ao desprezar os mais fracos, sejam estes países ou pessoas? Bem tinha razão, Francisco Sá Carneiro!; § Abstract:As the rise of Nazism, is not that the Portuguese and European social democracy is to underestimate now again this rise of "social" racist European extreme right to despise the weak, be they countries or people? Well he was right, Francisco Sá Carneiro!

Cuidado com bicos-de-pé em face da Constituição

Nas palavras de Canotilho/Moreira, o regime político português é um Estado-de-partidos, os quais foram elevados à Constituição formal. São expressão da vontade popular (10º/2). São um direito fundamental constitucional. Participar ou fundar um partido é um direito, liberdade e garantia (art. 51º). Participam nos órgãos com base no sufrágio universal e directo. Mas são mediadores pois o poder político é do Povo (art. 108º)! São os partidos que formam a vontade de órgãos como o Governo! Os partidos têm direito a apresentar candidatos aos órgãos; e têm o direito de obter mandatos de acordo com os resultados eleitorais e o método proporcional (art. 113º/5 e 152º/1)… E às Forças Armadas incumbe a defesa militar da República: art. 275º/1 CRP… § In the words of Canotilho / Moreira, the Portuguese political system is a state-parties, which were elevated to the formal Constitution. They are an expression of popular will (10/2). Is a constitutional fundamental right. Participate or found a party is a right, freedom and guarantee (art. 51). Participate in organs based on direct and universal suffrage. But are mediators because political power is the people (art. 108)! Are the parties that form the will of organs such as the Government! The parties are entitled to nominate candidates to the organs; and have the right to obtain mandates in accordance with the election results and the proportional method (Article 113/5 and 152/1.) ... and the Armed Forces have the responsibility for the military defense of the Republic: art. 275/1 CRP ...