Progress was made in the understanding of objectoriented (O-O) design through the introduction of patterns of design and architecture. Few works, however, offer methods of precise specification for O-O design. This article provides a well-defined ontology and an underlying framework for the formal specification of O-O design: (1) We observe key design motifs in O-O design and architectures. (2)...

class implemented_by Image Display (applying the Bridge pattern) displayed_on Display ImageImpl1 Figure 1. An example of pattern-based model refactoring. ConcreteImpB ConcreteImpA Implementor RefinedAbstraction Abstraction implemented_by Figure 2. A diagram of the Bridge pattern. tion of the UML designs representing solutions of the pattern Transformation specification: a specification of probl...

Abstract In this paper, we propose a new approach, based on bigraphic reactive systems (BRS), to provide formal modelling of the architectural elements Multi-Viewpoints ontology (MVp ontology). We introduce model in which main MVp find their definition terms concepts by preserving semantics. Besides, enrich proposed with reaction rules order handle dynamic reactions ontology. confirm applicabil...

This paper presents two computer-aided techniques for discovering formal specification behavioral requirements and for mapping components and methods within an implementation to their driving requirements. The first technique is an informal technique while the second technique is formal. The first technique uses a system reference model (SRM) abstraction and a set of existing formal specificati...

This paper presents a survey of similarity-oriented metrics recently developed for use in addressing the group technology machine cell formation problem. This survey seeks to contribute to the theory underlying the group technology machine cell formation problem by identifying themes in the evolution of these metrics in terms of structural form, and in terms of the form and levels of the inform...

In this study, Johnson-Laird and his colleagues’ mental model reasoning is formally analyzed as a non-sentential reasoning. Based on the recent developments in implementations of mental model theory, we formulate a mental model reasoning for syllogistic fragments in a way satisfying the requirement of formal specification such as mental model definition.

This preliminary report gives a guided tour of the syntax and semantics of the KIDS meta data model.