Now showing items 1-7 of 7

  • A categorial type logic 

    Morrill, Glyn (2014)
    Article
    Open Access
    In 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 ...
  • Applying a foundational ontology to analyze means-end links in the i* framework 

    Guizzardi, Renata Silva Sousa; Franch Gutiérrez, Javier; Guizzardi, Giancarlo (Institute of Electrical and Electronics Engineers (IEEE), 2012)
    Conference report
    Open Access
    The 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 ...
  • A semantics of business configurations using symbolic graphs 

    Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando; Fiadeiro, José Luiz (Institute of Electrical and Electronics Engineers (IEEE), 2015)
    Conference report
    Open Access
    In 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 ...
  • Generalització de l'algorisme de parsing descendent 

    Cidoncha Medina, Javier (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 

    Nieto Soler, Pilar (Universitat Politècnica de Catalunya, 2008-09-18)
    Master thesis
    Open Access
    Un 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 

    Pasarella Sánchez, Ana Edelmira; Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro, Marisa (2012)
    Conference report
    Open Access
    In 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 

    López Cuesta, Lidia; Franch Gutiérrez, Javier; Marco Gómez, Jordi (Institute of Electrical and Electronics Engineers (IEEE), 2019-09-09)
    Article
    Open Access
    iStar2.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 ...