{"id":"W2070709401","doi":"10.1016/j.jss.2012.05.075","title":"Specification and monitoring of data-centric temporal properties for service-based systems","year":2012,"lang":"en","type":"article","venue":"Journal of Systems and Software","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Service (business); Systems engineering; Software engineering; Engineering; Business","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.001325613,0.000107267,0.000323924,0.0001259433,0.00005978301,0.00008654942,0.0003869286,0.00005682972,5.308418e-8],"category_scores_gemma":[0.0003909424,0.00007837155,0.00002432056,0.0001459653,0.00002020693,0.001145314,0.00009227524,0.00008702577,1.493167e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003345267,"about_ca_system_score_gemma":0.00004614587,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001925078,"about_ca_topic_score_gemma":1.243905e-7,"domain_scores_codex":[0.9989369,0.000083103,0.0004680134,0.0001291109,0.0002125727,0.0001703047],"domain_scores_gemma":[0.9983365,0.0004345725,0.0004881457,0.000323356,0.0003254533,0.00009200039],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0003088926,0.0003968729,0.7525873,0.02201882,0.0004806427,0.00002197556,0.008054581,0.1182939,0.01373772,0.003865785,0.0005571717,0.07967631],"study_design_scores_gemma":[0.02066341,0.004872201,0.493899,0.03179722,0.001064682,0.004893939,0.02594406,0.3013334,0.03027433,0.002497585,0.07660189,0.006158192],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07219324,0.02464909,0.9015939,0.00003834704,0.001278654,0.0001969474,0.000009167989,0.00004014576,4.852042e-7],"genre_scores_gemma":[0.6783963,0.00008652711,0.3211774,0.000002556884,0.0003134827,0.000005800962,0.000001001978,0.000008374346,0.000008506551],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6062031,"threshold_uncertainty_score":0.3195899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1777093521037079,"score_gpt":0.3154955937452761,"score_spread":0.1377862416415683,"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."}}