Abstract
A new method for the formal description of systems in terms of “Unit”, “Function”, and “Object” based on the comparative study and integration of tools from the Grenander algebraic theory of patterns and Milner’s process calculus is considered. Decomposition and aggregation procedures are formalized for the graphic-analytical models “Unit-Function-Object” using the proposed approach.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
