메뉴 건너뛰기




Volumn 6722 LNCS, Issue , 2011, Pages 44-58

A model-checking tool for families of services

Author keywords

[No Author keywords available]

Indexed keywords

DEONTIC; MODAL TRANSITION SYSTEMS; MODEL CHECKING TOOLS; ON-THE-FLY; TEMPORAL OPERATORS;

EID: 79960869030     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21461-5_3     Document Type: Conference Paper
Times cited : (26)

References (38)
  • 2
    • 33750957827 scopus 로고    scopus 로고
    • Deontic Logic
    • Gabbay, D., Guenthner, F. (eds.) 2nd edn., Kluwer, Dordrecht
    • Åqvist, L.: Deontic Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8, pp. 147-264. Kluwer, Dordrecht (2002)
    • (2002) Handbook of Philosophical Logic , vol.8 , pp. 147-264
    • Åqvist, L.1
  • 3
    • 78349262673 scopus 로고    scopus 로고
    • A Logical Framework to Deal with Variability
    • Méry, D., Merz, S. (eds.) IFM 2010. Springer, Heidelberg
    • Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Logical Framework to Deal with Variability. In: Méry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 43-58. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6396 , pp. 43-58
    • Asirelli, P.1    Ter Beek, M.H.2    Fantechi, A.3    Gnesi, S.4
  • 5
    • 0022706656 scopus 로고
    • Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications
    • Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 8(2), 244-263 (1986)
    • (1986) ACM Trans. Program. Lang. Syst. , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.M.1    Emerson, E.A.2    Sistla, A.P.3
  • 11
    • 0029272304 scopus 로고
    • Three Logics for Branching Bisimulation
    • De Nicola, R., Vaandrager, F.W.: Three Logics for Branching Bisimulation. J. ACM 42(2), 458-487 (1995)
    • (1995) J. ACM , vol.42 , Issue.2 , pp. 458-487
    • De Nicola, R.1    Vaandrager, F.W.2
  • 18
    • 84944065857 scopus 로고    scopus 로고
    • Abstraction-based model checking using modal transition systems
    • Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. Springer, Heidelberg
    • Godefroid, P., Huth, M., Jagadeesan, R.: Abstraction-based model checking using modal transition systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 426-440. Springer, Heidelberg (2001)
    • (2001) LNCS , vol.2154 , pp. 426-440
    • Godefroid, P.1    Huth, M.2    Jagadeesan, R.3
  • 19
    • 46049110753 scopus 로고    scopus 로고
    • Modeling and Model Checking Software Product Lines
    • Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. Springer, Heidelberg
    • Gruler, A., Leucker, M., Scheidemann, K.: Modeling and Model Checking Software Product Lines. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 113-131. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5051 , pp. 113-131
    • Gruler, A.1    Leucker, M.2    Scheidemann, K.3
  • 21
    • 1542295467 scopus 로고    scopus 로고
    • Communicating the Variability of a Software-Product Family to Customers
    • Halmans, G., Pohl, K.: Communicating the Variability of a Software-Product Family to Customers. Software and System Modeling 2(1), 15-36 (2003)
    • (2003) Software and System Modeling , vol.2 , Issue.1 , pp. 15-36
    • Halmans, G.1    Pohl, K.2
  • 23
    • 79960879729 scopus 로고    scopus 로고
    • Proceedings 2nd Workshop on Service-Oriented Architectures and Software Product Lines: Putting Both Together (SOAPL 2008)
    • (eds.): Thiel, S., Pohl, K. (eds.) Lero Centre, University of Limerick
    • Krut, R.W., Cohen, S.G. (eds.): Proceedings 2nd Workshop on Service-Oriented Architectures and Software Product Lines: Putting Both Together (SOAPL 2008). In: Thiel, S., Pohl, K. (eds.) Workshop Proceedings 12th Software Product Lines Conference (SPLC 2008), Lero Centre, University of Limerick, pp. 115-147 (2008)
    • (2008) Workshop Proceedings 12th Software Product Lines Conference (SPLC 2008) , pp. 115-147
    • Krut, R.W.1    Cohen, S.G.2
  • 24
    • 79960851671 scopus 로고    scopus 로고
    • Proceedings 3rd Workshop on Service-Oriented Architectures and Software Product Lines: Enhancing Variation (SOAPL 2009)
    • (eds.): Muthig, D., McGregor, J.D. (eds.) ACM Press, New York
    • Krut, R.W., Cohen, S.G. (eds.): Proceedings 3rd Workshop on Service-Oriented Architectures and Software Product Lines: Enhancing Variation (SOAPL 2009). In: Muthig, D., McGregor, J.D. (eds.) Proceedings 13th Software Product Lines Conference (SPLC 2009), pp. 301-302. ACM Press, New York (2009)
    • (2009) Proceedings 13th Software Product Lines Conference (SPLC 2009) , pp. 301-302
    • Krut, R.W.1    Cohen, S.G.2
  • 25
    • 85008979790 scopus 로고
    • Modal Specifications
    • Sifakis, J. (ed.) CAV 1989. Springer, Heidelberg
    • Larsen, K.G.: Modal Specifications. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407, pp. 232-246. Springer, Heidelberg (1990)
    • (1990) LNCS , vol.407 , pp. 232-246
    • Larsen, K.G.1
  • 26
    • 0025430468 scopus 로고
    • Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion
    • Larsen, K.G.: Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion. Theor. Comput. Sci. 72(2-3), 265-288 (1990)
    • (1990) Theor. Comput. Sci. , vol.72 , Issue.2-3 , pp. 265-288
    • Larsen, K.G.1
  • 27
    • 37149013404 scopus 로고    scopus 로고
    • Modal I/O Automata for Interface and Product Line Theories
    • De Nicola, R. (ed.) ESOP 2007. Springer, Heidelberg
    • Larsen, K.G., Nyman, U., Wa̧sowski, A.: Modal I/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64-79. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4421 , pp. 64-79
    • Larsen, K.G.1    Nyman, U.2    Wa̧sowski, A.3
  • 34
    • 84957706882 scopus 로고    scopus 로고
    • Model-Checking: A Tutorial Introduction
    • Cortesi, A., Filé, G. (eds.) SAS 1999. Springer, Heidelberg
    • Müller-Olm, M., Schmidt, D.A., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Filé, G. (eds.) SAS 1999. LNCS, vol. 1694, pp. 330-354. Springer, Heidelberg (1999)
    • (1999) LNCS , vol.1694 , pp. 330-354
    • Müller-Olm, M.1    Schmidt, D.A.2    Steffen, B.3
  • 35
    • 36749060136 scopus 로고    scopus 로고
    • Service-oriented computing: State of the art and research challenges
    • Papazoglou, M., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: State of the art and research challenges. IEEE Comput. 40(11), 38-45 (2007)
    • (2007) IEEE Comput. , vol.40 , Issue.11 , pp. 38-45
    • Papazoglou, M.1    Traverso, P.2    Dustdar, S.3    Leymann, F.4
  • 38
    • 33749552243 scopus 로고    scopus 로고
    • A configurable reference modelling language
    • Rosemann, M., van der Aalst, W.M.P.: A configurable reference modelling language. Inf. Syst. 32(1), 1-23 (2007)
    • (2007) Inf. Syst. , vol.32 , Issue.1 , pp. 1-23
    • Rosemann, M.1    Van Der Aalst, W.M.P.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.