Machine Learning for Emergent Middleware - Trustworthy Eternal Systems via Evolving, Software Data and Knowledge - page 28

a continuous feedback loop from real-execution observations of the networked
systems to update the learnt models dynamically as new knowledge becomes
available and to improve the synthesised emergent middleware accordingly.
Acknowledgments. This research has been supported by the EU FP7 projects:
Connect - Emergent Connectors for Eternal Software Intensive Networking
Systems (project number FP7 231167), EternalS - “Trustworthy Eternal Sys-
tems via Evolving Software, Data and Knowledge” (project number FP7 247758)
and by the EC Project, LiMoSINe - Linguistically Motivated Semantic aggre-
gation engiNes (project number FP7 288024).
References
1. Aarts, F., Vaandrager, F.: Learning I/O Automata. In: Gastin, P., Laroussinie, F.
(eds.) CONCUR 2010. LNCS, vol. 6269, pp. 71-85. Springer, Heidelberg (2010),
http://dx.doi.org/10.1007/978-3-642-15375-4_6
2. Alur, R., Cerny, P., Madhusudan, P., Nam, W.: Synthesis of interface specifications
for Java classes. In: Proc. POPL 2005 (2005)
3. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Com-
put. 75(2), 87-106 (1987)
4. Blair, G.S., Bennaceur, A., Georgantas, N., Grace, P., Issarny, V., Nundloll, V.,
Paolucci, M.: The Role of Ontologies in Emergent Middleware: Supporting Inter-
operability in Complex Distributed Systems. In: Kon, F., Kermarrec, A.-M. (eds.)
Middleware 2011. LNCS, vol. 7049, pp. 410-430. Springer, Heidelberg (2011)
5. Cohn, D.A., Ghahramani, Z., Jordan, M.I.: Active learning with statistical models.
J. Artif. Intell. Res. (JAIR) 4, 129-145 (1996)
6. Esparza, J., Leucker, M., Schlund, M.: Learning workflow petri nets 113, 205-228
(2011)
7. Grinchtein, O., Jonsson, B., Pettersson, P.: Inference of Event-Recording Automata
Using Timed Decision Trees. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006.
LNCS, vol. 4137, pp. 435-449. Springer, Heidelberg (2006)
8. Heß, A., Kushmerick, N.: Learning to attach semantic metadata to web services.
In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp.
258-273. Springer, Heidelberg (2003)
9. Howar, F., Jonsson, B., Merten, M., Steffen, B., Cassel, S.: On handling data in
automata learning - considerations from the connect perspective. In: Margaria, T.,
Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 221-235. Springer,
Heidelberg (2010)
10. Howar, F., Steffen, B., Jonsson, B., Cassel, S.: Inferring canonical register au-
tomata. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol. 7148,
pp. 251-266. Springer, Heidelberg (2012)
11. Howar, F., Steffen, B., Merten, M.: Automata learning with automated alphabet
abstraction refinement. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS,
vol. 6538, pp. 263-277. Springer, Heidelberg (2011)
12. Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy sys-
tems. In: Proceedings of the International Test Conference, ITC 2003, September
30-October 2, vol. 1, pp. 971-980 (2003)