Spelling suggestions: "subject:"Action anguage"" "subject:"Action 1anguage""
1 |
Representing Hybrid Transition Systems in an Action Language Modulo ODEsJanuary 2017 (has links)
abstract: Several physical systems exist in the real world that involve continuous as well as discrete changes. These range from natural dynamic systems like the system of a bouncing ball to robotic dynamic systems such as planning the motion of a robot across obstacles. The key aspects of effectively describing such dynamic systems is to be able to plan and verify the evolution of the continuous components of the system while simultaneously maintaining critical constraints. Developing a framework that can effectively represent and find solutions to such physical systems prove to be highly advantageous. Both hybrid automata and action languages are formal models for describing the evolution of dynamic systems. The action language C+ is a rich and expressive language framework to formalize physical systems, but can be used only with physical systems in the discrete domain and is limited in its support of continuous domain components of such systems. Hybrid Automata is a well established formalism used to represent such complex physical systems at a theoretical level, however it is not expressive enough to capture the complex relations between the components of the system the way C+ does.
This thesis will focus on establishing a formal relationship between these two formalisms by showing how to succinctly represent Hybrid Automata in an action language which in turn is defined as a high-level notation for answer set programming modulo theories (ASPMT) --- an extension of answer set programs in the first-order level. Furthermore, this encoding framework is shown to be more effective and expressive than Hybrid Automata by highlighting its ability in allowing states of a hybrid transition system to be defined by complex relations among components that would otherwise be abstracted away in Hybrid Automata. The framework is further realized in the implementation of the system CPLUS2ASPMT, which takes advantage of state of the art ODE(Ordinary Differential Equations) based SMT solver dReal to provide support for ODE based evolution of continuous components of a dynamic system. / Dissertation/Thesis / Masters Thesis Computer Science 2017
|
2 |
Verification of Golog Programs over Description Logic ActionsZarrieß, Benjamin 31 August 2018 (has links)
Golog is a powerful programming language for logic-based agents. The primitives of the language are actions whose preconditions and effects are defined in a Situation Calculus action theory using first-order logic. To describe possible courses of actions the programmer can freely combine imperative control structures with constructs for non-deterministic choice, leaving it to the system to resolve the non-determinism in a suitable manner.
Golog has been successfully used for high-level decision making in the area of cognitive robotics. Obviously, it is important to verify certain properties of a Golog program before executing it on a physical robot.
However, due to the high expressiveness of the language the verification problem is in general undecidable. In this thesis, we study the verification problem for Golog programs over actions defined in action languages based on Description Logics and explore the boundary between decidable and undecidable fragments.
|
3 |
Automatic generation of software applicationsLiang, Dong 07 August 2014 (has links) (PDF)
The Model Driven Architecture (MDA) allows moving the software development from the time consuming and error-prone level of writing program code to the next higher level of modeling. In order to gain benefit from this innovative technology, it is necessary to satisfy two requirements. These are first, the creation of compact, complete and correct platform independent models (PIM) and second, the development of a flexible and extensible model transformation framework taking into account frequent changes of the target platform. In this thesis a platform-based methodology is developed to create PIM by abstracting common modeling elements into a platform independent modeling library called Design Platform Model (DPM). The DPM contains OCL-based types for modeling primitive and collection types, a platform independent GUI toolkit as well as other common modeling elements, such as those for IO-operations. Furthermore, a DPM profile containing diverse domain specific and design pattern-based stereotypes is also developed to create PIM with high-level semantics. The behavior in PIM is specified using an OCL-like action language called eXecutable OCL (XOCL), which is also developed in this thesis. For model transformation, the model compiler MOCCA is developed based on a flexible and extensible architecture. The model mapper components in the current version of MOCCA are able to map desktop applications onto JSE platform; the both business object layer and persistence layer of a three-layered enterprise applications onto JEE platform and SAP ABAP platform. The entire model transformation process is finished with complete code generation.
|
4 |
Automatic generation of software applications: a platform-based MDA approachLiang, Dong 30 April 2014 (has links)
The Model Driven Architecture (MDA) allows moving the software development from the time consuming and error-prone level of writing program code to the next higher level of modeling. In order to gain benefit from this innovative technology, it is necessary to satisfy two requirements. These are first, the creation of compact, complete and correct platform independent models (PIM) and second, the development of a flexible and extensible model transformation framework taking into account frequent changes of the target platform. In this thesis a platform-based methodology is developed to create PIM by abstracting common modeling elements into a platform independent modeling library called Design Platform Model (DPM). The DPM contains OCL-based types for modeling primitive and collection types, a platform independent GUI toolkit as well as other common modeling elements, such as those for IO-operations. Furthermore, a DPM profile containing diverse domain specific and design pattern-based stereotypes is also developed to create PIM with high-level semantics. The behavior in PIM is specified using an OCL-like action language called eXecutable OCL (XOCL), which is also developed in this thesis. For model transformation, the model compiler MOCCA is developed based on a flexible and extensible architecture. The model mapper components in the current version of MOCCA are able to map desktop applications onto JSE platform; the both business object layer and persistence layer of a three-layered enterprise applications onto JEE platform and SAP ABAP platform. The entire model transformation process is finished with complete code generation.
|
5 |
As Modalizações em Sentenças Judiciais: a Ação de Linguagem na Representação dos Mundos FormaisEstrela, Simone da Costa 20 June 2011 (has links)
Made available in DSpace on 2015-05-14T12:43:29Z (GMT). No. of bitstreams: 1
arquivototal.pdf: 7611265 bytes, checksum: 8d35990e1bc5f7d686f142462d0a493d (MD5)
Previous issue date: 2011-06-20 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work discusses the enunciative position in court rulings circulated on
the Internet by addressing the judge as an agent of discursive formation. We
intend to investigate the language activities expressed in the legal decisions,
analyzing the language as verbal interaction mechanism, through the
identification of subjectivity marks. In proposing this research we were
concerned about if judges, authors of judicial decisions, impose in their
speeches / texts trademarks of subjectivity that could impair the functionality of
court ruling. The data analised in our work were subjected to a bibliographic
survey with an interpretative nature, from the subsidies offered by the Applied
Linguistics and the Sociodiscursive Interactionism theoretical methodological,
especially in studies of Bronckart (1999) and Habermas (1989). The results
subsidized inputs in the identification of occurrences of subjectivity marks,
respectively with regard to the analysis of modalizations and also in their
relation to the representations of the objective, social and / or subjective worlds.
For this, we conducted a survey of atypical and personal court rulings
broadcasted on the internet court sites to investigate the presence of discursive
marks that could bring some semantic load that linked to the enunciative
position of the transmitter / broadcaster with his evaluativse representations of
the formal worlds. The results point to a personal involvement, discursively
marked by the prevalence of appreciative and deontic modalizations, far beyond
what is expected in this kind of text, revealing a speaker who breaks The
Principle of Judicial Independence and Impartiality from the trial, greatly injuring
another cornerstone principle of our Constitution: the dignity of the human
being. / O presente trabalho aborda o posicionamento enunciativo nas
sentenças judiciais veiculadas na internet, focando o magistrado como um
agente de formação discursiva. Pretendemos investigar as atividades de
linguagem expressas nas decisões jurídicas, analisando a linguagem como
mecanismo de interação verbal, por meio da identificação de marcas de
subjetividade. Ao propormos esta pesquisa tivemos como preocupação verificar
se os magistrados, autores das decisões judiciais, imprimem em seus textosdiscursos
marcas de subjetividade que pudessem comprometer a
funcionalidade do gênero sentença judicial. Os dados analisados foram
submetidos a um procedimento de pesquisa bibliográfica documental, de cunho
interpretativo, a partir dos subsídios oferecidos pela Linguística Aplicada e dos
aportes teórico-metodológicos do Interacionismo Sociodiscursivo,
principalmente nos estudos de Bronckart (1999) e Habermas (1989). Tais
aportes nos subsidiaram na identificação das ocorrências das marcas de
subjetividade, respectivamente no que se refere à análise das modalizações e
bem como na relação destas com as representações dos mundos objetivo,
social e/ou subjetivo. Para isso, fizemos um levantamento de sentenças
judiciais atípicas veiculadas em sites jurídicos e de posicionamento pessoal
para investigar a presença de marcas discursivas que pudessem trazer certa
carga semântica que vinculasse o posicionamento enunciativo do
emissor/locutor com suas representações valorativas dos mundos formais. Os
resultados apontam para um envolvimento pessoal, discursivamente marcado
pela predominância de modalizações apreciativas e deônticas, muito além do
que é esperado nesse tipo de gênero, revelando um locutor que afronta o
princípio da obrigação de se manter distante da causa julgada, ferindo
sobremaneira outro princípio basilar da nossa Constituição: o da dignidade da
pessoa humana.
|
6 |
Bridging of complex data structures between xtUML domains / Bryggning av komplexa datastrukturer mellan xtUML-domänerElgh, Jesper January 2022 (has links)
Executable and Translatable UML (xtUML) is a high level software development method where models are developed using UML diagrams and action language code. Model compilers can translate a model into another programming language which is then executable. When developing xtUML models one of the main benefits is that the documentation of the program is created at the same time as the program in the shape of UML diagrams. It is therefore also important that it is possible to create good UML diagrams that gives the reader a good and clear understanding of how the program works without having to look at the code. One problem is the use of arrays and structured data types in the models because they can make a model more difficult to understand and therefore it would be good to be able to refrain from using them and instead model arrays and structured data types as classes with relations between them. This becomes an issue when an array should be sent to another domain in the system because a lot of action language code must be written which is inconvenient. A solution to this problem would be to send class object instances directly to other domains. In this thesis a solution to the problem has been proposed along with alternate options of solving it. The proposed solution has also been implemented in an existing model compiler and the results show that the performance in compilation time is slower compared to when using the built-in arrays and structured data types, but faster or the same compared to letting the user write its own code for sending object instances. The execution time for a small model using the new solution has increased by a lot compared to using arrays and structured data types, and the size of the executable file has almost doubled but if bigger models are created this difference may become negligible.
|
Page generated in 0.0959 seconds