Automated inference of models for black box systems based on interface descriptions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7609 LNCS, Issue PART 1, 2012, Pages 79-96

  Merten, Maik ^a   Howar, Falk ^a   Steffen, Bernhard ^a   Pellicione, Patrizio ^b   Tivoli, Massimo ^b  

^a TU DORTMUND UNIVERSITY   (Germany)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL MODEL; BLACK BOX SYSTEM; DATAFLOW; EXECUTION LEVEL; INTERFACE DESCRIPTIONS; LEARNING FRAMEWORKS; LEARNING TOOL; SYNTACTIC ANALYSIS; TARGET SYSTEMS; TEST HARNESS; WEB SERVICES DESCRIPTION LANGUAGE;

ARTIFICIAL INTELLIGENCE;

AUTOMATA THEORY;

EID: 84868288129     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34026-0_7     Document Type: Conference Paper

References (15)

1. OSGi Alliance. Osgi Service Platform, Release 3. IOS Press, Inc. (2003)
2. Bhatti, N.T., Hiltunen, M.A., Schlichting, R.D., Chiu, W.: Coyote: A system for constructing fine-grain configurable communication services. ACM Trans. Comput. Syst. 16(4) (1998)
3. Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.-B.: The Fractal Component Model and its Support in Java. Software - Practice and Experience 36(11-12) (2006)
4. Castagna, G., Vitek, J., Nardelli, F.Z.: The Seal calculus. Inf. Comput. 201(1) (2005)
5. Coulson, G., Blair, G., Grace, P., Joolia, A., Lee, K., Ueyama, J.: OpenCOM v2: A Component Model for Building Systsms Software. In: Proceedings of IASTED Software Engineering and Applications, SEA 2004 (2004)
6. Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.: ABS: A Core Language for Abstract Behavioral Specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142-164. Springer, Heidelberg (2011)
7. Lenglet, S., Schmitt, A., Stefani, J.-B.: Howe's Method for Calculi with Passivation. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 448-462. Springer, Heidelberg (2009)
8. Levi, F., Sangiorgi, D.: Mobile safe ambients. ACM. Trans. Prog. Languages and Systems 25(1) (2003)
9. Lienhardt, M., Lanese, I., Bravetti, M., Sangiorgi, D., Zavattaro, G., Welsch, Y., Schäfer, J., Poetzsch-Heffter, A.: A Component Model for the ABS Language. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 165-183. Springer, Heidelberg (2011)
10. Lienhardt, M., Schmitt, A., Stefani, J.-B.: Oz/K: A kernel language for component-based open programming. In: GPCE 2007: Proceedings of the 6th International Conference on Generative Programming and Component Engineering, pp. 43-52. ACM, New York (2007)
11. Miranda, H., Pinto, A.S., Rodrigues, L.: Appia: A flexible protocol kernel supporting multiple coordinated channels. In: 21st International Conference on Distributed Computing Systems (ICDCS 2001). IEEE Computer Society (2001)
12. Montesi, F., Sangiorgi, D.: A Model of Evolvable Components. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol. 6084, pp. 153-171. Springer, Heidelberg (2010)
13. Morris, R., Kohler, E., Jannotti, J., Frans Kaashoek, M.: The Click Modular Router. In: ACM Symposium on Operating Systems Principles (1999)
14. Schmitt, A., Stefani, J.-B.: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146-178. Springer, Heidelberg (2005)
15. Sun Microsystems. JSR 220: Enterprise JavaBeans, Version 3.0 - EJB Core Contracts and Requirements (2006)