AToM3: A Tool for Multi-formalism and Meta-modelling

The final publication is available at Springer via http://dx.doi.org/10.1007/3-540-45923-5_12Proceedings of 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002This article introduces the combined use of multi-formalism modelling and meta-modelling to facilitate computer assisted modelling of complex systems. The approach allows one to model different parts of a system using different formalisms. Models can be automatically converted between formalisms thanks to information found in a Formalism Transformation Graph (FTG), proposed by the authors. To aid in the automatic generation of multi-formalism modelling tools, formalisms are modelled in their own right (at a meta-level) within an appropriate formalism. This has been implemented in the interactive tool AToM3. This tool is used to describe formalisms commonly used in the simulation of dynamical systems, as well as to generate custom tools to process (create, edit, transform, simulate, optimise, ...) models expressed in the corresponding formalism. AToM3 relies on graph rewriting techniques and graph grammars to perform the transformations between formalisms as well as for other tasks, such as code generation and operational semantics specification.This paper has been partially sponsored by the Spanish Interdepartmental Commission of Science and Technology (CICYT), project number TEL1999-0181. Prof.Vangheluwe gratefully acknowledges partial support for this work by a National Sciences and Engineering Research Council of Canada (NSERC) Individual Research Grant

Multiparty specification

This paper examines a formal model of how specifications can be constructed from multiple viewpoints and presents some tools to support this approach. The development of specifications is presented as a dialogue in which the viewpoints negotiate. establish responsibilities and cooperatively construct a specification. The model is illustrated by means of some small examples

Seminário - Os 50 Anos da Pós-graduação no Brasil

Inauguramos esta nova seção da Revista Meta: Avaliação, com o registro dos textos base das apresentações feitas por ocasião do Seminário Os 50 anos da Pós-Graduação no Brasil, realizado em 16 de dezembro de 2016, em comemoração à aprovação do Parecer no 977, de 1965, marco conceitual e regulatório da Pós-Graduação brasileira. O Seminário foi promovido pelo Professor Carlos Alberto Serpa de Oliveira, Presidente da Fundação Cesgranrio e da Academia Brasileira de Educação. Ocorreu em 16 de dezembro de 2015, nas dependências do Curso de Mestrado Profissional em Avaliação, no Rio de Janeiro. Contou, na Comissão Organizadora, com a participação das Professoras Maria Judith Sucupira da Costa Lins e Ligia Gomes Elliot, de Nilma Gonçalves Cavalcante, Secretária do Mestrado e egressa do Curso, Valmir Marques de Paiva, Mestrando do Curso, além do apoio da Fundação Cesgranrio. A importância histórica do distinto Relator do Parecer no 977, Professor Newton Buarque Sucupira, seu proeminente papel na Educação do país como pensador, político e ainda articulador da Pós-Graduação, entre outros relevantes cargos desempenhados ao longo de sua vida, e também a sua estreita relação com a criação da Fundação Cesgranrio, vão ser destacados nas apresentações daqueles que tiveram o privilégio de serem seus colegas de trabalho, alunos, orientandos e seguidores

Impact of the Programa Mais médicos (more doctors Programme) on primary care doctor supply and amenable mortality: quasi-experimental study of 5565 Brazilian municipalities

Background Investing in human resources for health (HRH) is vital for achieving universal health care and the Sustainable Development Goals. The Programa Mais Médicos (PMM) (More Doctors Programme) provided 17,000 doctors, predominantly from Cuba, to work in Brazilian primary care. This study assesses whether PMM doctor allocation to municipalities was consistent with programme criteria and associated impacts on amenable mortality. Methods Difference-in-differences regression analysis, exploiting variation in PMM introduction across 5565 municipalities over the period 2008–2017, was employed to examine programme impacts on doctor density and mortality amenable to healthcare. Heterogeneity in effects was explored with respect to doctor allocation criteria and municipal doctor density prior to PMM introduction. Results After starting in 2013, PMM was associated with an increase in PMM-contracted primary care doctors of 15.1 per 100,000 population. However, largescale substitution of existing primary care doctors resulting in a net increase of only 5.7 per 100,000. Increases in both PMM and total primary care doctors were lower in priority municipalities due to lower allocation of PMM doctors and greater substitution effects. The PMM led to amenable mortality reductions of − 1.06 per 100,000 (95%CI: − 1.78 to − 0.34) annually – with greater benefits in municipalities prioritised for doctor allocation and where doctor density was low before programme implementation. Conclusions PMM potential health benefits were undermined due to widespread allocation of doctors to non-priority areas and local substitution effects. Policies seeking to strengthen HRH should develop and implement needs-based criteria for resource allocation