Deductive Semantics of RTPA

doi:10.4018/jcini.2008040106

Reference Hub

This research has been cited in:

Conference
RTPA-based Software Generation by AI Programming2019 IEEE 18th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC46617.2019.9146036
Chapter
Pattern Classifications in Cognitive InformaticsComputational Intelligence Paradigms in Advanced Pattern Classification10.1007/978-3-642-24049-2_4
Chapter
On Contemporary Denotational Mathematics for Computational IntelligenceTransactions on Computational Science II10.1007/978-3-540-87563-5_2
Conference
On abstract intelligence and its denotational mathematics foundations2008 7th IEEE International Conference on Cognitive Informatics10.1109/COGINF.2008.4639146
Article
Semantic analysis in cognitive UBIAS & E-UBIAS systemsComputers & Mathematics with Applications10.1016/j.camwa.2011.07.041
Article
The odyssey to next-generation computers: cognitive computers (κC) inspired by the brain and powered by intelligent mathematicsFrontiers in Computer Science10.3389/fcomp.2023.1152592
Conference
On Abstract Sciences: From Data, Information, Knowledge to Intelligence Sciences2022 IEEE 21st International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC57084.2022.10101670
Conference
On Intelligent Mathematics underpinning Contemporary Abstract Sciences and Autonomous AI2022 IEEE 21st International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCICC57084.2022.10101583
Article
COGNITIVE LINGUISTIC PERSPECTIVES ON THE CHINESE LANGUAGENew Mathematics and Natural Computation10.1142/S179300571340005X
Article
A computational knowledge representation model for cognitive computersNeural Computing and Applications10.1007/s00521-014-1614-0
Conference
A semantic algebra for cognitive linguistics and cognitive computing2013 IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing10.1109/ICCI-CC.2013.6622221
Article
Special Issue on Cybernetics and Cognitive InformaticsIEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)10.1109/TSMCB.2009.2017294
Article
ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTINGInternational Journal of Semantic Computing10.1142/S1793351X10000833
Conference
Towards a Methodology for RTPA-MATLAB Code Generation Based on Machine Learning Rules2018 IEEE 17th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)10.1109/ICCI-CC.2018.8482093
Chapter
On Mathematical Laws of SoftwareTransactions on Computational Science II10.1007/978-3-540-87563-5_4
Conference
A formal knowledge representation system for the cognitive learning engineIEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11)10.1109/COGINF.2011.6016118
Chapter
Cognitive Informatics in Automatic Pattern Understanding and Cognitive Information SystemsAdvances in Cognitive Informatics and Cognitive Computing10.1007/978-3-642-16083-7_11
Chapter
A Comparative Study of STOPA and RTPATransactions on Computational Science II10.1007/978-3-540-87563-5_13
Conference
The operational semantics of Concept Algebra for cognitive computing and machine learningIEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11)10.1109/COGINF.2011.6016121
Article
Towards the abstract system theory of system science for cognitive and intelligent systemsComplex & Intelligent Systems10.1007/s40747-015-0001-5
Article
The Formal Design Model of a Real-Time Operating System (RTOS+)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010040106
Article
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPAInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2012040105
Chapter
Cognitive Informatics and Computational IntelligenceIntelligent Systems10.4018/978-1-5225-5643-5.ch010
Article
A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning EngineInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2011100101
Article
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)International Journal of Software Science and Computational Intelligence10.4018/jssci.2011040106
Chapter
The Formal Design Model of a Real-Time Operating System (RTOS+)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch013
Article
A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive RoboticsInternational Journal of Software Science and Computational Intelligence10.4018/ijssci.2013040103
Article
The Formal Design Models of a Set of Abstract Data Types (ADTs)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010100106
Chapter
The Formal Design Model of a Real-Time Operating System (RTOS+)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch014
Chapter
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)Advances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch015
Chapter
The Formal Design Model of an Automatic Teller Machine (ATM)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch015
Article
The Formal Design Model of an Automatic Teller Machine (ATM)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010101907
Chapter
The Formal Design Models of a Universal Array (UA) and its ImplementationAdvances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch017
Article
The Formal Design Models of Tree Architectures and BehaviorsInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2011100106
Article
The Formal Design Model of a File Management System (FMS)International Journal of Software Science and Computational Intelligence10.4018/jssci.2011010107
Chapter
Design and Implementation of an Autonomic Code Generator Based on RTPABreakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch012
Chapter
The Formal Design Model of a Telephone Switching System (TSS)Software and Intelligent Sciences10.4018/978-1-4666-0261-8.ch018
Chapter
A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning EngineAdvances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch001
Chapter
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept AlgebraCognitive Informatics for Revealing Human Cognition10.4018/978-1-4666-2476-4.ch013
Article
The Formal Design Models of Digraph Architectures and BehaviorsInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2012010105
Chapter
The Formal Design Models of a Set of Abstract Data Types (ADTs)Breakthroughs in Software Science and Computational Intelligence10.4018/978-1-4666-0264-9.ch016
Article
The Formal Design Model of a Lift Dispatching System (LDS)International Journal of Software Science and Computational Intelligence10.4018/jssci.2009062506
Chapter
On the Cognitive Complexity of Software and its Quantification and Formal MeasurementSoftware and Intelligent Sciences10.4018/978-1-4666-0261-8.ch016
Chapter
A Web Knowledge Discovery Engine Based on Concept AlgebraDevelopments in Natural Intelligence Research and Knowledge Engineering10.4018/978-1-4666-1743-8.ch010
Chapter
The Formal Design Model of a File Management System (FMS)Advances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch014
Chapter
The Formal Design Models of Tree Architectures and BehaviorsAdvances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch018
Article
The Formal Design Model of a Real-Time Operating System (RTOS+)International Journal of Software Science and Computational Intelligence10.4018/jssci.2010070106
Chapter
Empirical Studies on the Functional Complexity of Software in Large-Scale Software SystemsAdvances in Abstract Intelligence and Soft Computing10.4018/978-1-4666-2651-5.ch013
Article
A Web Knowledge Discovery Engine Based on Concept AlgebraInternational Journal of Cognitive Informatics and Natural Intelligence10.4018/jcini.2010010105
Chapter
The Formal Design Model of a Lift Dispatching System (LDS)Software and Intelligent Sciences10.4018/978-1-4666-0261-8.ch019
Chapter
Exploring the Cognitive Foundations of Software EngineeringSoftware and Intelligent Sciences10.4018/978-1-4666-0261-8.ch014
Article
Design and Implementation of an Autonomic Code Generator Based on RTPAInternational Journal of Software Science and Computational Intelligence10.4018/jssci.2010040103

