{"id":"W2129171031","doi":"10.1109/depcos-relcomex.2006.13","title":"Compatibility of Software Components - Modeling and Verification","year":2006,"lang":"en","type":"article","venue":"","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"Memorial University of Newfoundland","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Component-based software engineering; Component (thermodynamics); Petri net; Reachability; Deadlock; Software development; Distributed computing; Compatibility (geochemistry); Software; Software construction; Software system; Software engineering; Software framework; Software verification; Programming language; Theoretical computer science; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.0002662894,0.00006394301,0.0001236408,0.00005417693,0.00004782179,0.00003377824,0.0002820317,0.00002984887,0.000001678459],"category_scores_gemma":[0.00001566127,0.00005959594,0.00001927032,0.0001428225,0.00002123172,0.000243253,0.0001141046,0.00003596086,0.0000029277],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002168936,"about_ca_system_score_gemma":0.00001341089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005214298,"about_ca_topic_score_gemma":0.00001201169,"domain_scores_codex":[0.9991567,0.00003662541,0.0002822005,0.0002382357,0.0001867082,0.00009951716],"domain_scores_gemma":[0.9993641,0.00004502225,0.00006878062,0.0004069179,0.00009055767,0.00002455714],"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.00002272636,0.0004737673,0.1291444,0.0003513374,0.00002886686,0.00000323827,0.0010111,0.6415372,0.03765811,0.1546115,0.0003256191,0.03483215],"study_design_scores_gemma":[0.0001255548,0.00000721038,0.005402125,0.00001556178,0.000001267988,0.000002496279,0.000006199032,0.9895592,0.0008633854,0.003942188,0.00001277643,0.00006203556],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4298019,0.0000624157,0.5696086,0.00001986299,0.00004299561,0.00004722243,7.869195e-7,0.0000643281,0.0003518477],"genre_scores_gemma":[0.8090926,0.000001339272,0.1908631,0.00001065482,0.00001024731,0.000001728287,0.000002705594,0.000002439031,0.00001522603],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.3792906,"threshold_uncertainty_score":0.2430252,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03741657718534137,"score_gpt":0.2469893192622546,"score_spread":0.2095727420769133,"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."}}