Abstract
In this paper, the functional equivalence problem for processes, which is an important constituent of process optimization, is considered in object-oriented environments. Two basic cases are investigated: when the turn of operations execution is not essential for some objects while it is essential for the rest of them. In the first case, those objects are named commutative. Environments with both commutative and non-commutative objects are named partially commutative. It is shown, that the equivalence problem of processes in partially commutative environments that contain two or more commutative objects with more than one operation is unsolvable. The largest class of partially commutative environments is outlined where the equivalence problem is solvable (decidable). It is shown, that if there is only one object with two or more operations among commutative objects then the equivalence problem is solvable.
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.
