{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004197729,0.0009254034,0.0008888884,0.001461316,0.0008887622,0.002002444,0.002047508,0.001696859,0.002619062],"category_scores_gemma":[0.01220491,0.000969068,0.001394826,0.0009903861,0.001810952,0.003109178,0.0019857,0.001573168,0.001190152],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001396803,"about_ca_system_score_gemma":0.002769153,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003362824,"about_ca_topic_score_gemma":0.001173539,"domain_scores_codex":[0.9945549,0.00157412,0.0003257951,0.000470885,0.002781308,0.000292989],"domain_scores_gemma":[0.9958289,0.002099536,0.0003574248,0.0008966891,0.0007617832,0.00005562389],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001119017,0.0001140749,0.001855758,0.0003939518,0.00006943133,0.0006998977,0.0005488297,0.1986638,0.01596901,0.706104,0.001819464,0.0736499],"study_design_scores_gemma":[0.00004395795,0.00007151061,0.0004016523,0.0001329847,0.00003586819,0.0002809153,0.0001001304,0.7639058,0.02376187,0.1857852,0.02543956,0.00004058953],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008819589,0.0003622173,0.9837275,0.0001437221,0.00005598741,0.0001270427,0.00006505277,0.0004873057,0.006211578],"genre_scores_gemma":[0.3851168,0.00127621,0.6055887,0.0001368702,0.00006917001,0.0007199104,0.0004559548,0.0004161441,0.006220192],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004197729,"threshold_uncertainty_score":0.02219999,"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."}}