Exploració per autor "Sancho Samsó, María Ribera"
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'editorialVerifying 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 obertThere 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 obertIn 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 obertIn 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 obertConstraints 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'editorialIn 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 obertThis 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 obertToe 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 obertROSES 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 obertDynamic 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 obertHuman 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'editorialBusiness 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 obertThis 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 obertOne 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 ...