메뉴 건너뛰기
CEUR Workshop Proceedings
Volumn 563, Issue , 2010, Pages 49-56
Safira: Implementing the set algebra for service behavior
Author keywords

[No Author keywords available]
Indexed keywords

COMPACT REPRESENTATION; OBSERVABLE BEHAVIOR; SET OPERATION;
EID: 78049250234     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (2)
References (3)
  • 1
    • 35448948064 scopus 로고    scopus 로고
    • Operating guidelines for finite-state services
    • LNCS 4546, Springer
    • Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: ICATPN 2007. LNCS 4546, Springer (2007) 321-341.
    • (2007) ICATPN 2007 , pp. 321-341
    • Lohmann, N.1    Massuthe, P.2    Wolf, K.3
  • 2
    • 70349316657 scopus 로고    scopus 로고
    • Set algebra for service behavior: Applications and constructions
    • LNCS 5701, Springer
    • Kaschner, K., Wolf, K.: Set algebra for service behavior: Applications and constructions. In: BPM 2009. LNCS 5701, Springer (2009) 193-210.
    • (2009) BPM 2009 , pp. 193-210
    • Kaschner, K.1    Wolf, K.2
  • 3
    • 38049113090 scopus 로고    scopus 로고
    • Behavioral constraints for services
    • LNCS 4714, Springer
    • Lohmann, N., Massuthe, P., Wolf, K.: Behavioral constraints for services. In: BPM 2007. LNCS 4714, Springer (2007) 271-287.
    • (2007) BPM 2007 , pp. 271-287
    • Lohmann, N.1    Massuthe, P.2    Wolf, K.3

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