{"id":"W1649360688","doi":"10.1007/978-3-642-13541-5_2","title":"Modeling and Verifying Business Interactions via Commitments and Dialogue Actions","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Variety (cybernetics); Negotiation; Protocol (science); Domain (mathematical analysis); Interaction protocol; Human–computer interaction; Model checking; Business process; Software engineering; Communications protocol; Artificial intelligence; Theoretical computer science","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0003580772,0.0003184021,0.0003145311,0.0005402677,0.0005405615,0.0005614811,0.0006873172,0.0002109187,0.000005805355],"category_scores_gemma":[0.00004341207,0.0002976974,0.00003916281,0.0002822003,0.0002323244,0.0009459117,0.0007276932,0.0006784888,0.000007840286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001050148,"about_ca_system_score_gemma":0.0001125943,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000221666,"about_ca_topic_score_gemma":0.0006826781,"domain_scores_codex":[0.9980381,0.00002409517,0.0003512699,0.0009064775,0.0003719459,0.0003081469],"domain_scores_gemma":[0.9987062,0.0001936752,0.0001648391,0.0006106895,0.0001911747,0.0001334085],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008246656,0.00007214498,0.0004573173,0.0001603676,0.0000386287,0.00003773578,0.003399762,0.05931901,0.007415617,0.008041665,0.000006494444,0.921043],"study_design_scores_gemma":[0.0001890021,0.00002293047,0.0005041747,0.0002389299,0.000008402075,0.0001047732,2.643005e-7,0.9864651,0.0002393101,0.01132661,0.0005696271,0.0003308756],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002462316,0.0001776751,0.9934921,0.0004307333,0.002733406,0.0003014281,0.000004015998,0.00008468096,0.0003135906],"genre_scores_gemma":[0.8245371,0.00008872435,0.1745874,0.0003060588,0.000355094,0.0000118777,0.000007204786,0.00002138674,0.00008516796],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9271461,"threshold_uncertainty_score":0.9999475,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0415160642834746,"score_gpt":0.2758590729802469,"score_spread":0.2343430086967723,"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."}}