We present a new approach to a componentware development methodology based on a system of process patterns. We argue that organizing the development process by means of a pattern system results in higher flexibility compared to traditional ways of defining development processes. This is especially important in the context of componentware. Finally, we propose a pattern catalog with a selection ...

We present a new approach to a componentware development methodology based on a system of process patterns. We argue that organizing the development process by means of a pattern system results in higher flexibility compared to traditional ways of defining development processes. This is especially important in the context of componentware. Finally, we propose a pattern catalog with a selection ...

developing reliable yet flexible software is a hard problem. although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. formal modeling methods ensure reliability because they use a rigorous approach to software development. however, lack of knowledge and high cost practically fo...

Based on the notion of ‘design by contract’, components interaction patterns and process patterns of component composition, formal semantics of components are proposed. With this basis and inspired by typing system and process construction methods in π -calculus, in this paper, a formal typing framework for the composition and replacement of components are proposed. Additionally, rules about co...