References

1. Michael Beeck (1994): A comparison of Statecharts variants. In: Hans Langmaack, Willem-Paul Roever & Jan Vytopil: Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 863. Springer Berlin Heidelberg, pp. 128–148, doi:10.1007/3-540-58468-4_163.
2. Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire & Abderrafiaa Koukam (2010): An organisational approach to engineer emergence within holarchies. Int. J. Agent-Oriented Softw. Eng. 4(3), pp. 304–329, doi:10.1504/IJAOSE.2010.036986.
3. Bruce Powel Douglass (1998): Real-time UML: Developing Efficient Objects for Embedded Systems. Addison-Wesley.
4. Fengjuan Guo, An Zhang, Chang Li & Linghui Qi (2012): Research on Formation Air-to-Ground Attack's C2 Holarchy and Mission Planning. In: Proceedings of the 2012 Second International Conference on Electric Information and Control Engineering - Volume 03, ICEICE '12. IEEE Computer Society, Washington, DC, USA, pp. 629–632, doi:10.1109/ICEICE.2012.1043.
5. Martin Hall-May & Tim Kelly (2006): Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. In: Computer Safety, Reliability, and Security, Lecture Notes in Computer Science 4166. Springer Berlin Heidelberg, pp. 330–343, doi:10.1007/11875567_25.
6. D. Harel & Gery E. (1994): Executable Object Modeling with Statecharts. In: ICSE18.
7. David Harel (1987): Statecharts: a visual formalism for complex systems. Science of Computer Programming 8(3), pp. 231 – 274, doi:10.1016/0167-6423(87)90035-9. Available at http://www.sciencedirect.com/science/article/pii/0167642387900359.
8. Fu-Shiung Hsieh (2008): Holarchy formation and optimization in holonic manufacturing systems with contract net. Automatica 44(4), pp. 959–970, doi:10.1016/j.automatica.2007.09.006.
9. B. Meyer (1988): Object-oriented Software Construction. Prentice Hall.
10. L. Pazzi & M. Pradelli (2010): Using Part-Whole Statecharts for the safe modeling of clinical guidelines. In: Health Care Management (WHCM), 2010 IEEE Workshop on, doi:10.1109/WHCM.2010.5441269.
11. L. Pazzi & M. Pradelli (2012): Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts. In: Application of Concurrency to System Design (ACSD), 2012 12th International Conference on, pp. 193 –203, doi:10.1109/ACSD.2012.22.
12. Luca Pazzi (1999): Implicit versus explicit characterization of complex entities and events. Data Knowl. Eng. 31(2), pp. 115–134, doi:10.1016/S0169-023X(99)00020-8.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org