{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00421722,0.001025078,0.0007267395,0.001616067,0.001544987,0.005344171,0.001778526,0.002060724,0.003253187],"category_scores_gemma":[0.005060039,0.0007708704,0.001929051,0.001431395,0.005897394,0.005522787,0.002425988,0.004259907,0.0009842395],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002136712,"about_ca_system_score_gemma":0.003550283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00399481,"about_ca_topic_score_gemma":0.002542737,"domain_scores_codex":[0.9961548,0.001349239,0.0005668013,0.0004185407,0.001202097,0.0003085133],"domain_scores_gemma":[0.9970602,0.00136128,0.0003458839,0.0004388495,0.0005930237,0.0002007049],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001318454,0.00001843677,0.0000446039,0.00006531306,0.000008768634,0.000107201,0.0003822111,0.004182372,0.0008378025,0.989532,0.0007759054,0.004032314],"study_design_scores_gemma":[0.00005401149,0.00003880682,0.000081757,0.000140196,0.00002538164,0.0002093129,0.0001996519,0.05742417,0.002067245,0.8832456,0.05648198,0.0000317572],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003132739,0.0003189834,0.9892678,0.001023723,0.000170726,0.0001423486,0.0002461283,0.0006972229,0.005000393],"genre_scores_gemma":[0.207213,0.0006885075,0.7836028,0.0009074351,0.0004041874,0.001174541,0.0008227313,0.0003524066,0.004834372],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005344171,"threshold_uncertainty_score":0.02230304,"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."}}