{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00006947704,0.0001511953,0.0001443753,0.00007891413,0.0002161425,0.00008060567,0.000956825,0.00004782873,0.00001505574],"category_scores_gemma":[0.000004602086,0.0001215037,0.00003962039,0.0003921945,0.00003299927,0.0006832029,0.0002080705,0.00008509609,0.00003647871],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001272046,"about_ca_system_score_gemma":0.000104477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009574548,"about_ca_topic_score_gemma":0.0001888339,"domain_scores_codex":[0.9989738,0.000007559378,0.000198755,0.0003204462,0.0001814482,0.000318019],"domain_scores_gemma":[0.99924,0.00005739881,0.0000771527,0.0003538841,0.0001930856,0.00007841368],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0007101161,0.004111748,0.06189989,0.00591796,0.0004384935,0.0002242314,0.3130725,0.005020364,0.04581122,0.1690429,0.01855274,0.3751979],"study_design_scores_gemma":[0.003175399,0.00202092,0.004653331,0.0002856949,0.00004390483,0.0004702523,0.001489789,0.05740498,0.6355134,0.003476043,0.2895989,0.00186741],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3595855,0.0002567552,0.63381,0.000611874,0.0003325074,0.0002984197,0.000003247439,0.0003915053,0.004710221],"genre_scores_gemma":[0.9553916,0.00002217537,0.04253732,0.001297371,0.00008311286,0.00004510614,0.000004241891,0.0000104045,0.0006087049],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5958061,"threshold_uncertainty_score":0.4954776,"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."}}