Subject: [ SPI.NANO ] Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics | Manufacturing Execution System (MES) | technical information system | Unified Modelling Language (UML) | Microfactory | Unified Modelling Language (UML).
International audience; Microfactories are new specific and flexible systems to produce and assemble micrometric products. These systems are different of standard production platforms because they are confronted with a lot of constraints without influence at human-scale... View more
 S. Régnier, P. Rougeot, N. Chaillet, Forces Analysis for Micromanipulation, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, June 2005.
 E. Descourvières, D. Gendreau, P. Lutz, F. Kiefer, Specifications of technical information system dedicated to a re-organizable and reconfigurable microfactory, IWMF 2004, Shangai, China.
 CEN/ENV 40 003: Computer Integrated Manufacturing. Systems Architecture. Framework for Enterprise Modeling, CENELEC, Brussels, 1990.
 Publisher: Springer; 2 edition, CIMOSA: Open System Architecture for CIM (Paperback), book ISBN: 3540562567, Jul 9 1993.
 http://www.isa-95.com/, ANSI/ISA-95.00.- EnterpriseControl System Integration, .01-2000: Part 1: Models and terminology, .02-2001 : Part 2: Object Model Attributes, .03-2005: Part 3: Models of Manufacturing Operations.
 E. Descourvières, D. Gendreau, P. Lutz, Data representation for the control of full-automated microfactories, IWMF 2006, Besancon, France.
 M. Rakotondrabe, Y. Haddab, P. Lutz, Step Modelling of a High Precision 2DoF (Linear-Angular) microsystem, ICRA, pp. 150-156, April 2005.
 B. Selic and J. Rumbaugh, Using UML for modeling Complex Real Time Systems, Whitepaper Retional Software Corp March 1998.
 S. Pickin, JM Jezequel, Using UML sequence Diagrams as the Basis for a Formal Test description Language, Integrated Formal Methods, 4th international conference, IFM 2004, Canterbury, UK, April 4-7 2004 pp 481-500.
 M. Riechters, A precise approach to validating UML Models and OCL Constraints, PH.D Thesis University of Bremen 2001.