{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T04:47:30Z","timestamp":1747198050845,"version":"3.40.5"},"reference-count":25,"publisher":"Walter de Gruyter GmbH","issue":"3","funder":[{"name":"Federal Ministry of Education and Research (BMBF), Germany","award":["01IS20073E"],"award-info":[{"award-number":["01IS20073E"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,3,28]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>To facilitate the planning of product processes, the Formalized Process Description (FPD) model was proposed. It enables users to graphically describe the requirements of a production process. However, the FPD model has limits. To overcome these limits, this paper describes an extension of the FPD model, which is called the Extended FPD model. The objects in the Extended FPD model are assigned types and logical statements to represent their specifications. Hence, the expressive power of the FPD model is enhanced. In this paper, a formal definition of the Extended FPD model is also presented. Based on this definition, a set of rules is defined to detect the contradictions automatically in the Extended FPD model. In addition, the description of requirements by using the Extended FPD model can also enable the integration of more formal verification methods.<\/jats:p>","DOI":"10.1515\/auto-2022-0103","type":"journal-article","created":{"date-parts":[[2023,3,10]],"date-time":"2023-03-10T00:52:41Z","timestamp":1678409561000},"page":"198-208","source":"Crossref","is-referenced-by-count":0,"title":["Enhancements in formal process description by using a formal method"],"prefix":"10.1515","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8007-1148","authenticated-orcid":false,"given":"Cheng","family":"Xin","sequence":"first","affiliation":[{"name":"Faculty of Electrical Engineering and Information Technology , Otto-von-Guericke-Universit\u00e4t , Magdeburg , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Grunau","sequence":"additional","affiliation":[{"name":"IKT & Automation, ifak Institut f\u00fcr Automation und Kommunikation , Magdeburg , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Thron","sequence":"additional","affiliation":[{"name":"IKT & Automation, ifak Institut f\u00fcr Automation und Kommunikation , Magdeburg , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Riedl","sequence":"additional","affiliation":[{"name":"IKT & Automation, ifak Institut f\u00fcr Automation und Kommunikation , Magdeburg , Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","published-online":{"date-parts":[[2023,3,10]]},"reference":[{"key":"2023033111483231740_j_auto-2022-0103_ref_001","unstructured":"M. Kramer, \u201cBest practices in systems development lifecycle: an analyses based on the waterfall model,\u201d Rev. Bus. Finance Stud., vol.\u00a09, no.\u00a01, pp.\u00a077\u201384, 2018."},{"key":"2023033111483231740_j_auto-2022-0103_ref_002","doi-asserted-by":"crossref","unstructured":"S. Wahren, J. Siegert, and T. Bauernhansl, \u201cApproach for implementing a control and optimization loop for an energy-efficient factory,\u201d Procedia CIRP, vol.\u00a029, pp.\u00a045\u201349, 2015. https:\/\/doi.org\/10.1016\/j.procir.2015.02.210.","DOI":"10.1016\/j.procir.2015.02.210"},{"key":"2023033111483231740_j_auto-2022-0103_ref_003","doi-asserted-by":"crossref","unstructured":"P. Bikfalvi, F. Erd\u00e9lyi, and T. T\u00f3th, \u201cThe \u201cproduction triangle\u201d model in production planning and Control,\u201d in 2010 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR), vol.\u00a03, IEEE, 2010, pp.\u00a01\u20136.","DOI":"10.1109\/AQTR.2010.5520744"},{"key":"2023033111483231740_j_auto-2022-0103_ref_004","doi-asserted-by":"crossref","unstructured":"S. Marek, G. Schuh, and V. Stich, \u201cIdentification of multidimensional key performance indicators for manufacturing companies,\u201d in 2020 IEEE Technology & Engineering Management Conference (TEMSCON), IEEE, 2020, pp.\u00a01\u20136.","DOI":"10.1109\/TEMSCON47658.2020.9140138"},{"key":"2023033111483231740_j_auto-2022-0103_ref_005","doi-asserted-by":"crossref","unstructured":"K. Erlach, \u201cValue stream design,\u201d in Value Stream Design, Berlin, Heidelberg, Springer, 2013, pp. 97\u2013229.","DOI":"10.1007\/978-3-642-12569-0_3"},{"key":"2023033111483231740_j_auto-2022-0103_ref_006","unstructured":"VDI\/VDE- Gesellschaft Mess- und Automatisierungstechnik, \u201cFormalised process descriptions: concept and graphic representation. Engl. VDI\/VDEGesellschaft Mess- und. Automatisierungstechnik,\u201d in Chap. VDI\/VDE 3682 \u2013 part 1, D\u00fcsseldorf, Germany, Verein Deutscher Ingenieure e.V, 2015."},{"key":"2023033111483231740_j_auto-2022-0103_ref_007","unstructured":"VDI\/VDE- Gesellschaft Mess- und Automatisierungstechnik, \u201cFormalised process descriptions: information model. Engl. VDI\/VDE-Gesellschaft Mess- und Automatisierungstechnik,\u201d in Chap. VDI\/VDE 3682 \u2013 part 2, D\u00fcsseldorf, Germany, Verein Deutscher Ingenieure e.V, 2015."},{"key":"2023033111483231740_j_auto-2022-0103_ref_008","doi-asserted-by":"crossref","unstructured":"V. De Florio and C. Blondia, \u201cTrading off complexity for expressiveness in programming languages for embedded devices: visions and experiences,\u201d in International Conference on Advanced Communication and Networking, Springer, 2011, pp.\u00a0161\u2013175.","DOI":"10.1007\/978-3-642-23312-8_20"},{"key":"2023033111483231740_j_auto-2022-0103_ref_009","doi-asserted-by":"crossref","unstructured":"J. de Bruijn, H. Lausen, A. Polleres, and D. Fensel, \u201cThe web service modeling language wsml: an overview,\u201d in European Semantic Web Conference, Berlin Heidelberg, Springer, 2006, pp. 590\u2013604.","DOI":"10.1007\/11762256_43"},{"key":"2023033111483231740_j_auto-2022-0103_ref_010","unstructured":"L. Christiansen, T. J\u00e4ger, M. Strube, A. Fay, and H. Schmidt, \u201cIntegration of a formalized process description into MS Visio with regard to an integrated engineering process,\u201d Proc. iATPA, vol. 821, pp. 19\u201324, 2011."},{"key":"2023033111483231740_j_auto-2022-0103_ref_011","unstructured":"M. D. S. Soares and J. Vrancken, \u201cRequirements specification and modeling through SysML,\u201d in 2007 IEEE International Conference on Systems, Man and Cybernetics, IEEE, 2007, pp.\u00a01735\u20131740."},{"key":"2023033111483231740_j_auto-2022-0103_ref_012","doi-asserted-by":"crossref","unstructured":"P. Vichare, A. Nassehi, S. Kumar, and S. T. Newman, \u201cA unified manufacturing resource model for representing CNC machining systems,\u201d Robot. Comput. Integrated Manuf., vol.\u00a025, no.\u00a06, pp.\u00a0999\u20131007, 2009. https:\/\/doi.org\/10.1016\/j.rcim.2009.04.014.","DOI":"10.1016\/j.rcim.2009.04.014"},{"key":"2023033111483231740_j_auto-2022-0103_ref_013","doi-asserted-by":"crossref","unstructured":"A. Ulrich, K. G\u00fcttel, and A. Fay, \u201cDurchg\u00e4ngige Prozesssicht in unterschiedlichen Dom\u00e4nen Methoden und Werkzeug zum Einsatz der formalisierten Prozessbeschreibung Universal View on Processes in Different Domains Methods and Tool for Formalised Process Descriptions,\u201d Automatisierungstechnik, vol.\u00a057, no.\u00a02, pp.\u00a080\u201392, 2009. https:\/\/doi.org\/10.1524\/auto.2009.0753.","DOI":"10.1524\/auto.2009.0753"},{"key":"2023033111483231740_j_auto-2022-0103_ref_014","doi-asserted-by":"crossref","unstructured":"E. Arroyo, D. Schulze, L. Christiansen, A. Fay, and N. F. Thornhill, \u201cDerivation of diagnostic models based on formalized process knowledge,\u201d IFAC Proc. Vol., vol.\u00a047, no.\u00a03, pp.\u00a03456\u20133464, 2014. https:\/\/doi.org\/10.3182\/20140824-6-za-1003.00597.","DOI":"10.3182\/20140824-6-ZA-1003.00597"},{"key":"2023033111483231740_j_auto-2022-0103_ref_015","doi-asserted-by":"crossref","unstructured":"A. Tarski and J. Tarski, Introduction to Logic and to the Methodology of the Deductive Sciences, vol.\u00a024, Oxford University Press on Demand, 1994, p.\u00a0125.","DOI":"10.1093\/oso\/9780195044720.001.0001"},{"key":"2023033111483231740_j_auto-2022-0103_ref_016","doi-asserted-by":"crossref","unstructured":"P. Wadler and R. B Findler, \u201cWell-typed programs can\u2019t be blamed,\u201d in European Symposium on Programming, Springer, 2009, pp.\u00a01\u201316.","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"2023033111483231740_j_auto-2022-0103_ref_017","doi-asserted-by":"crossref","unstructured":"N. Mahmud, C. Seceleanu, and O. Ljungkrantz, \u201cReSA tool: structured requirements specification and SAT-based consistency-checking,\u201d in 2016 Federated Conference on Computer Science and Information Systems (FedCSIS), IEEE, 2016, pp.\u00a01737\u20131746.","DOI":"10.15439\/2016F404"},{"key":"2023033111483231740_j_auto-2022-0103_ref_018","doi-asserted-by":"crossref","unstructured":"C. Barrett and C. Tinelli, \u201cSatisfiability modulo theories,\u201d in Handbook of Model Checking, Springer, 2018, pp.\u00a0305\u2013343.","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"2023033111483231740_j_auto-2022-0103_ref_019","doi-asserted-by":"crossref","unstructured":"L. de Moura and N. Bj\u00f8rner, \u201cZ3: an efficient SMT solver,\u201d in International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2008, pp.\u00a0337\u2013340.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"2023033111483231740_j_auto-2022-0103_ref_020","unstructured":"B. C. Pierce, Types and Programming Languages, MIT Press, 2002, pp.\u00a01\u20139."},{"key":"2023033111483231740_j_auto-2022-0103_ref_021","unstructured":"Y. Ahmad, T. Antoniu, S. Goldwater, and S. Krishnamurthi, \u201cA type system for statically detecting spreadsheet errors,\u201d in 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings, IEEE., 2003, pp. 174\u2013183."},{"key":"2023033111483231740_j_auto-2022-0103_ref_022","doi-asserted-by":"crossref","unstructured":"J. Edwards, D. Jackson, and E. Torlak, \u201cA type system for object models,\u201d ACM SIGSOFT Software Eng. Notes, vol.\u00a029, no. 6, pp.\u00a0189\u2013199, 2004. https:\/\/doi.org\/10.1145\/1041685.1029921.","DOI":"10.1145\/1041685.1029921"},{"key":"2023033111483231740_j_auto-2022-0103_ref_023","unstructured":"J. Warmer, A. Kleppe, T. Clark, et al.., \u201cResponse to the UML 2.0 OCL RfP,\u201d Tech. Rep. Technical Report, 2001."},{"key":"2023033111483231740_j_auto-2022-0103_ref_024","unstructured":"C. Munoz, \u201cType theory and its applications to computer science,\u201d Q. News Lett. Inst. Comput. Appl. Sci. Eng., vol.\u00a08, no.\u00a04, 2007."},{"key":"2023033111483231740_j_auto-2022-0103_ref_025","doi-asserted-by":"crossref","unstructured":"B. H. Liskov and J. M. Wing, \u201cA behavioral notion of subtyping,\u201d ACM Trans. Program Lang. Syst., vol.\u00a016, no.\u00a06, pp.\u00a01811\u20131841, 1994. https:\/\/doi.org\/10.1145\/197320.197383.","DOI":"10.1145\/197320.197383"}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0103\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0103\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,8]],"date-time":"2023-12-08T17:14:50Z","timestamp":1702055690000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0103\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,1]]},"references-count":25,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2023,3,10]]},"published-print":{"date-parts":[[2023,3,28]]}},"alternative-id":["10.1515\/auto-2022-0103"],"URL":"https:\/\/doi.org\/10.1515\/auto-2022-0103","relation":{},"ISSN":["0178-2312","2196-677X"],"issn-type":[{"type":"print","value":"0178-2312"},{"type":"electronic","value":"2196-677X"}],"subject":[],"published":{"date-parts":[[2023,3,1]]}}}