Ara es mostren els items 41-57 de 57

    • Reasoning on UML data-centric business process models 

      Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2013)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Verifying the correctness of data-centric business process models is important to prevent errors from reaching the service that is offered to the customer. Although the semantic correctness of these models has been studied ...
    • Semantics for connectivity management in IoT sensing 

      Vila Gómez, Marc; Sancho Samsó, María Ribera; Teniente López, Ernest; Vilajosana Guillén, Xavier (Springer Nature, 2021)
      Text en actes de congrés
      Accés obert
      There are a large number of Internet of Things (IoT) devices that transmit information over the Internet, each with a different data format to denote the same semantic concept. This often leads to data incompatibilities ...
    • Specifying artifact-centric business process models in UML 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2015-04-01)
      Capítol de llibre
      Accés obert
      In recent years, the artifact-centric approach to process mod- eling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing ...
    • Specifying artifact-centric business process models in UML: technical report 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (2015-05-19)
      Report de recerca
      Accés obert
      In recent years, the artifact-centric approach to process modeling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing ...
    • Temporal features of class populations and attributes in conceptual models 

      Costal Costa, Dolors; Olivé Ramon, Antoni; Sancho Samsó, María Ribera (1997-07)
      Report de recerca
      Accés obert
      Constraints play an important role in conceptual modeling. In general, the specification of constraints, both static and transition, must be done in some logic-based language. Unfortunately, the resulting formulas may be ...
    • The CSTL processor: a tool for automated conceptual schema testing 

      Tort Pugibet, Albert; Olivé Ramon, Antoni; Sancho Samsó, María Ribera (Springer, 2011)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      In this demonstration paper, we present the CSTL Processor, a tool to support the validation of two fundamental quality properties of conceptual schemas (correctness and completeness) by testing. The CSTL Processor supports ...
    • The Odissea approach to the design of information systems from deductive conceptual models 

      Sancho Samsó, María Ribera; Olivé Ramon, Antoni (1993-06)
      Report de recerca
      Accés obert
      This paper describes the general framework and some details of the ODISSEA approach to conceptual modelling and design of information systems. We use a logic-based language for the specification of conceptual models and ...
    • The Odissea project: an environment for the development of information systems from DCM 

      Mayol Sarroca, Enric; Sancho Samsó, María Ribera; Sistac Planas, Jaume (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Text en actes de congrés
      Accés obert
      Toe main purpose of this paper is to present the ODISSEA project, which aims at exploring the issues involved in the specification, design and implementation of Information Systems by means of Deductive Conceptual Models. ...
    • The Structural events in the ROSES language 

      Costal Costa, Dolors; Roselló Martos, Anna; Sancho Samsó, María Ribera (1997-11)
      Report de recerca
      Accés obert
      ROSES is a language to describe conceptual models of information systems. It allows to define the object model, it is composed by the object classes, their attributes, the integrity restrictions and the events. In ROSES ...
    • Transformación de restricciones de integridad dinámicas definidas hacia el futuro en una forma definida hacia el pasado 

      Pacheco Silva, María Amelia; Sancho Samsó, María Ribera (1996-10)
      Report de recerca
      Accés obert
      Dynamic integrity constraints (DIC) have been represented either as past-directed formulas or as future-directed formulas. This work, inscribed in the scope of the Deductive Conceptual Models of information systems, ...
    • Understanding constraint expressions in large conceptual schemas by automatic filtering 

      Villegas Niño, Antonio; Olivé Ramon, Antoni; Sancho Samsó, María Ribera (Springer, 2012)
      Text en actes de congrés
      Accés obert
      Human understanding of constraint expressions (also called schema rules) in large conceptual schemas is very di cult. This is due to the fact that the elements (entity types, attributes, relationship types) involved in an ...
    • Using UML to specify artifact-centric business process models 

      Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest (SciTePress, 2014)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Business process modeling using an artifact-centric approach has raised a significant interest over the last few years. One of the research challenges in this area is looking for different approaches to represent all the ...
    • Verification and validation of UML artifact-centric business process models 

      Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2015)
      Text en actes de congrés
      Accés obert
      This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. ...
    • Welcome address 

      Sancho Samsó, María Ribera (Barcelona Supercomputing Center, 2018-04-24)
      Altres
      Accés obert
    • Welcome address 

      Sancho Samsó, María Ribera (Barcelona Supercomputing Center, 2017-05-04)
      Altres
      Accés obert
    • Welcome address 

      Sancho Samsó, María Ribera (Barcelona Supercomputing Center, 2019-05-07)
      Text en actes de congrés
      Accés obert
    • XYZ Monitor: IoT monitoring of infrastructures using microservices 

      Vila Gómez, Marc; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2020)
      Text en actes de congrés
      Accés obert
      One of the main features of the Internet of Things (IoT) is the ability to collect data from everywhere, convert this data into knowledge, and then use this knowledge to monitor about an undesirable situation. Monitoring ...