Browsing by Subject "Llenguatges de programació -- Semàntica"
Now showing items 1-7 of 7
-
A categorial type logic
(2014)
Article
Open AccessIn logical categorial grammar [23,11] syntactic structures are categorial proofs and semantic structures are intuitionistic proofs, and the syntax-semantics interface comprises a homomorphism from syntactic proofs to ... -
A semantics of business configurations using symbolic graphs
(Institute of Electrical and Electronics Engineers (IEEE), 2015)
Conference report
Open AccessIn this paper we give graph-semantics to a fundamental part of the semantics of the service modeling language SRML: business configurations. To achieve this goal we use symbolic graph transformation systems. We formalize ... -
Applying a foundational ontology to analyze means-end links in the i* framework
(Institute of Electrical and Electronics Engineers (IEEE), 2012)
Conference report
Open AccessThe i* community has raised several main dialects and dozens of variations in the definition of the i* language. Differences may be found related not just to the representation of new concepts but to the very core of the ... -
Generalització de l'algorisme de parsing descendent
(Universitat Politècnica de Catalunya, 2008-01-17)
Master thesis (pre-Bologna period)
Open Access -
Redefinición de asociaciones en UML: semántica y utilización
(Universitat Politècnica de Catalunya, 2008-09-18)
Master thesis
Open AccessUn inconveniente importante que presenta hoy en día UML es la falta de semántica formal. Existen muchos conceptos que no define con la suficiente precisión como para que puedan ser interpretados sin ambigüedades. Uno ... -
Semantics of structured normal logic programs
(2012)
Conference report
Open AccessIn this paper we provide semantics for normal logic programs enriched with structuring mechanisms and scoping rules. Specifically, we consider constructive negation and expressions of the form Q G Q in goals, where Q is ... -
Specialization in the iStar2.0 language
(Institute of Electrical and Electronics Engineers (IEEE), 2019-09-09)
Article
Open AccessiStar2.0 has been proposed as a standard language for building goal- and agent-oriented models. It is an evolution of the former i* language, with the purpose of homogenising existing syntactical and semantic variations ...