Made available in DSpace on 2014-06-12T15:54:14Z (GMT). No. of bitstreams: 2
arquivo6624_1.pdf: 2520643 bytes, checksum: b69b2ba2918606ef2803cf6322485425 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2007 / The Unified Modeling Language (UML) has far outgrown its initial purpose as a standard
visual notation for constructing intuitive, high-level blueprint models of object-oriented
software. A series of extension, such as OCL, XMI, ASL, MOF, UML profiles, and
different proposed formal semantics, to the language and to its application scope have fedoff
each other in synergy. While these extensions constitute a sound starting point to make
UML the pivotal element for the Model-Driven Engineering (MDE) and Semantic Web
(SW) visions, many other building blocks are still missing, including: (1) Complete formal
semantics for UML and OCL; (2) UML inference engine based on such semantics to
support model checking and intelligent agent reasoning with UML semantic web
ontologies; (3) UML model compilers to fully automate both structural and behavioral code
generation from detailed UML/OCL models.
In this thesis, we present the MODELOG framework based on a single proposal to
address these three issues: it consists of an automatic mapping from fully refined
UML/OCL models to the object-oriented logic programs in the Flora-2, an executable and
Turing-complete language with a well-defined formal semantics.
We developed the MODELOG mapping as model transformations. As source for
these transformations, we reused the UML2 and OCL2 metamodels provided by OMG and
as target we developed a Flora metamodel. As we experimented and compared two
language to implement the transformation: the dedicated transformation language ATL
based on OCL, and Flora itself viewed as a model transformation language. As validating
case study for MODELOG, we developed the Triangram robotic assembly puzzle. It is an
example of planning tasks often executed by agents and it requires a complex class
hierarchy together with complex structural and behavioral constraints. The Flora PSM of
this puzzle was entirely automatically generated from its UML/OCL model by applying the
MODELOG transformations.
The main originality of this thesis is twofold. First, it simultaneously tackles various
gaps in UML for its new extended role: formal specification language, MDE, semantic web
services and agent engineering, Second, it does so without putting forward any new
language but only by reusing a theoretically consolidated and efficiently implemented one.
In contrast, previous proposals tend be limited to one or two such applications while often
proposing new languages.
The thesis makes contributions to various fields:
For MDE, it shows the feasibility of completely automated full structural and
behavioral executable code generation from a UML/OCL PIM, on a non-trivial,
complex case study involving automated reasoning;
For agile development, it reconcile that the robustness of formal methods with
the early testing of fast prototyping, since MODELOG not only generates
executable code, but also model checking code from UML/OCL models.
For UML and OCL, it provides a fully integrated denotational formal semantics
in Transaction Frame Logic on which Flora is based;
For logic programming, it provides compositional metamodels of all the
languages integrated in the Flora platform that clarify their relations and make them
available as source or target language for a variety of MDE tasks such as model
checking and fast prototyping; it also provides a way to develop logic programs
using the consolidated full-life cycle object-oriented software engineering
processes;
For agent engineering, it shows how to get combine the complementary
strengths of the object-oriented and logic paradigms, the two mostly widely reused
in agent-oriented methods;
For the semantic web service development, its introduced a highly automated
MDE approach allowing to model them visually with UML-based industrial
strengths method and CASE tools, and automatically generate their specification in the
W3C standard SWSL, which is a XML-enabled variant of Flora
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2064 |
Date | January 2007 |
Creators | de Souza Ramalho, Franklin |
Contributors | Pierre Louis Robin, Jacques |
Publisher | Universidade Federal de Pernambuco |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | English |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.002 seconds