A Model Driven Approach to Model Transformations

The OMG's Model Driven Architecture (MDA) initiative has been the focus of much attention in both academia and industry, due to its promise of more rapid and consistent software development through the increased use of models. In order for MDA to reach its full potential, the ability to manipulate and transform models { most obviously from the Platform Independent Model (PIM) to the Platform Specific Models (PSM) { is vital. Recognizing this need, the OMG issued a Request For Proposals (RFP) largely concerned with finding a suitable mechanism for trans- forming models. This paper outlines the relevant background material, summarizes the approach taken by the QVT-Partners (to whom the authors belong), presents a non-trivial example using the QVT-Partners approach, and finally sketches out what the future holds for model transformations

Service-oriented design of environmental information systems

Service-orientation has an increasing impact upon the design process and the architecture of environmental information systems. This thesis specifies the SERVUS design methodology for geospatial applications based upon standards of the Open Geospatial Consortium. SERVUS guides the system architect to rephrase use case requirements as a network of semantically-annotated requested resources and to iteratively match them with offered resources that mirror the capabilities of existing services

Metodología dirigida por modelos para las pruebas de un sistema distribuido multiagente de fabricación

Las presiones del mercado han empujado a las empresas de fabricación a reducir costes a la vez que mejoran sus productos, especializándose en las actividades sobre las que pueden añadir valor y colaborando con especialistas de las otras áreas para el resto. Estos sistemas distribuidos de fabricación conllevan nuevos retos, dado que es difícil integrar los distintos sistemas de información y organizarlos de forma coherente. Esto ha llevado a los investigadores a proponer una variedad de abstracciones, arquitecturas y especificaciones que tratan de atacar esta complejidad. Entre ellas, los sistemas de fabricación holónicos han recibido una atención especial: ven las empresas como redes de holones, entidades que a la vez están formados y forman parte de varios otros holones. Hasta ahora, los holones se han implementado para control de fabricación como agentes inteligentes autoconscientes, pero su curva de aprendizaje y las dificultades a la hora de integrarlos con sistemas tradicionales han dificultado su adopción en la industria. Por otro lado, su comportamiento emergente puede que no sea deseable si se necesita que las tareas cumplan ciertas garantías, como ocurren en las relaciones de negocio a negocio o de negocio a cliente y en las operaciones de alto nivel de gestión de planta. Esta tesis propone una visión más flexible del concepto de holón, permitiendo que se sitúe en un espectro más amplio de niveles de inteligencia, y defiende que sea mejor implementar los holones de negocio como servicios, componentes software que pueden ser reutilizados a través de tecnologías estándar desde cualquier parte de la organización. Estos servicios suelen organizarse como catálogos coherentes, conocidos como Arquitecturas Orientadas a Servicios (‘Service Oriented Architectures’ o SOA). Una iniciativa SOA exitosa puede reportar importantes beneficios, pero no es una tarea trivial. Por este motivo, se han propuesto muchas metodologías SOA en la literatura, pero ninguna de ellas cubre explícitamente la necesidad de probar los servicios. Considerando que la meta de las SOA es incrementar la reutilización del software en la organización, es una carencia importante: tener servicios de alta calidad es crucial para una SOA exitosa. Por este motivo, el objetivo principal de la presente Tesis es definir una metodología extendida que ayude a los usuarios a probar los servicios que implementan a sus holones de negocio. Tras considerar las opciones disponibles, se tomó la metodología dirigida por modelos SODM como punto de partida y se reescribió en su mayor parte con el framework Epsilon de código abierto, permitiendo a los usuarios que modelen su conocimiento parcial sobre el rendimiento esperado de los servicios. Este conocimiento parcial es aprovechado por varios nuevos algoritmos de inferencia de requisitos de rendimiento, que extraen los requisitos específicos de cada servicio. Aunque el algoritmo de inferencia de peticiones por segundo es sencillo, el algoritmo de inferencia de tiempos límite pasó por numerosas revisiones hasta obtener el nivel deseado de funcionalidad y rendimiento. Tras una primera formulación basada en programación lineal, se reemplazó con un algoritmo sencillo ad-hoc que recorría el grafo y después con un algoritmo incremental mucho más rápido y avanzado. El algoritmo incremental produce resultados equivalentes y tarda mucho menos, incluso con modelos grandes. Para sacar más partidos de los modelos, esta Tesis también propone un enfoque general para generar artefactos de prueba para múltiples tecnologías a partir de los modelos anotados por los algoritmos. Para evaluar la viabilidad de este enfoque, se implementó para dos posibles usos: reutilizar pruebas unitarias escritas en Java como pruebas de rendimiento, y generar proyectos completos de prueba de rendimiento usando el framework The Grinder para cualquier Servicio Web que esté descrito usando el estándar Web Services Description Language. La metodología completa es finalmente aplicada con éxito a un caso de estudio basado en un área de fabricación de losas cerámicas rectificadas de un grupo de empresas español. En este caso de estudio se parte de una descripción de alto nivel del negocio y se termina con la implementación de parte de uno de los holones y la generación de pruebas de rendimiento para uno de sus Servicios Web. Con su soporte para tanto diseñar como implementar pruebas de rendimiento de los servicios, se puede concluir que SODM+T ayuda a que los usuarios tengan una mayor confianza en sus implementaciones de los holones de negocio observados en sus empresas

