Using process algebra to describe human and software behaviors

Brain and Mind

Volumn 4, Issue 2, 2003, Pages 199-213

  Wang, Yingxu ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Cognitive informatics; Dynamic behavior description; Notion of action process algebra; RTPA

Indexed keywords

ARTICLE; BEHAVIOR; COGNITION; COMPUTER PROGRAM; INFORMATION PROCESSING; INFORMATION SCIENCE; LANGUAGE; LOGIC; MATHEMATICAL ANALYSIS; MATHEMATICS; MEMORY; PRIORITY JOURNAL; PROCESS DESIGN; THINKING; TIME;

EID: 0141499553     PISSN: 13891987     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1025457612549     Document Type: Article

References (21)

1. Baeten, J. C. M. and Bergstra, J. A., 1991: Real time process algebra, Formal Aspects Comput. 3, 142-188.
2. Cerone, A., 2000: Process Algebra Versus Axiomatic Specification of a Real-Time Protocol, Vol. 1816, LNCS, Springer-Verlag, Berlin, pp. 57-67.
3. Derrick, J. and Boiten, E., 2001: Refinement in Z and Object-Z: Foundations and Advanced Applications, Springer-Verlag, London.
4. Dierks, H., 2000: A Process Algebra for Real-Time Programs, Vol. 1783, LNCS, Springer, Berlin, pp. 66-76.
5. Fecher, H., 2001: A real-time process algebra with open intervals and maximal progress, Nordic Journal of Comput. 8(3), 346-360.
6. Gafurov, D. and Wang, Y., 2003: Formal description of the cognitive comprehension process, in Proc. 2003 Canadian Conference on Electrical and Computer Engineering (CCECE'03), Montreal, Canada, May 2003, 35, pp. 1-4.
7. Gerber, R., Gunter, E. L. and Lee, I., 1992: Implementing a real-time process algebra, in M. Archer, J. J. Joyce, K. N. Levitt and Phillip J. Windley (eds.), Proc. International Workshop on the Theorem Proving System and Its Applications, IEEE Computer Society Press, Los Alamitos, CA, August 1992, pp. 144-154.
8. Hoare, C. A. R., 1985: Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ. (ISBN 0-13-153271-8)
9. Jeffrey, A., 1992: Translating timed process algebra into prioritized process algebra, in J. Vytopil (ed.), Proc. 2nd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Vol. 571, LNCS, Springer-Verlag, Nijmegen, The Netherlands, pp. 493-506.
10. Klusener, A. S., 1992: Abstraction in real time process algebra, in J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg (eds.), Proc. Real-Time: Theory in Practice, LNCS, Springer-Verlag, Berlin, pp. 325-352.
11. Martin-Lof, P., 1975: An intuitionist theory of types: Predicative part, in H. Rose and J.C. Shepherdson (eds.), Logic Colloquium, North-Holland, Amsterdam, pp. 73-118.
12. Milner, R., 1989: Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ.
13. Nicollin, X. and Sifakis, J., 1991: An overview and synthesis on timed process Algebras, in Proc. 3rd International Computer Aided Verification Conference, Aalborg, Denmark, Springer Verlag, pp. 376-398.
14. Vereijken, J. J., 1995: A process algebra for hybrid systems, in A. Bouajjani and O. Maler (eds.), Proc. Second European Workshop on Real-Time and Hybrid Systems, Grenoble, France, June 1995.
15. Wang, Y., 2001: Formal description of the UML architecture and extendibility, Int. J. Object 6(4), 469-488.
16. Wang, Y., 2002a: The real-time process algebra (RTPA), Ann. Software Engineer. 14(Oct.), 235-274.
17. Wang, Y., 2002b: A new math for software engineering - The real-time process algebra (RTPA), Keynote Speech at The 2nd ASERC Workshop on Quantitative and Soft Computing Based Software Engineering (QSSE'02), Banff, Alberta, Canada, April 2002.
18. Wang, Y., 2002c: On the informatics laws of software (Keynote lecture), in Proc. 1st IEEE International Conference on Cognitive Informatics (ICCI'02), Calgary, Canada, IEEE CS Press, August 2002, pp. 132-144.
19. Wang, Y. and Foinjong, N. C., 2002: Formal specification of a real-time lift dispatching system, in Proc. 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02), Winnipeg, Manitoba, Canada, May 2002, pp. 669-674.
20. Wang, Y. and Foinjong, N. C., 2003: Formal specification of real-time operating systems using RTPA, in Proc. 2003 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'03), Montreal, Canada, May 2003, 35, pp. 1-4.
21. Wang, Y. and King, G., 2000: Software Engineering Processes: Principles and Applications, CRC Press, Boca Raton, FL, 752 pp.