Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures

2013 ◽  
pp. 80-111 ◽  
Author(s):  
Florian Nafz ◽  
Jan-Philipp Steghöfer ◽  
Hella Seebach ◽  
Wolfgang Reif
Keyword(s):  
Formal Modeling

Unified Formal Modeling and Analyzing both Functionality and QoS of Web Services Composition

2011 ◽  
Vol 22 (11) ◽  
pp. 2698-2715 ◽  
Author(s):  
Fang-Xiong XIAO ◽  
Zhi-Qiu HUANG ◽  
Zi-Ning CAO ◽  
Li-Zhong TU ◽  
Yi ZHU
Keyword(s):  
Web Services ◽  
Formal Modeling ◽  
Web Services Composition ◽  
Services Composition

scholarly journals How Computational Modeling Can Force Theory Building in Psychological Science

2021 ◽  
pp. 174569162097058
Author(s):  
Olivia Guest ◽  
Andrea E. Martin
Keyword(s):  
Computational Modeling ◽  
Computational Model ◽  
Process Modeling ◽  
Theory Building ◽  
Formal Modeling ◽  
Inference Process ◽  
Experimental Practice ◽  
Psychological Science ◽  
Scientific Inference ◽  
And Behaviors

Psychology endeavors to develop theories of human capacities and behaviors on the basis of a variety of methodologies and dependent measures. We argue that one of the most divisive factors in psychological science is whether researchers choose to use computational modeling of theories (over and above data) during the scientific-inference process. Modeling is undervalued yet holds promise for advancing psychological science. The inherent demands of computational modeling guide us toward better science by forcing us to conceptually analyze, specify, and formalize intuitions that otherwise remain unexamined—what we dub open theory. Constraining our inference process through modeling enables us to build explanatory and predictive theories. Here, we present scientific inference in psychology as a path function in which each step shapes the next. Computational modeling can constrain these steps, thus advancing scientific inference over and above the stewardship of experimental practice (e.g., preregistration). If psychology continues to eschew computational modeling, we predict more replicability crises and persistent failure at coherent theory building. This is because without formal modeling we lack open and transparent theorizing. We also explain how to formalize, specify, and implement a computational model, emphasizing that the advantages of modeling can be achieved by anyone with benefit to all.

scholarly journals Formal modeling and analysis of RAMP transaction systems

2016 ◽  
Author(s):  
Si Liu ◽  
Peter Csaba Ölveczky ◽  
Muntasir Raihan Rahman ◽  
Jatin Ganhotra ◽  
Indranil Gupta ◽  
...  
Keyword(s):  
Formal Modeling ◽  
Modeling And Analysis

Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations

2019 ◽  
Author(s):  
Shivani Tripathy ◽  
Debiprasanna Sahoo ◽  
Manoranjan Satpathy ◽  
Srinivas Pinisetty
Keyword(s):  
Flash Memory ◽  
Formal Modeling ◽  
Nand Flash ◽  
Nand Flash Memory
Sign in / Sign up

Export Citation Format

Share Document