{"id":"W2101887357","doi":"10.1109/mcetech.2008.16","title":"Behavioral Interface Conformance Checking for WS-BPEL Processes","year":2008,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Business Process Execution Language; Computer science; Orchestration; Executable; Programming language; Web service; Interface (matter); Software engineering; Notation; Model checking; Conformance checking; Service (business); Business process; Service-oriented architecture; Operating system; Business process modeling; Work in process","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01150764,0.001080345,0.001237151,0.002584457,0.001350954,0.003688004,0.002188335,0.001731948,0.001955781],"category_scores_gemma":[0.04336349,0.001011922,0.00249699,0.001278433,0.003950807,0.003320344,0.001924853,0.0025369,0.0004019185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001963259,"about_ca_system_score_gemma":0.003560023,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00704361,"about_ca_topic_score_gemma":0.005732026,"domain_scores_codex":[0.9854643,0.004391384,0.00120055,0.001820873,0.005692764,0.001430132],"domain_scores_gemma":[0.9615681,0.02551076,0.003642167,0.004206709,0.004522183,0.0005501696],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001979842,0.001328894,0.02623267,0.0008602181,0.0005067735,0.002339746,0.001573018,0.5638028,0.04414741,0.2761481,0.003100548,0.07797991],"study_design_scores_gemma":[0.0001919859,0.0001078746,0.0005070691,0.00004513386,0.00008958238,0.0001254218,0.00006901145,0.935638,0.0218862,0.04045599,0.0008509055,0.00003296221],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1265278,0.00006661566,0.8633379,0.0003604445,0.00007831687,0.0002700611,0.0001990867,0.006171971,0.002987908],"genre_scores_gemma":[0.8077058,0.00009143954,0.1887508,0.0002117397,0.00004792334,0.0003533227,0.0006176,0.0005883667,0.001632937],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01150764,"threshold_uncertainty_score":0.06085896,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03545674072009918,"score_gpt":0.2922526067284633,"score_spread":0.2567958660083641,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}