We sketch a logic model for representing systems analysis diagrams. The discussion is limited to diagrams from the OMT methodology of Rumbaugh et al., although no genuine loss of generality results. In developing our logic model, we have followed where appropriate (for state transition diagrams) the logical representation theory developed by Parsons for the semantics of VP modifiers. That seman...

Abstract From his 1940–1942 studies of Race, through 1967 study an “inter-sexed” person called Agnes, Garfinkel’s research was always politically engaged . When Garfinkel Parsons’ PhD student at Harvard (1946–1952) and later during a period collaboration with Parsons (1958–1964), both theorized culture as domain social interaction independent from structure resting on its own implicit contract....