{"id":"W2171495836","doi":"10.1109/ideas.1997.625676","title":"A formal specification strategy for electronic commerce","year":2002,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"","keywords":"Computer science; Correctness; Transaction processing; Dependability; Synchronization (alternating current); Deadlock; Database transaction; Distributed transaction; Programmer; Rollback; Distributed computing; Formal specification; Compensating transaction; Formal methods; Database; Software engineering; Programming language; Computer network","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.004335549,0.001335305,0.0005617322,0.001786605,0.002146009,0.005462284,0.002649524,0.002110398,0.01305659],"category_scores_gemma":[0.00576996,0.001030551,0.001961204,0.001770277,0.005217944,0.007792587,0.003061633,0.003422001,0.004826436],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003095508,"about_ca_system_score_gemma":0.002774935,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00459527,"about_ca_topic_score_gemma":0.00355214,"domain_scores_codex":[0.9976529,0.0009975486,0.000296636,0.0002875876,0.0005697184,0.0001956187],"domain_scores_gemma":[0.9976916,0.001220089,0.000153738,0.0003576465,0.0004637046,0.0001130983],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004717622,0.00001209838,0.00002975014,0.00003227604,0.000002842016,0.00006808148,0.000239983,0.0009890975,0.0002716877,0.9898413,0.001784623,0.006723403],"study_design_scores_gemma":[0.00002872057,0.00003140004,0.00004853737,0.0001067325,0.00001545315,0.0002345072,0.0002873314,0.01476742,0.0009039201,0.8392259,0.1443285,0.00002159297],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0019526,0.0009968729,0.9483023,0.002401463,0.0002340724,0.0002234685,0.000217469,0.0006013068,0.04507043],"genre_scores_gemma":[0.1372349,0.002120435,0.8206272,0.00172828,0.0003902272,0.001242646,0.001210819,0.0004697435,0.03497574],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01305659,"threshold_uncertainty_score":0.0436787,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04526856118698076,"score_gpt":0.259188896432179,"score_spread":0.2139203352451982,"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."}}