Specification and validation of time constraints with the HMS machines model

The validation and method integration process at different stages of the life cycle of an industrial production system are discussed. Method evaluation is emphasized as a preliminary step in project development. An approach for method scope assessment is proposed. The approach is based upon a model for describing the method´s structure and artifact transformation. This model, when used for a particular method, viz. the hierarchical multi-state (HMS) method, allows the determination of aspects not clearly defined by the method as well as the identification of the boundaries of the method. It is then possible to propose an integration scheme where the aspects not taken into account by the method are covered by complementary methods. As a validation, an example of the use of HMS in compliance with the proposed integration is presented. The time constraint validation possibilities of HMS are reported