|
|
@@ -17,7 +17,7 @@
|
|
|
|
|
|
|
|
|
@inproceedings{VanMierlo2016,
|
|
|
- title={SCCD: SCXML extended with class diagrams},
|
|
|
+ title={{SCCD: SCXML extended with class diagrams}},
|
|
|
author={Van Mierlo, Simon and Van Tendeloo, Yentl and Meyers, Bart and Exelmans, Joeri and Vangheluwe, Hans},
|
|
|
booktitle={Proceedings of the Workshop on Engineering Interactive Systems with SCXML},
|
|
|
volume={2},
|
|
|
@@ -26,19 +26,19 @@
|
|
|
}
|
|
|
|
|
|
@misc{Erez2020Lark,
|
|
|
- title = "Lark parser library for Python",
|
|
|
+ title = "{Lark parser library for Python}",
|
|
|
howpublished = "\url{https://github.com/lark-parser/lark}",
|
|
|
}
|
|
|
|
|
|
@misc{W3C2015SCXML,
|
|
|
- title = "State Chart XML (SCXML): State Machine Notation for Control Abstraction",
|
|
|
+ title = "{State Chart XML (SCXML): State Machine Notation for Control Abstraction}",
|
|
|
author = "W3C",
|
|
|
howpublished = "\url{https://www.w3.org/TR/scxml/}",
|
|
|
year = "2015"
|
|
|
}
|
|
|
|
|
|
@misc{W3C2012XSD,
|
|
|
- title = "W3C XML Schema Definition Language (XSD)",
|
|
|
+ title = "{W3C XML Schema Definition Language (XSD)}",
|
|
|
author = "W3C",
|
|
|
howpublished = "\url{https://www.w3.org/TR/xmlschema11-1/}",
|
|
|
year = "2012"
|
|
|
@@ -46,34 +46,34 @@
|
|
|
|
|
|
|
|
|
@misc{lxml,
|
|
|
- title = "lxml (XML Library for Python)",
|
|
|
+ title = "{lxml (XML Library for Python)}",
|
|
|
howpublished = "\url{https://lxml.de/}",
|
|
|
}
|
|
|
|
|
|
@misc{libxml2,
|
|
|
- title = "libxml2 (C XML Library)",
|
|
|
+ title = "{libxml2 (C XML Library)}",
|
|
|
howpublished = "\url{http://xmlsoft.org/}",
|
|
|
}
|
|
|
|
|
|
@misc{yakindu,
|
|
|
- title = "YAKINDU Statechart Tools",
|
|
|
+ title = "{YAKINDU Statechart Tools}",
|
|
|
howpublished = "\url{https://www.itemis.com/en/yakindu/statechart-tools/}",
|
|
|
}
|
|
|
|
|
|
@misc{qtscxml,
|
|
|
- title = "Qt SCXML",
|
|
|
+ title = "{Qt SCXML}",
|
|
|
howpublished = "\url{https://doc.qt.io/qt-5/qtscxml-overview.html}",
|
|
|
}
|
|
|
|
|
|
@misc{pssm,
|
|
|
- title = "Precise Semantics of UML State Machines (PSSM)",
|
|
|
+ title = "{Precise Semantics of UML State Machines (PSSM)}",
|
|
|
howpublished = "\url{https://www.omg.org/spec/PSSM/1.0/PDF}",
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
@article{harel1987statecharts,
|
|
|
- title={Statecharts: A visual formalism for complex systems},
|
|
|
+ title={{Statecharts: A visual formalism for complex systems}},
|
|
|
author={Harel, David},
|
|
|
journal={Science of computer programming},
|
|
|
volume={8},
|
|
|
@@ -85,7 +85,7 @@
|
|
|
|
|
|
|
|
|
@article{sabzali2010deconstructing,
|
|
|
- title={Deconstructing the semantics of big-step modelling languages},
|
|
|
+ title={{Deconstructing the semantics of big-step modelling languages}},
|
|
|
author={Esmaeilsabzali, Shahram and Day, Nancy A and Atlee, Joanne M and Niu, Jianwei},
|
|
|
journal={Requirements Engineering},
|
|
|
volume={15},
|
|
|
@@ -103,7 +103,7 @@
|
|
|
% }
|
|
|
|
|
|
@techreport{glenn2014statecharts,
|
|
|
- title={Statecharts and Class Diagram XML-A general-purpose textual modelling formalism},
|
|
|
+ title={{Statecharts and Class Diagram XML-A general-purpose textual modelling formalism}},
|
|
|
author={De Jonghe, Glenn and Vangheluwe, Hans},
|
|
|
year={2014},
|
|
|
institution={Technical report, University of Antwerp}
|
|
|
@@ -112,21 +112,21 @@
|
|
|
@Misc{Zhaoyi2016,
|
|
|
author={{Luo, Zhaoyi}
|
|
|
and {Atlee, Joanne M.}},
|
|
|
-title={BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment},
|
|
|
+title={{BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment}},
|
|
|
year={2016},
|
|
|
publisher="UWSpace",
|
|
|
url={http://hdl.handle.net/10012/15373}
|
|
|
}
|
|
|
|
|
|
@phdthesis{beard2013developing,
|
|
|
- title={Developing Rich, Web-Based User Interfaces with the Statecharts Interpretation and Optimization Engine},
|
|
|
+ title={{Developing Rich, Web-Based User Interfaces with the Statecharts Interpretation and Optimization Engine}},
|
|
|
author={Beard, Jacob},
|
|
|
year={2013},
|
|
|
school={McGill University Libraries}
|
|
|
}
|
|
|
|
|
|
@article{harel1996statemate,
|
|
|
- title={The STATEMATE semantics of statecharts},
|
|
|
+ title={{The STATEMATE semantics of statecharts}},
|
|
|
author={Harel, David and Naamad, Amnon},
|
|
|
journal={ACM Transactions on Software Engineering and Methodology (TOSEM)},
|
|
|
volume={5},
|
|
|
@@ -134,4 +134,13 @@ url={http://hdl.handle.net/10012/15373}
|
|
|
pages={293--333},
|
|
|
year={1996},
|
|
|
publisher={ACM New York, NY, USA}
|
|
|
-}
|
|
|
+}
|
|
|
+
|
|
|
+@incollection{harel2004rhapsody,
|
|
|
+ title={{The rhapsody semantics of statecharts (or, on the executable core of the UML)}},
|
|
|
+ author={Harel, David and Kugler, Hillel},
|
|
|
+ booktitle={Integration of Software Specification Techniques for Applications in Engineering},
|
|
|
+ pages={325--354},
|
|
|
+ year={2004},
|
|
|
+ publisher={Springer}
|
|
|
+}
|
