Technical Sessions
Refereed Papers
October the 30th - morning
Session 1.1: Modeling and Testing
AMDA: Matching the
Model-Driven-Architecture's goals using Extended Automata as a common
model for design and execution
David Dayan (Israel), Rivka Kaplinsky(Israel), Aryeh Wiesen, Simon Bloch (Israel)
This paper proposes a model of execution platform for the
OMG request of a generic Platform- Independent-Model (PIM) allowing
realization of the Model Driven Architecture (MDA) standard. We propose
AMDA (Automata based MDA), a method based on the use of parallel
automata, which can be a common tool for building a PIM from UML
diagrams (including OCL) and transforming the PIM to PSM automata and
further to compilable code. Each platform would then have a mechanism
to execute the translated code.
Our architecture for a general PSM translator of these automata allows
portable execution on various specific implementation platforms. This
general translator must be written, once, for the languages and with
the libraries of the required specific PSM. This allows also
interoperability between different PSMs. An ATM case study example is
presented to illustrate the approach. Keywords: MDA, UML, Extended
Automata, XSLT.
An approach to ERP testing
using services
Sagi Schliesser (Israel)
Enterprise packages software solutions are becoming an
increasingly popular choice for organizations aiming to streamline
their business processes. However, as the software complexity
reaches new heights, package vendors are faced with critical concerns
regarding quality assurance. Traditional testing methods are not
designed to meet all the challenges posed by ERP implementation.
This paper will try to suggest a novel approach to dealing with the
complexity aspects of testing. We will try and demonstrate how
the technical advancements introduced by SOA enable the adoption of
such approach by many package vendors. Index Terms — Software Testing,
ERP testing, Software quality, Automated Testing.
Computation
Independent Modeling within the MDA
Janis Osis, Erika Asnina
and Andrejs Grave
Object oriented analysis suggests semiformal use case driven techniques
for problem domain modeling from a computation independent viewpoint.
The proposed approach called Topological Functioning Modeling for Model
Driven Architecture (TFMfMDA) increases the degree of formalization. It
uses mathematical foundations of Topological Functioning Model (TFM)
that holistically represents complete functionality of the system. The
TFMfMDA introduces more formal analysis of a business system, namely
enables defining not what the client wants, but what the client needs,
and also enables textual functional requirement validation, missing
requirement checking in conformance with the problem domain “as is”
model. A use case model of the application is defined with the help of
a goal-based method. A domain concept model is defined by graph
transformation of the TFM. The paper also suggests an Eclipse plug-in
conception for the implementation of the TFMfMDA.
