{"id":"W2023385229","doi":"10.1142/s0218194010004931","title":"FORMALIZATION OF TEXTUAL USE CASES BASED ON PETRI NETS","year":2010,"lang":"en","type":"article","venue":"International Journal of Software Engineering and Knowledge Engineering","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Petri net; Programming language; Semantics (computer science); Syntax; Tuple; Specification language; Process architecture; Formal specification; Formal methods; Artificial intelligence; Natural language processing; Software engineering","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.0002513916,0.000168728,0.0002222256,0.0009269335,0.00003183714,0.0001601902,0.0002227536,0.00007235554,0.00001868351],"category_scores_gemma":[0.002199091,0.00015601,0.0001072698,0.0002959775,0.00001563833,0.0008187528,0.00004856549,0.0002674876,0.000003152349],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001895332,"about_ca_system_score_gemma":0.00003205759,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002569987,"about_ca_topic_score_gemma":0.000005116092,"domain_scores_codex":[0.9990548,0.000001874322,0.0004007399,0.0001179623,0.0002862073,0.000138413],"domain_scores_gemma":[0.9985474,0.0002713451,0.000227024,0.00009105396,0.0008368787,0.00002630015],"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.0000774955,0.0001766037,0.02306064,0.000355838,0.0001687383,0.00006143927,0.00006986763,0.9542397,0.00407167,0.003166411,0.0002009936,0.01435062],"study_design_scores_gemma":[0.0006319977,0.00002333266,0.007823586,0.0004783706,0.00006923402,0.00005302622,0.00001681621,0.9808314,0.0006476606,0.00001350224,0.00918079,0.0002302315],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7837834,0.0001874487,0.2140277,0.00008703551,0.001723534,0.00003965855,0.000005868642,0.00009604954,0.00004925759],"genre_scores_gemma":[0.9944513,0.00001500511,0.004410112,0.00004242984,0.001020718,0.000001797599,0.00001132429,0.00002986382,0.00001740295],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2106679,"threshold_uncertainty_score":0.6361905,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0111263678228046,"score_gpt":0.218509957292181,"score_spread":0.2073835894693764,"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."}}