@inproceedings{SekerinskiZurob01iState,
	address = {Toronto, Canada},
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {{iState}: {A} {Statechart} {Translator}},
	volume = {2185},
	doi = {10.1007/3-540-45441-1_28},
	abstract = {We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Pascal, Java, or the Abstract Machine Notation of the B method. The translation proceeds in several phases. The focus of this paper is the formal description of the intermediate representations, for which we use class diagrams together with their textual counterparts. We describe how the class diagrams are further refined. The notions of representable, normalized, and legal statecharts are introduced, where normalized statecharts appear as an intermediate representation and code is generated only for legal statecharts.},
	booktitle = {«{UML}» 2001 – {The} {Unified} {Modeling} {Language}, 4th {International} {Conference}},
	publisher = {Springer-Verlag},
	author = {Sekerinski, Emil and Zurob, Rafik},
	editor = {Gogolla, Martin and Kobryn, Cris},
	month = oct,
	year = {2001},
	pages = {376--390},
}

{"_id":"iEP5S5mikA7LcqqcZ","bibbaseid":"sekerinski-zurob-istateastatecharttranslator-2001","downloads":1,"creationDate":"2019-02-02T15:48:53.598Z","title":"iState: A Statechart Translator","author_short":["Sekerinski, E.","Zurob, R."],"year":2001,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Toronto, Canada","series":"Lecture Notes in Computer Science","title":"iState: A Statechart Translator","volume":"2185","doi":"10.1007/3-540-45441-1_28","abstract":"We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Pascal, Java, or the Abstract Machine Notation of the B method. The translation proceeds in several phases. The focus of this paper is the formal description of the intermediate representations, for which we use class diagrams together with their textual counterparts. We describe how the class diagrams are further refined. The notions of representable, normalized, and legal statecharts are introduced, where normalized statecharts appear as an intermediate representation and code is generated only for legal statecharts.","booktitle":"«UML» 2001 – The Unified Modeling Language, 4th International Conference","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Zurob"],"firstnames":["Rafik"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Gogolla"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Kobryn"],"firstnames":["Cris"],"suffixes":[]}],"month":"October","year":"2001","pages":"376–390","bibtex":"@inproceedings{SekerinskiZurob01iState,\n\taddress = {Toronto, Canada},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {{iState}: {A} {Statechart} {Translator}},\n\tvolume = {2185},\n\tdoi = {10.1007/3-540-45441-1_28},\n\tabstract = {We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Pascal, Java, or the Abstract Machine Notation of the B method. The translation proceeds in several phases. The focus of this paper is the formal description of the intermediate representations, for which we use class diagrams together with their textual counterparts. We describe how the class diagrams are further refined. The notions of representable, normalized, and legal statecharts are introduced, where normalized statecharts appear as an intermediate representation and code is generated only for legal statecharts.},\n\tbooktitle = {«{UML}» 2001 – {The} {Unified} {Modeling} {Language}, 4th {International} {Conference}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Sekerinski, Emil and Zurob, Rafik},\n\teditor = {Gogolla, Martin and Kobryn, Cris},\n\tmonth = oct,\n\tyear = {2001},\n\tpages = {376--390},\n}\n\n","author_short":["Sekerinski, E.","Zurob, R."],"editor_short":["Gogolla, M.","Kobryn, C."],"key":"SekerinskiZurob01iState","id":"SekerinskiZurob01iState","bibbaseid":"sekerinski-zurob-istateastatecharttranslator-2001","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":1},"search_terms":["istate","statechart","translator","sekerinski","zurob"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}