{"id":"W2556168267","doi":"","title":"A Formal Semantics for the Business Process Execution Language for Web Services","year":2005,"lang":"en","type":"article","venue":"","topic":"Hermeneutics and Narrative Identity","field":"Arts and Humanities","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Business Process Execution Language; Computer science; Programming language; Abstract state machines; Formal semantics (linguistics); Web service; Operational semantics; Semantics (computer science); Business process; Software engineering; Formalism (music); Business process modeling; Abstraction; Service-oriented architecture; Finite-state machine; Work in process; Engineering","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.0001591042,0.00008221958,0.00008322305,0.00002639452,0.0007065402,0.0003007651,0.0001252236,0.00002322102,0.0003481177],"category_scores_gemma":[0.000009792374,0.00004900597,0.0000512124,0.00002573801,0.00006052719,0.0003851838,0.00001788731,0.00002914007,0.00001448429],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001120801,"about_ca_system_score_gemma":0.00003499836,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000149102,"about_ca_topic_score_gemma":0.04657532,"domain_scores_codex":[0.9995001,0.000004758942,0.000127292,0.00009678426,0.00008232722,0.0001887207],"domain_scores_gemma":[0.9994814,0.00006028424,0.00005008593,0.00008908842,0.000299925,0.0000192596],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002148459,0.0003571433,0.0003669257,0.001644221,0.0001847729,7.065444e-7,0.09389306,0.000186807,0.002042163,0.8562211,0.01943286,0.02545539],"study_design_scores_gemma":[0.0008638428,0.00006804675,0.0005152171,0.00002966807,0.00008095814,0.000001125481,0.0179933,0.04761361,0.001260498,0.001968423,0.9294,0.0002053771],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.975747,0.0002223496,0.001778325,0.005961641,0.0004923193,0.001367376,0.0001931633,0.0001097078,0.01412804],"genre_scores_gemma":[0.9864661,0.000008987879,0.00008192417,0.0006434631,0.001106971,0.0001467838,0.00002905281,0.00001148178,0.01150531],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9099671,"threshold_uncertainty_score":0.9708222,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01966356379469939,"score_gpt":0.2668880564890794,"score_spread":0.24722449269438,"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."}}