The main purpose of this analytical research paper was to distinguish the importance/the contribution of development methods – formal/non-formal, the analysis of different programs framed on one of these, but also, the correlation of these development methods with the research population...

The conversion of web services to semantic web comes the opportunity to automate various tasks. OWL-S plays a key role in describing web services behaviour. While ontology-based semantics given to OWL-S is structural rather than behaviourally oriented, we cannot automate an essential task in...

Constructing systems from components and building components for different systems require well-established methodologies and processes. This article proposes a formal framework for designing and specifying component-based systems (CBS). The two-dimensional evolutions of CBS are architectural...