Object Oriented Application Flow Graphs and Their Semantics

摘要

Two principles that are present in software development are combined: applicationflow graphs and object oriented programming/design. Both principles originated from a practical approach to software development, and not from some mathematical concept. A language called OOAFG (Object Oriented Application Flow Graphs) that bears the main features of both principles is constructed. A formal semantics for that language is provided because it is thought that the only way a language can be defined and claims can be made about that language is when the meaning of that language is unambiguously given by a formal system.