A functional relationship between two variables, applied mass to a weighing platform and estimated mass using Multi-Layer Perceptron Artificial Neural Networks is approximated by a linear function. Linear relationships and correlation rates are obtained which quantitatively verify that the Artificial Neural Network model is functioning satisfactorily. Estimated mass is achieved through recallin...

In this ar ticle we show the usefulness of the model dr iven methodological framework called MIDAS for the transformation of conceptual schemas in UML (Platform Independent Model) to XML schemes (Platform Specific Model) by means of its application to a case study. In addition, the limitations that this methodological approach presents at the moment of gather ing ...

The most interesting point however of a model driven approach is the ability to continuously map the model from a platform independent model to (a) more platform specific model(s) through model transformations. This may be performed eithervertically meaning here development of the model or horizontally meaning mapping the model to a different (or supporting) modeling aspect, eg: structural to t...

Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both technological domains and organisations (administrative business domains). The analysis leads to a suggested middleware solution for these needs, presenting a group of cooperative, pervasive management services that use a...

When applying transformation technologies in an enterprise, there will be a need for supporting compositions of different kinds of transformations to support a development process. An example is a chain of transformations that supports a process of going from requirements to use cases, from use cases to a PIM architecture model, further to a platform specific model and finally implementation co...

In this paper we present a comparison of the SAT-based bounded model checking (BMC) and SMT-based bounded model checking methods for ECTL properties of a parallel composition of transition systems. In the both methods we use the parallel composition (of the transition systems) based on the interleaved semantics. Moreover, the both methods use the same bounded semantics of ECTL formulae, the com...