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

Inv(f)erno da Universidade de Verão

Despesa em educação é investimento constitucional: art.s 75º e 76º da Constituição. Como referiu o director da Revista Ensino Superior, nº 53, pp. 4-5, ex-presidente do Sindicato Nacional do Ensino Superior, Professor da Faculdade de Economia da Universidade de Coimbra, Doutor Paulo Peixoto, o ensino superior tornou-se em grande parte uma “máquina de triturar intelectuais”. A tentativa de impor uma mentalidade única pode provocar a destruição da génese da própria universalidade. § Spending on education is constitutional investment: Articles 75 and 76 of the Constitution. As the director of the Journal of Higher Education, # 53, pp. 4-5, former president of the National Union of Higher Education, Professor of Economics, University of Coimbra, Dr. Paulo Peixoto, higher education has become largely an 'intellectual grinding machine. "The attempt to impose a single mindset may cause the destruction of the very universality genesis.

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 ...