{"id":"W1562306439","doi":"10.1007/978-3-540-72952-5_3","title":"Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking","year":2007,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Middleware (distributed applications); Java; Event (particle physics); Distributed computing; Pipeline (software); Software engineering; Domain (mathematical analysis); Programming language","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.003937045,0.001301845,0.001260685,0.0008420018,0.0007619301,0.001900434,0.003404633,0.001505548,0.00152165],"category_scores_gemma":[0.01413884,0.001297406,0.002635262,0.0008175717,0.00205151,0.003244583,0.002218607,0.002073401,0.0003720343],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001266383,"about_ca_system_score_gemma":0.002627886,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003987563,"about_ca_topic_score_gemma":0.004193989,"domain_scores_codex":[0.9945614,0.001799521,0.0004054338,0.0006816686,0.002039836,0.0005120927],"domain_scores_gemma":[0.988559,0.005813633,0.0009341933,0.003606319,0.0009629483,0.000124047],"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.0003874479,0.0002015335,0.002670627,0.0003535206,0.0002166542,0.0003391673,0.0002541367,0.8563829,0.04390173,0.0483452,0.001105188,0.04584187],"study_design_scores_gemma":[0.00005971282,0.00007423171,0.0002235875,0.0000179772,0.00005689643,0.00009899114,0.00002468094,0.943481,0.03425311,0.02080516,0.0008895322,0.00001525211],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05018621,0.00008785796,0.9441656,0.00008857947,0.00003535235,0.00007161737,0.00007732445,0.004012912,0.001274574],"genre_scores_gemma":[0.8137476,0.0001659277,0.1834608,0.00008411735,0.00002547024,0.0001179797,0.0003111901,0.0005597225,0.001527042],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003987563,"threshold_uncertainty_score":0.02082139,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04228216262113062,"score_gpt":0.2789935347822945,"score_spread":0.2367113721611639,"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."}}