IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modeling logical and temporal conditions to formally validate factory automation web services

12th IEEE International Conference on Emerging Technologies and Factory Automation

Author(s): C. Popescu ; J.L.M. Lastra
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2007
Conference Location: Patras, Greece
Conference Date: 25 September 2007
Page(s): 732 - 735
ISBN (CD): 978-1-4244-0826-9
ISBN (Paper): 978-1-4244-0825-2
DOI: 10.1109/EFTA.2007.4416844
Regular:

This paper is focused on presenting the means of modeling the conditions that are tested with either conditional or looping control constructs (repeat-while, repeat-until and if-then-else). The... View More

Advertisement