Communicating sequential processes
Communicating sequential processes
A timed model for communicating sequential processes
International Colloquium on Automata, Languages and Programming on Automata, languages and programming
Communications of the ACM
Comparative programming languages
Comparative programming languages
Communication and concurrency
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Software engineering processes: principles and applications
Software engineering processes: principles and applications
Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
A Timed Failures Model for Extended Communicating Processes
ICALP '87 Proceedings of the 14th International Colloquium, on Automata, Languages and Programming
Translating Timed Process Algebra into Prioritized Process Algebra
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Overview and Synthesis on Timed Process Algebras
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Abstraction in Real Time Process Algebra
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A real-time process algebra with open intervals and maximal progress
Nordic Journal of Computing
Process-Based Software Engineering: Building the Infrastructures
Annals of Software Engineering
Measurement of the Cognitive Functional Complexity of Software
ICCI '03 Proceedings of the 2nd IEEE International Conference on Cognitive Informatics
The Cognitive Process of Comprehension
ICCI '03 Proceedings of the 2nd IEEE International Conference on Cognitive Informatics
From Cognitive Psychology to Cognitive Informatics
ICCI '03 Proceedings of the 2nd IEEE International Conference on Cognitive Informatics
Robustness analysis of cognitive information complexity measure using Weyuker properties
ACM SIGSOFT Software Engineering Notes
A modified cognitive information complexity measure of software
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Evaluation and comparison of cognitive complexity measure
ACM SIGSOFT Software Engineering Notes
Validating modified cognitive complexity measure
ACM SIGSOFT Software Engineering Notes
A Spatial Extension to the π Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A Context Driven Architecture for Cognitive Radio Nodes
Wireless Personal Communications: An International Journal
A complexity measure based on information contained in the software
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A Doctrine of Cognitive Informatics (CI)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Object segmentation in video via graph cut built on superpixels
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Formal Description of the Cognitive Process of Memorization
Transactions on Computational Science V
Guest editorial: special issue on cybernetics and cognitive informatics
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on cybernetics and cognitive informatics
Perspectives on denotational mathematics: new means of thought
Transactions on computational science II
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
On mathematical laws of software
Transactions on computational science II
A comparative study of STOPA and RTPA
Transactions on computational science II
Cognitive informatics and denotational mathematical means for brain informatics
BI'10 Proceedings of the 2010 international conference on Brain informatics
Formal specification of a neuroscience-inspired cognitive architecture
BI'11 Proceedings of the 2011 international conference on Brain informatics
Modified cognitive complexity measure
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Cognitive informatics and contemporary mathematics for knowledge manipulation
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
On the cognitive process of human problem solving
Cognitive Systems Research
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Object segmentation in video via graph cut built on superpixels
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
A Formal Syntax of Natural Languages and the Deductive Grammar
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (II)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A Doctrine of Cognitive Informatics (CI)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Perspectives on Cognitive Informatics and Cognitive Computing
International Journal of Cognitive Informatics and Natural Intelligence
A Web Knowledge Discovery Engine Based on Concept Algebra
International Journal of Cognitive Informatics and Natural Intelligence
The Cognitive Process of Comprehension: A Formal description
International Journal of Cognitive Informatics and Natural Intelligence
Perspectives on the Field of Cognitive Informatics and its Future Development
International Journal of Cognitive Informatics and Natural Intelligence
International Journal of Cognitive Informatics and Natural Intelligence
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
International Journal of Cognitive Informatics and Natural Intelligence
Inference Algebra IA: A Denotational Mathematics for Cognitive Computing and Machine Reasoning II
International Journal of Cognitive Informatics and Natural Intelligence
The Formal Design Model of an Automatic Teller Machine ATM
International Journal of Software Science and Computational Intelligence
Design and Implementation of an Autonomic Code Generator Based on RTPA
International Journal of Software Science and Computational Intelligence
International Journal of Software Science and Computational Intelligence
Perspectives on Cognitive Computing and Applications
International Journal of Software Science and Computational Intelligence
The Formal Design Models of a Set of Abstract Data Types ADTs
International Journal of Software Science and Computational Intelligence
The Formal Design Model of a File Management System FMS
International Journal of Software Science and Computational Intelligence
The Formal Design Model of Doubly-Linked-Circular Lists DLC-Lists
International Journal of Software Science and Computational Intelligence
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
International Journal of Software Science and Computational Intelligence
The Formal Design Models of a Universal Array UA and its Implementation
International Journal of Software Science and Computational Intelligence
International Journal of Software Science and Computational Intelligence
The Formal Design Models of Tree Architectures and Behaviors
International Journal of Software Science and Computational Intelligence
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA
International Journal of Software Science and Computational Intelligence
A General Knowledge Representation Model for the Acquisition of Skills and Concepts
International Journal of Software Science and Computational Intelligence
Formal Rules for Fuzzy Causal Analyses and Fuzzy Inferences
International Journal of Software Science and Computational Intelligence
Hi-index | 0.00 |
The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recognized that the specification of software behaviors is a three-dimensional problem known as: (i) mathematical operations, (ii) event/process timing, and (iii) memory manipulations. Conventional formal methods in software engineering were designed to describe the 1-D (type (i)) or 2-D (types (i) and (iii)) static behaviors of software systems via logic, set and type theories. However, they are inadequate to address the 3-D problems in real-time systems. A new notation system that is capable to describe and specify the 3-D real-time behaviors, the ireal-time process algebra (RTPA), is developed in this paper to meet the fundamental requirements in software engineering.RTPA is designed as a coherent software engineering notation system and a formal engineering method for addressing the 3-D problems in software system specification, refinement, and implementation, particularly for real-time and embedded systems. In this paper, the RTPA meta-processes, algebraic relations, system architectural notations, and a set of fundamental primary and abstract data types are described. On the basis of the RTPA notations, a system specification method and a refinement scheme of RTPA are developed. Then, a case study on a telephone switching system is provided, which demonstrates the expressive power of RTPA on formal specification of both software system architectures and behaviors. RTPA elicits and models 32 algebraic notations, which are the common core of existing formal methods and modern programming languages. The extremely small set of formal notations has been proven sufficient for modeling and specifying real-time systems, their architecture, and static/dynamic behaviors in real-world software engineering environment.