Abstract
Based on the theory of the structure of the computable mathematical function, the operator of the software process, algorithm structure and architecture are defined mathematically in this paper. With the expression of combinational functions, the mathematical definition of the decomposition of operator and its operation is discussed. Finally, the mathematical formula of the decomposition of operator-operator recursive decomposition formula is established. While focusing on solvable problems, the concept of the computing prototype tree and its formula proposed in this paper has generality.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
CCITT. Specification and Description Language (SDL), Recommendation Z100[R/OL]. [2008-06-11]. http://www.itu.int/ITU-T/ studygroups/com10/languages/Z.100_1199. pdf .
Broy M. Towards a Formal Foundation of the Specification and Description Language SDL[J].Formal Aspects of Computing, 1991, 3(1): 21–57.
Harel D. Statecharts: A Visual Formalism for Complex Systems[J]. Science of Computer Programming, 1987, 8(5): 231–274.
Van der Beek M. A Comparison of State Charts Variants[J]. Formal Techniques in Real Time and Fault-Tolerant Systems, 1994, 5(7): 128–148.
Booch G. Object Oriented Design with Applications[J]. Journal of Object-Oriented Programming, 1991, 3(5):74–76.
Jacobsen I. Object-Oriented Software Engineering[M]. New York: ACM Press, 1992.
Booch G, Rumbaugh J, Jacobson I. The Unified Modeling Language for Object-Oriented Development[M]. New York: Addison-Wesley Professional Press, 2005.
Hubmann H. Formal Foundation of Pragmatic Software Engineering Methods[J]. Innovationen bei Rechen-und Kommunikations-System, 1994, 6(3): 27–34.
Broy M. Taward a Mathematical Foundation of Software Engineering Methods[J]. IEEE Transactions on Software Engineering, 2001, 27(1): 42–57.
Li Hui, Zhuang Yun. Mathematical Description of Software Architecture[J]. Application Research of Computers, 2005, 22(2): 492–493(Ch).
Li Hui, Zhuang Yun. Mathematical Domain of Discourse for a Software Architecture[J]. Journal of Wuhan University (Engineering Edition), 2003, 36(4): 107–110(Ch).
Li Hui, Zhuang Yun. Level Model of Software Architecture[J]. Application Research of Computers, 2003, 20(4): 181–182(Ch).
Li Chuanxiang, Chen Shihong, Liu Haiqing. Programming Methodology[M]. Wuhan: Wuhan University Press, 2000(Ch).
Liu Haiqing, Li Hui. The Properties and Operators of a Software Architecture Operator Set [J]. Computer Engineering and Applications, 2003, 39(17): 87–88(Ch).
Liu Haiqing, Li Hui. A Software Architecture Operator and Its Analysis and Decomposition[J]. Journal of Wuhan University(Engineering Edition), 2002, 35(6): 77–80(Ch).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Li, H., Chen, S. Recursive decomposition of software process. Wuhan Univ. J. Nat. Sci. 14, 143–147 (2009). https://doi.org/10.1007/s11859-009-0210-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11859-009-0210-0