Verification of context-dependent channel-based service models

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

Volumn 6286 LNCS, Issue , 2010, Pages 21-40

  Kokash, Natallia ^a   Krause, Christian ^a   De Vink, Erik P ^b  

^a CWI   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ADDED VALUES; BUSINESS PROCESS; CONTEXT DEPENDENT; CONTEXT-SENSITIVE ANALYSIS; COORDINATION LANGUAGE; MODEL DRIVEN DEVELOPMENT; NEW SYSTEM; OPTIMIZATION TECHNIQUES; PROOF OF CORRECTNESS; SERVICE MODEL; SERVICE ORIENTED COMPUTING; SERVICE-BASED; STAND -ALONE; TOOLSETS;

MODEL CHECKING;

FORMAL METHODS;

EID: 78650184300     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17071-3_2     Document Type: Conference Paper

References (16)

1. Arbab, F.: The IWIM model for coordination of concurrent activities. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 34-56. Springer, Heidelberg (1996)
2. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming 61, 75-113 (2006) (Pubitemid 44308198)
3. Clarke, D., Costa, D., Arbab, F.: Connector coloring I: Synchronization and context dependency. Science of Computer Programming 66(3), 205-225 (2007) (Pubitemid 46824153)
4. Arbab, F., Koehler, C., Maraikar, Z., Moon, Y., Proenca, J.: Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools. In: Tool demo session at FACS 2008 (2008)
5. Baier, C., Blechmann, T., Klein, J., Klüppelholz, S.: A uniform framework for modeling and verifying components and connectors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 268-287. Springer, Heidelberg (2009)
6. Kokash, N., Krause, C., de Vink, E.: Data-aware design and verification of service composition with Reo and mCRL2. In: Shin, S.Y., et al. (eds.) Proc. SAC 2010, pp. 2406-2413. ACM, New York (2010)
7. Groote, J., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The formal specification language mCRL2. In: Brinksma, E., Harel, D., Mader, A., Stevens, P., Wieringa, R. (eds.) Methods for Modelling Software Systems. IBFI, Schloss Dagstuhl (2007)
8. Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158-163. Springer, Heidelberg (2007)
9. Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14, 329-366 (2004)
10. Baeten, J., Basten, T., Reniers, M.: Process Algebra: Equational Theories of Communicating Processes in Cambridge Tracts in Theoretical Computer Science, vol. 50. CUP, Cambridge (2010)
11. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
12. Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model Checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200-204. Springer, Heidelberg (2002)
13. Khosravi, R., Sirjani, M., Asoudeh, N., Sahebi, S., Iravanchi, H.: Modeling and analysis of Reo connectors using Alloy. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 169-183. Springer, Heidelberg (2008)
14. Bonsangue, M., Izadi, M.: Automata based model checking for Reo connectors. In: Arbab, F., Sirjani, M. (eds.) Fundamentals of Software Engineering. LNCS, vol. 5961, pp. 260-275. Springer, Heidelberg (2010)
15. Kemper, S.: SAT-based verification for timed component connectors. Electronic Notes in Theoretical Computer Science (ENTCS) 255, 103-118 (2009)
16. Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and temporal logical specifications for timed component connectors. Software and Systems Modeling 6(1), 59-82 (2007)