Evaluation of Selected Control Programming Languages for Process Engineers by Means of Cognitive Effectiveness and Dimensions — Oak Academic Publishing
Research ArticleOpen AccessGoogle Scholar indexed
Evaluation of Selected Control Programming Languages for Process Engineers by Means of Cognitive Effectiveness and Dimensions
Institute of Automation and Information Systems, Technical University of Munich, Munich, Germany
,
Institute of Automation and Information Systems, Technical University of Munich, Munich, Germany
,
Institute of Automation and Information Systems, Technical University of Munich, Munich, Germany
1 Institute of Automation and Information Systems, Technical University of Munich, Munich, Germany
2 Institute of Automation and Information Systems, Technical University of Munich, Munich, Germany
3 Institute of Automation and Information Systems, Technical University of Munich, Munich, Germany
Different programming languages can be used for discrete, abstract and process-oriented programming. Depending on the application, there exist additional requirements, which are not fulfilled by every programming language. Flexible programming and maintainability are especially important requirements for process engineers. In this paper, the programming languages Activity Diagram, State Chart Diagram and Sequential Function Chart are compared and evaluated with regard to these requirements. This evaluation is based on the principles of cognitive effectiveness and cognitive dimensions. The aim of this paper is to identify the programming language suited best for controlling sequential processes, e.g. thermomechanical or batch processes.
KeywordsCognitionCognitive ScienceGraphical User InterfacesHuman Computer InteractionHuman FactorsProgrammable Logic ControllersProcess Control
Vogel-Heuser, B. (2014) Usability Experiments to Evaluate UML/SysML-Based Model Driven Software Engineering Notations for Logic Control in Manufacturing Automation. Journal of Software Engineering and Applications, 7, 943-973. https://doi.org/10.4236/jsea.2014.711084
Mersch, H., Behnen, D., Schmitz, D., Epple, U., Brecher, C. and Jarke, M. (2011) Gemeinsamkeiten und Unterschiede der Prozess-und Fertigungstechnik (Commonalities and Differences of Process and Production Technology). Automatisierungstechnik, 59, 7-17.
Basile, F., Chiacchio, P. and Gerbasio, D. (2013) On the Implementation of Industrial Automation Systems Based on PLC. IEEE Transactions on Automation Science and Engineering, 10, 990-1003. https://doi.org/10.1109/TASE.2012.2226578
Vogel-Heuser, B., Friedrich, D. and Bristol, E.H. (2003) Evaluation of Modeling Notations for Basic Software Engineering in Process Control. Annual Conference of the IEEE, 3, 2209-2214.
Bayrak, G. (2015) Vergleich und Evaluation von Beschreibungsmitteln für die Automatisierung hybrider Prozesse. PhD Thesis, Technical University of Munich, Munich.
Sturm, A., Dori, D. and Shehory, O. (2010) An Object-Process-Based Modeling Language for Multiagent Systems. IEEE Transactions on Systems, Man, and Cybernetics Part C: Applications and Reviews, 40, 227-241. https://doi.org/10.1109/TSMCC.2009.2037133
Walz, G.A. (1980) Design Tactics for Optimal Modularity. Proceedings of AUTOTESTCON: International Automatic Testing Conference, Washington DC, 281-284.
Bhat, J.M. and Deshmukh, N. (2005) Methods for Modeling Flexibility in Business Processes. BPMDS Workshop in Conjunction with CAISE, Montpellier.
Harrison, R., Counsell, S. and Nithi, R. (2000) Experimental Assessment of the Effect of Inheritance on the Maintainability of Object-Oriented Systems. Journal of Systems and Software, 52, 173-179.
Lee, J. and Hsu, P. (2007) Implementation of a Remote Hierarchical Supervision System Using Petri Nets and Agent Technology. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 37, 77-85. https://doi.org/10.1109/TSMCC.2006.876056
Curtis, B., Sheppard, S.B., Kruesi-Bailey, E., Bailey, J.W. and Boehm-Davis, D.A. (1989) Experimental Evaluation of Software Documentation Formats. Journal of Systems and Software, 9, 167-207.
Cunniff, N. and Taylor, R.P. (1987) Graphical vs. Textual Representation: An Empirical Study of Novices’ Program Comprehension. Empirical Studies of Programmers: Second Workshop, Washington DC, 7-8 December 1987, 114-131.
Meyer, B. (1992) Pictures Depicting pictures: On the Specification of Visual Languages by Visual Grammars. Proceedings of the 1992 IEEE Workshop on Visual Languages, Seattle, 15-18 September 1992, 41-47. https://doi.org/10.1109/WVL.1992.275785
Kahn, K.M. and Saraswat, V.A. (1990) Complete Visualizations of Concurrent Programs and Their Executions. Proceedings of the 1990 IEEE Workshop on Visual Languages, Skokie, 4-6 October 1990, 7-15. https://doi.org/10.1109/WVL.1990.128375
Raeder, G. (1985) A Survey of Current Graphical Programming Techniques. Computer, 18, 11-25. https://doi.org/10.1109/MC.1985.1662971
Nordbotten, J.C. and Crosby, M.E. (1999) The Effect of Graphic Style on Data Model Interpretation. Information Systems Journal, 9, 139-156. https://doi.org/10.1046/j.1365-2575.1999.00052.x
Miller, G.A. (1956) The Magical Number Seven, plus or minus Two: Some Limits on Our Capacity for Processing Information. Psychological Review, 63, 81-97. https://doi.org/10.1037/h0043158
Lewis, R.W. (1998) Programming Industrial Control Systems Using IEC 1131-3. IET, London. https://doi.org/10.1049/PBCE050E
Witsch. D. and Vogel-Heuser, B. (2011) PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering-Aspects on Behavioral Semantics and Model-Checking. World Congress of International Federation of Automation Control, Milan, 29 August-3 September 2011, 7866-7872. https://doi.org/10.3182/20110828-6-it-1002.02207
Witsch, D., Ricken, M., Kormann, B. and Vogel-Heuser, B. (2010) PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering. InternationalConference on Industrial Informatics, Osaka, 13-16 July 2010, 915-920. https://doi.org/10.1109/indin.2010.5549619
Witsch, D. (2013) Model-Driven Design of Control Software Basing on UML under Consideration of the Domain-Specific Requirements of Machine and Plant Engineering (Modellgetriebene Entwicklung von Steuerungssoftware auf Basis der UML unter Berücksichtigung der domanenspezifischen Anforderungen des Maschinenund Anlagenbaus). PhD Thesis, Technical University of Munich, Munich.
Foehr, M., Lüder, A. and Steblau, A. (2012) Analyse der praktischen Relevanz verschiedener Beschreibungsmittel im Entwurfsprozess von Produktionssystemen. Entwurf komplexer Automatisierungssysteme, Kongress: Fachtagung EKA, Magdeburg, 61-72.
Bayrak, G., Flach, A. and Vogel-Heuser, B. (2009) New Methods of Process Management in the Development of Technological Treatments. In: Steinhoff, K., Maier, H.J. and Biermann, D., Eds., Functional Graded Materials in Industrial Mass Production, Verlag Wissenschaftliche Scripten, Auerbach, Rep. of Collaborative Research Centre TRR30, 145-153.
Zhou, M.C. and Twiss, E. (1998) Design of Industrial Automated Systems via Relay Ladder Logic Programming and Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 28, 137-150. https://doi.org/10.1109/5326.661096
Peng, S.S. and Zhou, M.C. (2004) Ladder Diagram and Petri-Net-Based Discrete-Event Control Design Methods. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 34, 523-531. https://doi.org/10.1109/TSMCC.2004.829286
Bahill, T., Alford, M., Bharathan, K., Clymer, J.R., Dean, D.L., Duke, J., Hill, G., LaBudde, E.V., Taipale, E.J. and Wayne Wymore, A. (1998) The Design-Methods Comparison Project. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 28, 80-103. https://doi.org/10.1109/5326.661092
Cao, L., Zhang, C. and Zhou, M. (2008) Engineering Open Complex Agent Systems: A Case Study. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 38, 483-496. https://doi.org/10.1109/TSMCC.2008.923863
Yu, L., Grüner, S. and Epple, U. (2013) An Engineerable Procedure Description Method for Industrial Automation. Conference on Emerging Technologies and Factory Automation, Cagliari, 10-13 September 2013, 1-8.
Lukman, T., Godena, G., Gray, J. and Strmcnik, S. (2010) Model-Driven Engineering of Industrial Process Control Applications. Conference on Emerging Technologies and Factory Automation, Bilbao, 13-16 September 2010, 1-8. https://doi.org/10.1109/etfa.2010.5641224
Object Management Group (2007) OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2. OMG Document Number, formal/2007-11-02. http://www.omg.org/spec/UML/2.1.2/
Green, T.R.G. and Petre, M. (1996) Usability Analysis of Visual Programming Environments: A “Cognitive Dimensions” Framework. Journal of Visual Languages and Computing, 7, 131-174. https://doi.org/10.1006/jvlc.1996.0009
Moody, D.L. (2011) Why a Diagram Is Only Sometimes Worth a Thousand Words: An Analysis of the BPMN 2.0 Visual Notation. https://pdfs.semanticscholar.org/dc09/25bd6d879f6b867806f8badfc70d2e30b4a4.pdf
Moody, D.L. (2009) The “Physics” of Notations: Towards a Scientific Basis for Constructing Visual Notations in Software Engineering. IEEE Transactions on Software Engineering, 35, 756-779. https://doi.org/10.1109/TSE.2009.67
Britton, C. and Jones, S. (1999) The Untrained Eye: How Languages for Software Specification Support Understanding in Untrained Users. Human-Computer Interaction, 14,191-244. https://doi.org/10.1080/07370024.1999.9667269
Green, T.R.G. (1989) Cognitive Dimensions of Notations. In: Sutcliffe, V.A. and Macaulay, L., Eds., People and Computers, Cambridge University Press, Cambridge, 443-460.
Roast, C., Khazaei, B. and Siddiqi, J.L.A. (2000) Formal Comparisons of Program Modification. 2000 IEEE International Symposium on Visual Languages, Seattle, 10-13 September 2000, 165-171. https://doi.org/10.1109/VL.2000.874380
Moody, D.L. and van Hillegersberg, J. (2008) Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UML Family of Diagrams. International Conference on Software Language Engineering, Toulouse, 29-30 September 2008, 16-34.
Figl, K., Mendling, J., Strembeck, J.M. and Recker, J. (2010) On the Cognitive Effectiveness of Routing Symbols in Process Modeling Languages. Lecture Notes in Business Information Processing, 47, 230-241.
Barji, A., Hagge, N. and Wagner, B. (2006) Comparative Study of Using CNet, IEC 61499, and Statecharts for Behavioral Models of Real-Time Control Applications. International Conference on Emerging Technologies in Factory Automation, Prague, 20-22 September 2006, 750-757.
Reijers, H.A. and Mendling, J. (2011) A Study into the Factors that Influence the Understandability of Business Process Models. SMCA, 41, 449-462. https://doi.org/10.1109/tsmca.2010.2087017
Genon, N., Heymans, P. and Amyot, D. (2011) Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation. International Conference on Software Language Engineering, Braga, 3-4 July 2011, 377-396. https://doi.org/10.1007/978-3-642-19440-5_25
Bauer, N. (2002) Statecharts versus Sequential Function Charts. Automatisierungstechnik, 50, 533-540.
Wand, Y. and Weber, R.A. (1990) An Ontological Model of an Information System. IEEE Transactions on Software Engineering, 16, 1282-1292. https://doi.org/10.1109/32.60316
Jazdi, N., Maga, C. and Gohner, P. (2011) Reusable Models in Industrial Automation: Experiences in Defining Appropriate Levels of Granularity. IFAC World Congress, 18, 9145-9150.
Prieto-Diaz, R. and Neighbors, J.M. (1986) Module Interconnection Languages. Journal of Systems and Software, 6, 307-334.
Blackwell, A.F., Whitley, K.N., Good, J. and Petre, M. (2001) Cognitive Factors in Programming with Diagrams. Artificial Intelligence Review, 15, 95-114. https://doi.org/10.1023/A:1006689708296
Vogel-Heuser, B., Fischer, J., Rosch, S., Feldmann, S. and Ulewicz, S. (2015) Challenges for Maintenance of PLC-Software and Its Related Hardware for Automated Production Systems: Selected Industrial Case Studies. Industrial Conference on Software Maintenance and Evolution, Bremen, 29 September-1 October 2015, 362-371.
Blackwell, A.F. and Green, T.R.G. (2003) Notational Systems—The Cognitive Dimensions of Notations framework. In: Carroll, J.M., Ed., HCI Models, Theories and Frameworks: Toward a Multidisciplinary Science, Morgan Kaufmann, San Francisco, 103-134.
Borger, E. and Stark, R. (2003) Abstract State Machines: A Method for High-Level System Design and Analysis. In: Science and Business Media, Springer, Berlin. https://doi.org/10.1007/978-3-642-18216-7
Moody, D.L., Heymans, P. and Matulevicius, R. (2010) Visual Syntax Does Matter: Improving the Cognitive Effectiveness of the I Visual Notation. Requirements Engineering, 15, 141-175. https://doi.org/10.1007/s00766-010-0100-1
Winn, W. (1993) An Account of How Readers Search for Information in Diagrams. Contemporary Educational Psychology, 18, 162-185. https://doi.org/10.1006/ceps.1993.1016
Bertin, J. (1983) Semiology of Graphics: Diagrams, Networks, Maps. University of Wisconsin Press, Madison.
Gurr, C.A. (1999) Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues. Journal of Visual Languages and Computing, 10, 317-342. https://doi.org/10.1006/jvlc.1999.0130
Genon, N., Amyot, D. and Heymans, P. (2010) Analysing the Cognitive Effectiveness of the UCM Visual Notation. In: International Workshop on System Analysis and Modeling, Springer, Berlin Heidelberg, 221-240.