@inproceedings{SekerinskiZurob02StatechartsToB,
	address = {Turku, Finland},
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Translating {Statecharts} to {B}},
	volume = {2335},
	doi = {10.1007/3-540-47884-1_8},
	abstract = {We present algorithms for the translation of statecharts to the Abstract Machine Notation of the B method. These algorithms have been implemented in {\textbackslash}em iState, a tool for translating statecharts to various programming languages. The translation proceeds in several phases. We give a model of statecharts, a model of the code in AMN, as well as the intermediate representations in terms of class diagrams and their textual counterpart. The translation algorithms are expressed in terms of these models. We also discuss optimizations of the generated code. The translation scheme is motivated by making the generated code comprehensible.},
	booktitle = {Third {International} {Conference} on {Integrated} {Formal} {Methods}},
	publisher = {Springer-Verlag},
	author = {Sekerinski, Emil and Zurob, Rafik},
	editor = {Butler, Michael and Petre, Luigia and Sere, Kaisa},
	month = may,
	year = {2002},
	pages = {128--144},
}

{"_id":"8W69WCfbro52CZgwJ","bibbaseid":"sekerinski-zurob-translatingstatechartstob-2002","downloads":0,"creationDate":"2019-02-02T15:48:53.596Z","title":"Translating Statecharts to B","author_short":["Sekerinski, E.","Zurob, R."],"year":2002,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Turku, Finland","series":"Lecture Notes in Computer Science","title":"Translating Statecharts to B","volume":"2335","doi":"10.1007/3-540-47884-1_8","abstract":"We present algorithms for the translation of statecharts to the Abstract Machine Notation of the B method. These algorithms have been implemented in \\em iState, a tool for translating statecharts to various programming languages. The translation proceeds in several phases. We give a model of statecharts, a model of the code in AMN, as well as the intermediate representations in terms of class diagrams and their textual counterpart. The translation algorithms are expressed in terms of these models. We also discuss optimizations of the generated code. The translation scheme is motivated by making the generated code comprehensible.","booktitle":"Third International Conference on Integrated Formal Methods","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Zurob"],"firstnames":["Rafik"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Butler"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Petre"],"firstnames":["Luigia"],"suffixes":[]},{"propositions":[],"lastnames":["Sere"],"firstnames":["Kaisa"],"suffixes":[]}],"month":"May","year":"2002","pages":"128–144","bibtex":"@inproceedings{SekerinskiZurob02StatechartsToB,\n\taddress = {Turku, Finland},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Translating {Statecharts} to {B}},\n\tvolume = {2335},\n\tdoi = {10.1007/3-540-47884-1_8},\n\tabstract = {We present algorithms for the translation of statecharts to the Abstract Machine Notation of the B method. These algorithms have been implemented in {\\textbackslash}em iState, a tool for translating statecharts to various programming languages. The translation proceeds in several phases. We give a model of statecharts, a model of the code in AMN, as well as the intermediate representations in terms of class diagrams and their textual counterpart. The translation algorithms are expressed in terms of these models. We also discuss optimizations of the generated code. The translation scheme is motivated by making the generated code comprehensible.},\n\tbooktitle = {Third {International} {Conference} on {Integrated} {Formal} {Methods}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Sekerinski, Emil and Zurob, Rafik},\n\teditor = {Butler, Michael and Petre, Luigia and Sere, Kaisa},\n\tmonth = may,\n\tyear = {2002},\n\tpages = {128--144},\n}\n\n","author_short":["Sekerinski, E.","Zurob, R."],"editor_short":["Butler, M.","Petre, L.","Sere, K."],"key":"SekerinskiZurob02StatechartsToB","id":"SekerinskiZurob02StatechartsToB","bibbaseid":"sekerinski-zurob-translatingstatechartstob-2002","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["translating","statecharts","sekerinski","zurob"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}