메뉴 건너뛰기




Volumn , Issue , 2004, Pages 274-284

Verifying process models built using parameterized state machines

Author keywords

Finite state machine; Little JIL; LTSA; SMC; Software process; Workflow

Indexed keywords

ALGORITHMS; BIT ERROR RATE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA HANDLING; DECISION MAKING; HIERARCHICAL SYSTEMS; MULTI AGENT SYSTEMS; PARAMETER ESTIMATION; SEMANTICS;

EID: 23744465728     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1013886.1007549     Document Type: Conference Paper
Times cited : (11)

References (23)
  • 2
    • 0001861464 scopus 로고    scopus 로고
    • Checking safety properties using compositional reachability analysis
    • Jan.
    • S. C. Cheung and J. Kramer. Checking safety properties using compositional reachability analysis. ACM Trans. on Soft. Eng. and Methodology, 8(1):49-78, Jan. 1999.
    • (1999) ACM Trans. on Soft. Eng. and Methodology , vol.8 , Issue.1 , pp. 49-78
    • Cheung, S.C.1    Kramer, J.2
  • 8
    • 0036039907 scopus 로고    scopus 로고
    • Verification support for workflow design with UML activity graphs
    • Orlando, Florida, May
    • R. Eshuis and R. Wieringa. Verification support for workflow design with UML activity graphs. In Proc. of the 24th Intl. Conf. on Soft. Eng, pages 166-176, Orlando, Florida, May 2002.
    • (2002) Proc. of the 24th Intl. Conf. on Soft. Eng , pp. 166-176
    • Eshuis, R.1    Wieringa, R.2
  • 12
    • 23744491104 scopus 로고    scopus 로고
    • Verification of business processes for Web services
    • York University Department of Computer Science, Oct.
    • M. Koshkina and F. van Breugel. Verification of business processes for Web services. Technical Report CS-2003-11, York University Department of Computer Science, Oct. 2003.
    • (2003) Technical Report , vol.CS-2003-11
    • Koshkina, M.1    Van Breugel, F.2
  • 13
    • 0004002694 scopus 로고    scopus 로고
    • Web services flow language (wsfl 1.0)
    • IBM
    • F. Leymann. Web services flow language (wsfl 1.0). Technical report, IBM, 2001. available at http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf.
    • (2001) Technical Report
    • Leymann, F.1
  • 19
    • 84947247929 scopus 로고    scopus 로고
    • Model-checking multi-threaded distributed java programs
    • S. D. Stoller. Model-checking multi-threaded distributed java programs. In Proc. of the 7th Intl. SPIN Workshop, pages 224-244, 2000.
    • (2000) Proc. of the 7th Intl. SPIN Workshop , pp. 224-244
    • Stoller, S.D.1
  • 21
    • 0010466346 scopus 로고    scopus 로고
    • Little-JIL 1.0 language report
    • University of Massachusetts, Department of Computer Science
    • A. Wise. Little-JIL 1.0 language report. Technical Report TR 98-24, University of Massachusetts, Department of Computer Science, 1998.
    • (1998) Technical Report , vol.TR 98-24
    • Wise, A.1


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