{"id":"W1671209498","doi":"10.1109/ase.1998.732635","title":"Synthesizing software architecture descriptions from Message Sequence Chart specifications","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":44,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Software engineering; Chart; Programming language; Software; Formal specification; Software architecture; Sequence (biology); Sequence diagram; Unified Modeling 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.001799032,0.0009456322,0.0004515839,0.001293896,0.0004200998,0.001551501,0.0009450363,0.0009523079,0.003071944],"category_scores_gemma":[0.006694392,0.0007344423,0.00101293,0.0009215043,0.0007577828,0.001407117,0.0008378573,0.0008168828,0.000871203],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009191962,"about_ca_system_score_gemma":0.001875923,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002901189,"about_ca_topic_score_gemma":0.005919876,"domain_scores_codex":[0.9985951,0.0004382096,0.0001223203,0.0001177541,0.0006263758,0.0001002079],"domain_scores_gemma":[0.99646,0.002276839,0.0003599536,0.0003689152,0.0004765564,0.00005770577],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003548177,0.0001290655,0.002148987,0.0007644394,0.00006584232,0.0009475166,0.001140278,0.5221488,0.05975192,0.2325264,0.004522013,0.1754999],"study_design_scores_gemma":[0.00008187604,0.000111214,0.0002281995,0.00009176356,0.00004727292,0.00009872519,0.000162912,0.8662016,0.07360654,0.03964969,0.01968355,0.00003668217],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02670038,0.00008171555,0.9667708,0.00009604719,0.00002860457,0.000200574,0.0004740357,0.003209641,0.002438273],"genre_scores_gemma":[0.1997181,0.0003313896,0.7930309,0.00005444368,0.00002055062,0.0004995128,0.002441118,0.0007880703,0.003116037],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003071944,"threshold_uncertainty_score":0.01027662,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1963126281156106,"score_gpt":0.2768797168083055,"score_spread":0.08056708869269488,"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."}}