Abstract
Algebraic specification of processes is an emerging research issue in last years as a tool for formalization of system design processes, essentially in computer sciences. By a formal specification we are able to prove formally rigirousness of functional requirements and theirs implementations. Traditional approach to system implementation based on trial-and-error (i.e. experimentation) practise is informal and inefficient for a large number of systems. The paper contributes to application of a formal algebraic specification, as a rigorous formalism, in manufacturing systems design and control, specifically for the CAD/CAPP systems specification. The formal algebraic specification provides a rigorous base for its correct specification and implementation in a programming language, i.e. for efficient and correct development of corresponded software tools.KeywordsAlgebra for Manufacturing SystemsUniversal AlgebraFormal Theory for Manufacturing SystemsCAD/CAPPCAD/CAPP Algebraic Model
Sign-in/Register to access full text options 
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
