{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001576171,0.0001835742,0.0001772596,0.0001179271,0.0001980117,0.0001221138,0.001057499,0.00007220377,0.0002364181],"category_scores_gemma":[0.001118527,0.0001692513,0.00007067499,0.0004161659,0.00007057139,0.0005126013,0.0001901386,0.0002503733,0.0002406613],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006766492,"about_ca_system_score_gemma":0.00001202975,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001557458,"about_ca_topic_score_gemma":0.000005842109,"domain_scores_codex":[0.9986701,0.0001011379,0.0002084916,0.0004891009,0.0002096367,0.0003215469],"domain_scores_gemma":[0.997489,0.001293259,0.00005734631,0.001006647,0.00005240908,0.0001013224],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000003400316,0.0001979555,0.0005851893,0.00003777663,0.0001114389,0.0001171169,0.006694807,0.1645225,0.06586391,0.1027459,0.006352738,0.6527672],"study_design_scores_gemma":[0.000928959,0.0001751694,0.01272974,0.0004199994,0.00007891581,0.0002650027,0.000688554,0.08110612,0.07281271,0.7405963,0.08618776,0.004010786],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005921403,0.0004788926,0.9940883,0.001332816,0.0003477827,0.0001175997,0.00001640606,0.002204185,0.0008218677],"genre_scores_gemma":[0.03976092,0.00007226805,0.9588508,0.000200908,0.00008256669,0.00003823371,0.000003603514,0.00001730725,0.0009733637],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6487564,"threshold_uncertainty_score":0.6901869,"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."}}