{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:26:04Z","timestamp":1725805564099},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116525"},{"type":"electronic","value":"9783319116532"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11653-2_25","type":"book-chapter","created":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T07:30:44Z","timestamp":1411111844000},"page":"403-419","source":"Crossref","is-referenced-by-count":4,"title":["Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain"],"prefix":"10.1007","author":[{"given":"Luigi","family":"Andolfato","sequence":"first","affiliation":[]},{"given":"Robert","family":"Karban","sequence":"additional","affiliation":[]},{"given":"Marcus","family":"Schilling","sequence":"additional","affiliation":[]},{"given":"Heiko","family":"Sommer","sequence":"additional","affiliation":[]},{"given":"Michele","family":"Zamparelli","sequence":"additional","affiliation":[]},{"given":"Gianluca","family":"Chiozzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Andolfato, L., Karban, R.: Workstation Software Framework. In: Proceedings of the Society of Photo-Optical Instrumentation Engineers, vol.\u00a07019, pp. 70191X-1 (2008)","DOI":"10.1117\/12.787385"},{"key":"25_CR2","unstructured":"Andolfato, L., Chiozzi, G., Migliorini, N., Morales, C.: A platform independent framework for statecharts code generation. In: Proceedings of the 13th International Conference on Accelerator and Large Experimental Physics Control Systems (2011)"},{"key":"25_CR3","unstructured":"Chiozzi, G., Andolfato, L., Karban, R., Tejeda, A.: A UML profile for code generation of component based distributed systems. In: Proceedings of the 13th International Conference on Accelerator and Large Experimental Physics Control Systems (2011)"},{"key":"25_CR4","unstructured":"World Wide Web Consortium: State Chart XML (SCXML) Working Draft Published (December 6, 2012)"},{"key":"25_CR5","unstructured":"Apache Commons SCXML, \n                    \n                      http:\/\/commons.apache.org\/proper\/commons-scxml"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Mehlitz, P.: Trust Your Model - Verifying Aerospace System Models with Java Pathfinder. In: Proc. IEEE Aerospace Conf. 2008, Big Sky, MT, March 1-8 (2008)","DOI":"10.1109\/AERO.2008.4526573"},{"issue":"03","key":"25_CR7","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/1467247.1467274","volume":"52","author":"D. Harel","year":"2009","unstructured":"Harel, D.: Statecharts in the Making: A Personal Account. Communications of the ACM\u00a052(03), 6 (2009)","journal-title":"Communications of the ACM"},{"key":"25_CR8","unstructured":"Wagstaff, K.L., Benowitz, E., Byrne, D.J., Peters, K., Watney, G.: Automatic code generation for instrument flight software. In: Proceedings of the 9th International Symposium on Artificial Intelligence, Robotics, and Automation in Space (2008)"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Crane, M.L., Dingel, J.: UML vs. Classical vs. Rhapsody statecharts: Not all models are created equal. Software and Systems Modelling\u00a06(4) (2007)","DOI":"10.1007\/s10270-006-0042-8"},{"issue":"3","key":"25_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"25_CR11","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software, pp. 305\u2013313. Addison-Wesley (2002)"},{"key":"25_CR12","unstructured":"Eclipse Modeling Framework: Modeling Workflow Engine, \n                    \n                      https:\/\/projects.eclipse.org\/projects\/modeling.emf.mwe"},{"key":"25_CR13","unstructured":"Klatt, B.: Xpand: A Closer Look at the model2text Transformation Language. In: 12th European Conference on Software Maintenance and Reengineering (2008)"},{"key":"25_CR14","unstructured":"Eclipse Modeling Project, \n                    \n                      http:\/\/www.eclipse.org\/modeling"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Ingham, M.D., Rasmussen, R.D., Bennett, M.B., Moncada, A.C.: Engineering Complex Embedded Systems with State Analysis and the Mission Data System. AIAA Journal of Areospace Computing Information and Communication\u00a02(12) (2005)","DOI":"10.2514\/6.2004-6518"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Wirenstrand, K.: VLT telescope control software: status, development, and lessons learned. In: Proc. SPIE 2003, vol.\u00a04837, p. 965 (2003)","DOI":"10.1117\/12.461138"},{"key":"25_CR17","unstructured":"Casasola, V., Brand, J.: The exciting future of (sub-)millimeter interferometry: ALMA. In: Proceedings of the 54th National Meeting of the Italian Astronomical Society (2010)"},{"key":"25_CR18","unstructured":"Model Based Document Generator, \n                    \n                      http:\/\/sourceforge.net\/projects\/mbse4md\/?source=directory"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Bely, P.Y.: The design and construction of large optical telescopes. Springer (2003)","DOI":"10.1007\/b97612"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Harel, D.: On visual formalism. Communications of the ACM\u00a031(5) (1988)","DOI":"10.1145\/42411.42414"},{"key":"25_CR21","unstructured":"Gibson, C., Karban, R., Andolfato, L., Day, J.: Formal Validation of Fault Management Design Solutions. Presented at the Java Pathfinder Workshop 2013 (2013)"},{"key":"25_CR22","unstructured":"Haase, A., Voelter, M., Efftinge, S., Kolb, B.: Introduction to openArchitectureWare 4.1.2. In: Model-Driven Development Tool Implementers Forum (MDD-TIF 2007) (co-located with TOOLS 2007) (2007)"},{"key":"25_CR23","unstructured":"Jenkins, J., Rouquette, N.: Semantically Rigorous Systems Engineering Using SysML and OWL. In: 5th International Workshop on Systems & Concurrent Engineering for Space Applications (2012)"},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Karban, R., Zamparelli, M., Bauvier, B., Chiozzi, G.: Three years of MBSE for a large scientific programme: Report from the Trenches of Telescope Modelling. In: Proceeding 22nd Annual INCOSE International Symposium (2012)","DOI":"10.1002\/j.2334-5837.2012.tb01421.x"},{"key":"25_CR25","unstructured":"Walsh, N.: DocBook 5: The Definitive Guide. O\u2019Reilly Media (April 2010)"},{"key":"25_CR26","unstructured":"Frankel, D.: Model Driven Architecture \u2013 Applying MDA to Enterprise Computing, p. 191. OMG Press (2003)"},{"key":"25_CR27","unstructured":"Unified Modeling Language (UML), \n                    \n                      http:\/\/www.omg.org\/spec\/UML"},{"key":"25_CR28","unstructured":"System Modeling Language (SysML), \n                    \n                      http:\/\/www.omgsysml.org"},{"key":"25_CR29","unstructured":"MagicDraw, \n                    \n                      http:\/\/www.nomagic.com\/products\/magicdraw.html"},{"key":"25_CR30","unstructured":"Cameo Simulation Toolkit, \n                    \n                      http:\/\/www.nomagic.com\/products\/magicdraw-addons\/cameo-simulation-toolkit.html"},{"key":"25_CR31","unstructured":"RabbitMQ, \n                    \n                      http:\/\/www.rabbitmq.com"},{"key":"25_CR32","unstructured":"Java Pathfinder, \n                    \n                      http:\/\/babelfish.arc.nasa.gov\/trac\/jpf"},{"key":"25_CR33","unstructured":"OWL 2 Web Ontology Language, \n                    \n                      http:\/\/www.w3.org\/TR\/owl2-overview"},{"key":"25_CR34","doi-asserted-by":"crossref","unstructured":"Fedrigo, E., Donaldson, R.: SPARTA: The ESO standard platform for adaptive optics real time applications. In: Proc. SPIE, vol.\u00a06272 (2006)","DOI":"10.1117\/12.671919"},{"key":"25_CR35","unstructured":"Semantics of A Foundational Subset for Executable UML models (FUML), \n                    \n                      http:\/\/www.omg.org\/spec\/FUML"},{"key":"25_CR36","doi-asserted-by":"crossref","unstructured":"Chiozzi, G., Duhoux, P., Karban, R.: VLTI Auxiliary telescopes: A full Object Oriented approach. In: Proc. SPIE 2000, vol.\u00a04009-03, p. 5 (2000)","DOI":"10.1117\/12.388399"},{"key":"25_CR37","unstructured":"Model Interchange Working Group (MIWG), \n                    \n                      http:\/\/www.omgwiki.org\/model-interchange\/doku.php"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11653-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T18:54:02Z","timestamp":1558983242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11653-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319116525","9783319116532"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11653-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}