This article extends and refines the modeling system presented previously (Stewart, 1997). The initial system was sufficient for the optimization of delivery of education at a departmental level. This system is greatly more powerful, precise, and scientific, and fulfills the role of a modeling system for the research and development of educational practices. The model is applied to two widely diverse educational processes, Student Actions and Do Homework Problem, establishing the formalism and demonstrating its usefulness. The use of a rigorous computational syntax imposes completeness criteria on the modeling itself and uniformity. Experimental definition of the formation process of the patterns allows anyone to introduce new features of a model. This and the uniformity allows the models to become the property of the education community, not merely a single researcher, in the same way that mathematical models allow scientists to utilize and build upon previous research.