Air Force Institute of Technology Research Report 2013

This report summarizes the research activities of the Air Force Institute of Technology’s Graduate School of Engineering and Management. It describes research interests and faculty expertise; lists student theses/dissertations; identifies research sponsors and contributions; and outlines the procedures for contacting the school. Included in the report are: faculty publications, conference presentations, consultations, and funded research projects. Research was conducted in the areas of Aeronautical and Astronautical Engineering, Electrical Engineering and Electro-Optics, Computer Engineering and Computer Science, Systems Engineering and Management, Operational Sciences, Mathematics, Statistics and Engineering Physics

Early Development of Total Hip Replacement

Annotated and edited transcript of a Witness Seminar held on 14 March 2006. Introduction by Dr Francis Neary and Professor John Pickstone. First published by the Wellcome Trust Centre for the History of Medicine at UCL, 2007. ©The Trustee of the Wellcome Trust, London, 2007. All volumes are freely available online at: www.history.qmul.ac.uk/research/modbiomed/wellcome_witnesses/Annotated and edited transcript of a Witness Seminar held on 14 March 2006. Introduction by Dr Francis Neary and Professor John Pickstone,Annotated and edited transcript of a Witness Seminar held on 14 March 2006. Introduction by Dr Francis Neary and Professor John Pickstone,Annotated and edited transcript of a Witness Seminar held on 14 March 2006. Introduction by Dr Francis Neary and Professor John Pickstone,Annotated and edited transcript of a Witness Seminar held on 14 March 2006. Introduction by Dr Francis Neary and Professor John Pickstone,Annotated and edited transcript of a Witness Seminar held on 14 March 2006. Introduction by Dr Francis Neary and Professor John Pickstone,Annotated and edited transcript of a Witness Seminar held on 14 March 2006. Introduction by Dr Francis Neary and Professor John Pickstone,Total hip replacement effectively began in the UK in 1938 and has led to widely used, commercially successful, mass-produced devices that relieve pain for an ever increasing period. The Witness Seminar, chaired by Mr Alan Lettin, discussed the remarkable postwar collaboration of British surgeons, engineers and manufacturing firms in the development of efficient alloys, surgical procedures, instruments and the implementation of clean, bacteria-reduced air in enclosed operating theatres, as illustrated by successful prostheses and techniques developed in Norwich (Kenneth McKee), Wrightington (Sir John Charnley), Stanmore (John Scales), Redhill (Peter Ring), and Exeter (Robin Ling and Clive Lee). Early failures - such as loosening from infection, osteolysis, and wear debris - stimulated the search for improved materials and fixation methods, as well as the addition of antibiotics to bone cement to reduce infection. National hip registers that record the survival of different implants were adopted in Europe in the 1970s (2003 in the UK), and they pinpoint the successful devices, as measured by survival and low rates of revision. An introduction to the volume by Dr Francis Neary and Professor John Pickstone, and appendices on materials by Professor Alan Swanson; on international standards by Mr Victor Wheble; and of details of selected prosthesis supplement the transcript. Contributors include: Lady Charnley, the late Mr Harry Craven, Mr Graham Deane, Professor Duncan Dowson, Mr Reg Elson, Dr Alex Faulkner, Professor Michael Freeman, Mrs Phyllis Hampson, Mr Kevin Hardinge, Mr Mike Heywood-Waddington, Mr John Kirkup, Mr Krishna (Ravi) Kunzru, Miss Betty Lee, Mr Alan Lettin (chair), Mr John Older, Mr John Read, Mr Peter Ring, Mr Ian Stephen, Mr Malcolm Swann, Professor Alan Swanson, Sir Rodney Sweetnam, Mr Keith Tucker, Mr Victor Wheble and Professor Michael Wroblewski. Reynolds L A, Tansey E M. (eds) (2007) Early development of total hip replacement, Wellcome Witnesses to Twentieth Century Medicine, vol. 29. London: The Wellcome Trust Centre for the History of Medicine at UCL.The Wellcome Trust Centre for the History of Medicine at UCL is funded by the Wellcome Trust, which is a registered charity, no. 210183