Embedded behavior pattern languages: a contribution to a taxonomy of case languages

As a contribution to the systematic classification of software-modeling languages, a class of languages designated embedded behaviour pattern (EBP) languages is described, and its members are compared and contrasted. The EBP languages include the Ward/Mellor and Boeing/Hatley structured analysis extensions, the Jackson system development notation, and Harel's Statechart-activity chart notation. These notations are relevant to the building of specification models because they display clear one-to-one correspondences between elements of the model and elements of the application domain. These notations are also amenable to a style of model partitioning that is related to object-oriented development.<<ETX>>