{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T20:10:08Z","timestamp":1746389408352,"version":"3.40.4"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319117423"},{"type":"electronic","value":"9783319117430"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11743-0_20","type":"book-chapter","created":{"date-parts":[[2014,9,24]],"date-time":"2014-09-24T05:40:07Z","timestamp":1411537207000},"page":"287-303","source":"Crossref","is-referenced-by-count":5,"title":["Formal Technical Process Specification and Verification for Automated Production Systems"],"prefix":"10.1007","author":[{"given":"Georg","family":"Hackenberg","sequence":"first","affiliation":[]},{"given":"Alarico","family":"Campetelli","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Legat","sequence":"additional","affiliation":[]},{"given":"Jakob","family":"Mund","sequence":"additional","affiliation":[]},{"given":"Sabine","family":"Teufl","sequence":"additional","affiliation":[]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-44685-0_10","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Attie","year":"2001","unstructured":"Attie, P., Lynch, N.: Dynamic input\/output automata: A formal model for dynamic systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 137\u2013151. Springer, Heidelberg (2001)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/978-3-540-30482-1_36","volume-title":"Formal Methods and Software Engineering","author":"M. Balser","year":"2004","unstructured":"Balser, M., B\u00e4umler, S., Knapp, A., Reif, W., Thums, A.: Interactive Verification of UML State Machines. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 434\u2013448. Springer, Heidelberg (2004)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Bastos, R., Ruiz, D.: Extending uml activity diagram for workflow modeling in production systems. In: Proceedings of the 35th Annual Hawaii International Conference on System Sciences, HICSS, pp. 3786\u20133795 (January 2002)","DOI":"10.1109\/HICSS.2002.994510"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for ltl and tltl. ACM Trans. Softw. Eng. Methodol. 20(4), 14:1\u201314:64 (2011)","DOI":"10.1145\/2000799.2000800"},{"key":"20_CR5","unstructured":"Becker, S., Brenner, C., Dziwok, S., Gewering, T., Heinzemann, C., Pohlmann, U., Priesterjahn, C., Sch\u00e4fer, W., Suck, J., Sudmann, O., Tichy, M.: The mechatronicuml method - process, syntax, and semantics. Tech. Rep. tr-ri-12-318, Software Engineering Group, Heinz Nixdorf Institute University of Paderborn (2012)"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-24349-3_1","volume-title":"Advances in Real-Time Systems","author":"M. Broy","year":"2012","unstructured":"Broy, M.: System behaviour models with discrete and dense time. In: Chakraborty, S., Ebersp\u00e4cher, J. (eds.) Advances in Real-Time Systems, pp. 3\u201325. Springer, Heidelberg (2012)"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Broy, M., St\u00f8len, K.: Specification and development of interactive systems: Focus on streams, interfaces and refinement. Springer (2001)","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Campetelli, A.: Dynamic Sampling for FOCUS Hybrid Components. In: \u00d6lveczky, P.C., Artho, C. (eds.) 3rd International Conference on Circuits, System and Simulation (ICCSS 2013), vol.\u00a03(5), pp. 402\u2013406 (2013); International Journal of Modeling and Optimization","DOI":"10.7763\/IJMO.2013.V3.308"},{"key":"20_CR9","unstructured":"Campetelli, A., H\u00f6lzl, F., Neubeck, P.: User-friendly Model Checking Integration in Model-based Development. In: 24th International Conference on Computer Applications in Industry and Engineering (CAINE 2011). The International Society for Computers and Their Applications (2011)"},{"issue":"6","key":"20_CR10","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1016\/j.engappai.2008.10.020","volume":"22","author":"G. C\u00e2ndido","year":"2009","unstructured":"C\u00e2ndido, G., Barata, J., Colombo, A.W., Jammes, F.: SOA in reconfigurable supply chains: A research roadmap. Engineering Applications of Artificial Intelligence\u00a022(6), 939\u2013949 (2009)","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Christiansen, L., Fay, A., Opgenoorth, B., Neidig, J.: Improved diagnosis by combining structural and process knowledge. In: 2011 IEEE 16th Conference on Emerging Technologies Factory Automation (ETFA), pp. 1\u20138 (September 2011)","DOI":"10.1109\/ETFA.2011.6059056"},{"issue":"1","key":"20_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"issue":"12","key":"20_CR13","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R.M. Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Inf. Softw. Technol.\u00a050(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"20_CR14","unstructured":"Hummel, B.: Integrated Behavior Modeling of Space-Intensive Mechatronic Systems. Dissertation, Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen (2011)"},{"key":"20_CR15","unstructured":"Institute of Automation and Information Systems, Technische Universit\u00e4t M\u00fcnchen: The Pick and Place Unit Demonstrator for Evolution in Industrial Plant Automation (2014), http:\/\/www.ppu-demonstrator.org"},{"key":"20_CR16","unstructured":"International Electrotechnical Commission: IEC Standard 61131-3 (02\/13): Programmable controllers \u2013 part 3: Programming languages (2013), http:\/\/webstore.iec.ch\/webstore\/webstore.nsf\/Artnum_PK\/47556"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Kernschmidt, K., Vogel-Heuser, B.: An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering. In: IEEE International Conference on Automation Science and Engineering (CASE), Madison, WI, USA, pp. 1113\u20131118 (2013)","DOI":"10.1109\/CoASE.2013.6654030"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Kohn, A., Reif, J., Wolfenstetter, T., Kernschmidt, K., Goswami, S., Krcmar, H., Brodbeck, F., Vogel-Heuser, B., Lindemann, U.: Improving common model understanding within collaborative engineering design research projects. In: Chakrabarti, A., Prakash, R.V. (eds.) 4th International Conference on Research into Design. LNME, pp. 643\u2013654. Springer India (2013)","DOI":"10.1007\/978-81-322-1050-4_51"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Li, F., Bayrak, G., Kernschmidt, K., Vogel-Heuser, B.: Specification of the requirements to support information technology-cycles in the machine and plant manufacturing industry. In: 14th IFAC Symposium on Information Control Problems in Manufacturing, pp. 1077\u20131082 (2012)","DOI":"10.3182\/20120523-3-RO-2023.00146"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Loskyll, M., Schlick, J., Hodek, S., Ollinger, L., Gerber, T., Pirvu, B.: Semantic service discovery and orchestration for manufacturing processes. In: 2011 IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA), pp. 1\u20138. IEEE (2011)","DOI":"10.1109\/ETFA.2011.6058988"},{"key":"20_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O. Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol.\u00a03253, pp. 152\u2013166. Springer, Heidelberg (2004)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Schinz, I., Toben, T., Mrugalla, C., Westphal, B.: The Rhapsody UML Verification Environment. In: 2nd International Conference on Software Engineering and Formal Methods, pp. 174\u2013183. IEEE Computer Society (2004)","DOI":"10.1109\/SEFM.2004.1347518"},{"issue":"3","key":"20_CR23","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/j.rcim.2006.02.009","volume":"23","author":"W. Shen","year":"2007","unstructured":"Shen, W., Hao, Q., Wang, S., Li, Y., Ghenniwa, H.: An agent-based service-oriented integration architecture for collaborative intelligent manufacturing. Robotics and Computer-Integrated Manufacturing\u00a023(3), 315\u2013325 (2007)","journal-title":"Robotics and Computer-Integrated Manufacturing"},{"key":"20_CR24","unstructured":"Verein Deutscher Ingenieure: VDI\/VDE 3682 (09\/05): Formalised process description (2005), https:\/\/www.vdi.de\/nc\/en\/richtlinie\/vdivde_3682-formalisierte_prozessbeschreibungen\/"},{"key":"20_CR25","unstructured":"Vogel-Heuser, B., Legat, C., Folmer, J., Feldmann, S.: Researching evolution in industrial plant automation: Scenarios and documentation of the pick and place unit. Technical Report TUM-AIS-TR-01-14-02, Institute of Automation and Information Systems, Technische Universit\u00e4t M\u00fcnchen (2014), https:\/\/mediatum.ub.tum.de\/node?id=1208973"},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"Witsch, D., Vogel-Heuser, B.: PLC-statecharts: An approach to integrate UML-statecharts in open-loop control engineering \u2013 aspects on behavioral semantics and model-checking. In: 18th IFAC World Congress, pp. 7866\u20137872 (2011)","DOI":"10.3182\/20110828-6-IT-1002.02207"},{"key":"20_CR27","unstructured":"Zor, S., Leymann, F., Schumm, D.: A Proposal of BPMN Extensions for the Manufacturing Domain. In: Proceedings of the 44th CIRP Conference on Manufacturing Systems (ICMS 2011), Madison, WI, USA, pp. 1\u20136 (January 2011)"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling: Models and Reusability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11743-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T19:52:43Z","timestamp":1746388363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11743-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319117423","9783319117430"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11743-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}