Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method

Presents a formal method which combines the Z notation and value-passing CCS (Calculus of Communicating Systems) for specifying concurrent systems. In order to provide a sound theoretical basis for the method, the state-based semantics for value-passing ...

Subtyping relations for object-oriented formalisms describe relationships between classes which satisfy the substitutability requirement imposed on types and their subtypes. Subtyping relations have been proposed both for state-based and for behaviour-...

Precise and timely detection of anomalous modeling behaviors is critical for both teaching and application of modeling methods. Existing methods usually focus on evaluating the modeling results rather than mining the knowledge hidden in the modeling ...