An Action System Approach to the Steam Boiler Problem. Butler, M., Sekerinski, E., & Sere, K. In Abrial, J., Börger, E., & Langmaack, H., editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165, of Lecture Notes in Computer Science, pages 129–148, October, 1996. Springer-Verlag. Paper doi abstract bibtex This paper presents an approach to the specification of control programs based on action systems and refinement. The system to be specified and its physical environment are first modelled as one initial action system. This allows us to abstract away from the communication mechanism between the two entities. It also allows us to state and use clearly the assumptions that we make about how the environment behaves. In subsequent steps the specifications of control program and the environment are further elaborated by refinement and are separated. We use the refinement calculus to structure and reason about the specification. The operators in this calculus allow us to achieve a high degree of modularity in the development.
@inproceedings{ButlerSekerinskiSere96SteamBoiler,
series = {Lecture {Notes} in {Computer} {Science}},
title = {An {Action} {System} {Approach} to the {Steam} {Boiler} {Problem}},
volume = {1165},
url = {https://www.cas.mcmaster.ca/~emil/pubs/ButlerSekerinskiSere96SteamBoiler.pdf},
doi = {10.1007/BFb0027234},
abstract = {This paper presents an approach to the specification of control programs based on action systems and refinement. The system to be specified and its physical environment are first modelled as one initial action system. This allows us to abstract away from the communication mechanism between the two entities. It also allows us to state and use clearly the assumptions that we make about how the environment behaves. In subsequent steps the specifications of control program and the environment are further elaborated by refinement and are separated. We use the refinement calculus to structure and reason about the specification. The operators in this calculus allow us to achieve a high degree of modularity in the development.},
booktitle = {Formal {Methods} for {Industrial} {Applications}: {Specifying} and {Programming} the {Steam} {Boiler} {Control}},
publisher = {Springer-Verlag},
author = {Butler, Michael and Sekerinski, Emil and Sere, Kaisa},
editor = {Abrial, Jean-Raymond and Börger, Egon and Langmaack, Hans},
month = oct,
year = {1996},
pages = {129--148},
}
Downloads: 0
{"_id":"oNP46haPmdFnnMLnD","bibbaseid":"butler-sekerinski-sere-anactionsystemapproachtothesteamboilerproblem-1996","author_short":["Butler, M.","Sekerinski, E.","Sere, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Lecture Notes in Computer Science","title":"An Action System Approach to the Steam Boiler Problem","volume":"1165","url":"https://www.cas.mcmaster.ca/~emil/pubs/ButlerSekerinskiSere96SteamBoiler.pdf","doi":"10.1007/BFb0027234","abstract":"This paper presents an approach to the specification of control programs based on action systems and refinement. The system to be specified and its physical environment are first modelled as one initial action system. This allows us to abstract away from the communication mechanism between the two entities. It also allows us to state and use clearly the assumptions that we make about how the environment behaves. In subsequent steps the specifications of control program and the environment are further elaborated by refinement and are separated. We use the refinement calculus to structure and reason about the specification. The operators in this calculus allow us to achieve a high degree of modularity in the development.","booktitle":"Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Butler"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Sere"],"firstnames":["Kaisa"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Abrial"],"firstnames":["Jean-Raymond"],"suffixes":[]},{"propositions":[],"lastnames":["Börger"],"firstnames":["Egon"],"suffixes":[]},{"propositions":[],"lastnames":["Langmaack"],"firstnames":["Hans"],"suffixes":[]}],"month":"October","year":"1996","pages":"129–148","bibtex":"@inproceedings{ButlerSekerinskiSere96SteamBoiler,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {An {Action} {System} {Approach} to the {Steam} {Boiler} {Problem}},\n\tvolume = {1165},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/ButlerSekerinskiSere96SteamBoiler.pdf},\n\tdoi = {10.1007/BFb0027234},\n\tabstract = {This paper presents an approach to the specification of control programs based on action systems and refinement. The system to be specified and its physical environment are first modelled as one initial action system. This allows us to abstract away from the communication mechanism between the two entities. It also allows us to state and use clearly the assumptions that we make about how the environment behaves. In subsequent steps the specifications of control program and the environment are further elaborated by refinement and are separated. We use the refinement calculus to structure and reason about the specification. The operators in this calculus allow us to achieve a high degree of modularity in the development.},\n\tbooktitle = {Formal {Methods} for {Industrial} {Applications}: {Specifying} and {Programming} the {Steam} {Boiler} {Control}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Butler, Michael and Sekerinski, Emil and Sere, Kaisa},\n\teditor = {Abrial, Jean-Raymond and Börger, Egon and Langmaack, Hans},\n\tmonth = oct,\n\tyear = {1996},\n\tpages = {129--148},\n}\n\n","author_short":["Butler, M.","Sekerinski, E.","Sere, K."],"editor_short":["Abrial, J.","Börger, E.","Langmaack, H."],"key":"ButlerSekerinskiSere96SteamBoiler","id":"ButlerSekerinskiSere96SteamBoiler","bibbaseid":"butler-sekerinski-sere-anactionsystemapproachtothesteamboilerproblem-1996","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/ButlerSekerinskiSere96SteamBoiler.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["action","system","approach","steam","boiler","problem","butler","sekerinski","sere"],"title":"An Action System Approach to the Steam Boiler Problem","year":1996}