Exploració per autor "Mosca, Alessandro"

Ara es mostren els items 1-3 de 3

    • Logic foundations of the OCL modelling language 

      Franconi, Enrico; Mosca, Alessandro; Oriol Hilari, Xavier; Rull, Guillem; Teniente López, Ernest (Springer, 2014)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      In this paper we define the first-order fragment of the Object Constraint Language (OCL), the declarative language for describing rules that apply to conceptual schemas in the Unified Modelling Language (UML). This fragment ...

    • OCLFO: first-order expressive OCL constraints for efficient integrity checking 

      Franconi, Enrico; Mosca, Alessandro; Oriol Hilari, Xavier; Rull, Guillem; Teniente López, Ernest (2019-08)
      Article
      Accés obert
      OCL is the standard language for defining constraints in UML class diagrams. Unfortunately, as we show in this paper, full OCL is so expressive that it is not possible to check general OCL constraints efficiently. In ...

    • The EPNet Project. Production and distribution of food during the Roman Empire: Economics and Political Dynamics 

      Remesal, José; Díaz-Guilera, Albert; Rondelli, Bernardo; Rubio, Xavier; Aguilera, Antonio; Martín-Arroyo, Daniel; Mosca, Alessandro; Rull, Guillem (Sapienza Università Editrice, 2014)
      Text en actes de congrés
      Accés obert
      The EPNet project aims to examine the framework of the Roman economic organisation and its networks by analysing epigraphical data from amphorae. This aim is to be realised through complex network analysis, model building ...