메뉴 건너뛰기




Volumn 5366 LNCS, Issue , 2008, Pages 440-454

Verification from declarative specifications using logic programming

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; ENTERPRISE RESOURCE MANAGEMENT; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; PHILOSOPHICAL ASPECTS; PROGRAMMING THEORY; ADMINISTRATIVE DATA PROCESSING; FORMAL VERIFICATION;

EID: 58749087332     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89982-2_39     Document Type: Conference Paper
Times cited : (24)

References (26)
  • 1
    • 84976816925 scopus 로고
    • Algorithm = logic + control
    • Kowalski, R.A.: Algorithm = logic + control. Communications of the ACM 22(7), 424-436 (1979)
    • (1979) Communications of the ACM , vol.22 , Issue.7 , pp. 424-436
    • Kowalski, R.A.1
  • 2
    • 0032294174 scopus 로고    scopus 로고
    • Agent communication language: Rethinking the principles
    • December
    • Singh, M.P.: Agent communication language: rethinking the principles. IEEE Computer, 40-47 (December 1998)
    • (1998) IEEE Computer , pp. 40-47
    • Singh, M.P.1
  • 5
    • 33749635457 scopus 로고    scopus 로고
    • A declarative approach for flexible business processes management
    • Eder, J, Dustdar, S, eds, BPM Workshops 2006, Springer, Heidelberg
    • Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.4103 , pp. 169-180
    • Pesic, M.1    van der Aalst, W.M.P.2
  • 6
    • 58749103227 scopus 로고    scopus 로고
    • Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, B: Formal Models and Sematics (B), pp. 995-1072. MIT Press, Cambridge (1990)
    • Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 995-1072. MIT Press, Cambridge (1990)
  • 7
    • 38149015332 scopus 로고    scopus 로고
    • LTL satisfiability checking
    • In: Model Checking Software, Bošnački, D, Edelkamp, S, eds, SPIN, Springer, Heidelberg
    • Rozier, K.Y., Vardi, M.Y.: LTL satisfiability checking. In: Model Checking Software. In: Bošnački, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol. 4595, pp. 149-167. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4595 , pp. 149-167
    • Rozier, K.Y.1    Vardi, M.Y.2
  • 8
    • 43949167687 scopus 로고
    • Real-time logics: Complexity and expressiveness
    • Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Information and Computation 104, 35-77 (1993)
    • (1993) Information and Computation , vol.104 , pp. 35-77
    • Alur, R.1    Henzinger, T.A.2
  • 10
    • 0028409548 scopus 로고
    • A resolution principle for constrained logics
    • Bürckert, H.: A resolution principle for constrained logics. Artificial Intelligence 66, 235-271 (1994)
    • (1994) Artificial Intelligence , vol.66 , pp. 235-271
    • Bürckert, H.1
  • 13
    • 56749175704 scopus 로고    scopus 로고
    • B-Tropos: Agentoriented requirements engineering meets computational logic for declarative business process modeling and verification
    • Sadri, F, Satoh, K, eds, CLIMA VIII, Springer, Heidelberg
    • Bryl, V., Mello, P., Montali, M., Torroni, P., Zannone, N.: B-Tropos: Agentoriented requirements engineering meets computational logic for declarative business process modeling and verification. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII. LNCS (LNAI), vol. 5056, pp. 157-176. Springer, Heidelberg (2008)
    • (2008) LNCS (LNAI , vol.5056 , pp. 157-176
    • Bryl, V.1    Mello, P.2    Montali, M.3    Torroni, P.4    Zannone, N.5
  • 14
    • 4243532938 scopus 로고
    • Constraint logic programming: A survey
    • Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19(20), 503-582 (1994)
    • (1994) Journal of Logic Programming , vol.19 , Issue.20 , pp. 503-582
    • Jaffar, J.1    Maher, M.2
  • 15
    • 0032186691 scopus 로고    scopus 로고
    • Theory and practice of constraint handling rules
    • Frühwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming 37(1-3), 95-138 (1998)
    • (1998) Journal of Logic Programming , vol.37 , Issue.1-3 , pp. 95-138
    • Frühwirth, T.1
  • 16
    • 27144485193 scopus 로고    scopus 로고
    • Christiansen, H., Dahl, V.: HYPROLOG: A new logic programming language with assumptions and abduction. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, 3668, pp. 159-173. Springer, Heidelberg (2005)
    • Christiansen, H., Dahl, V.: HYPROLOG: A new logic programming language with assumptions and abduction. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 159-173. Springer, Heidelberg (2005)
  • 18
    • 84888249003 scopus 로고    scopus 로고
    • Russo, A., Miller, R., Nuseibeh, B., Kramer, J.: An abductive approach for analysing event-based requirements specifications. In: Stuckey, P. (ed.) ICLP 2002. LNCS, 2401, pp. 22-37. Springer, Heidelberg (2002)
    • Russo, A., Miller, R., Nuseibeh, B., Kramer, J.: An abductive approach for analysing event-based requirements specifications. In: Stuckey, P. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 22-37. Springer, Heidelberg (2002)
  • 20
    • 77955740653 scopus 로고    scopus 로고
    • Casella, G., Mascardi, V.: West2east: exploiting web service technologies to engineer agent-based software. IJAOSE 1(3/4), 396-434 (2007)
    • Casella, G., Mascardi, V.: West2east: exploiting web service technologies to engineer agent-based software. IJAOSE 1(3/4), 396-434 (2007)
  • 23
    • 84948951487 scopus 로고    scopus 로고
    • Model checking in clp
    • Cleaveland, W.R, ed, TACAS 1999, Springer, Heidelberg
    • Delzanno, G., Podelski, A.: Model checking in clp. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol. 1579, pp. 223-239. Springer, Heidelberg (1999)
    • (1999) LNCS , vol.1579 , pp. 223-239
    • Delzanno, G.1    Podelski, A.2
  • 24
    • 0031337405 scopus 로고    scopus 로고
    • A constraint-based approach for specification and verification of real-time systems
    • IEEE Computer Society, Los Alamitos
    • Gupta, G., Pontelli, E.: A constraint-based approach for specification and verification of real-time systems. In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS 1997), pp. 230-239. IEEE Computer Society, Los Alamitos (1997)
    • (1997) Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS , pp. 230-239
    • Gupta, G.1    Pontelli, E.2
  • 25
    • 38149060201 scopus 로고    scopus 로고
    • Gupta, G., Bansal, A., Min, R., Simon, L., Mallya, A.: Coinductive logic programming and its applications. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, 4670, pp. 27-44. Springer, Heidelberg (2007)
    • Gupta, G., Bansal, A., Min, R., Simon, L., Mallya, A.: Coinductive logic programming and its applications. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 27-44. Springer, Heidelberg (2007)


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