Deductive Semantics of RTPA

Yingxu Wang

Source Title: International Journal of Cognitive Informatics and Natural Intelligence (IJCINI)2(2)

Cite Article Cite Article

MLA

Wang, Yingxu. "Deductive Semantics of RTPA." IJCINI vol.2, no.2 2008: pp.95-121. http://doi.org/10.4018/jcini.2008040106

APA

Wang, Y. (2008). Deductive Semantics of RTPA. International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), 2(2), 95-121. http://doi.org/10.4018/jcini.2008040106

Chicago

Wang, Yingxu. "Deductive Semantics of RTPA," International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) 2, no.2: 95-121. http://doi.org/10.4018/jcini.2008040106

Export Reference

Favorite Full-Issue Download

View Full Text PDF

Abstract

Deductive semantics is a novel software semantic theory that deduces the semantics of a program in a given programming language from a unique abstract semantic function to the concrete semantics embodied by the changes of status of a finite set of variables constituting the semantic environment of the program. There is a lack of a generic semantic function and its unified mathematical model in conventional semantics, which may be used to explain a comprehensive set of programming statements and computing behaviors. This article presents a complete paradigm of formal semantics that explains how deductive semantics is applied to specify the semantics of real-time process algebra (RTPA) and how RTPA challenges conventional formal semantic theories. Deductive semantics can be applied to define abstract and concrete semantics of programming languages, formal notation systems, and large-scale software systems, to facilitate software comprehension and recognition, to support tool development, to enable semantics-based software testing and verification, and to explore the semantic complexity of software systems. Deductive semantics may greatly simplify the description and analysis of the semantics of complicated software systems specified in formal notations and implemented in programming languages.

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email: *

Password: *

Forgot individual login password?

Create individual account

Deductive Semantics of RTPA

MLA

APA

Chicago

Export Reference

Abstract

Request Access