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 ...
    • 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 ...
    • 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 ...
    • 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 ...