384 Hits in 1.9 sec

Automatic Integrity Constraint Evolution due to Model Subtract Operations [chapter]

Jordi Cabot, Jordi Conesa
2004 Lecture Notes in Computer Science  
When evolving Conceptual Schemas (CS) one of the most common operations is the removal of some model elements. This removal affects the set of integrity constraints (IC) defined over the CS. Most times they must be modified to remain consistent with the evolved CS. The aim of this paper is to define an automatic evolutionary method to delete only the minimum set of constraints (or some of their parts) needed to keep the consistency with the CS after subtract operations. We consider that a set
more » ... nsider that a set of constraints is consistent with an evolved CS when: 1) none of them refer to an element removed from the original CS and 2) the set of constraints is equal or less restrictive than the original one. In this paper we present our method assuming CS defined in UML with ICs specified in OCL, but it can be applied to other languages with similar results. Assignment hours :int
doi:10.1007/978-3-540-30466-1_33 fatcat:klm476vsxbdffpmbaod4lzmivm

P ORTOLAN: a Model-Driven Cartography Framework [article]

Vincent Mahe , Guillaume Doux, Jordi Cabot
2011 arXiv   pre-print
Processing large amounts of data to extract useful information is an essential task within companies. To help in this task, visualization techniques have been commonly used due to their capacity to present data in synthesized views, easier to understand and manage. However, achieving the right visualization display for a data set is a complex cartography process that involves several transformation steps to adapt the (domain) data to the (visualization) data format expected by visualization
more » ... y visualization tools. To maximize the benefits of visualization we propose Portolan, a generic model-driven cartography framework that facilitates the discovery of the data to visualize, the specification of view definitions for that data and the transformations to bridge the gap with the visualization tools. Our approach has been implemented on top of the Eclipse EMF modeling framework and validated on three different use cases.
arXiv:1102.4684v1 fatcat:anakelpn6bd5lktq7x5h34zbcm

A Survey of Software Foundations in Open Source [article]

Javier Luis Cánovas Izquierdo, Jordi Cabot
2020 arXiv   pre-print
A number of software foundations have been created as legal instruments to better articulate the structure, collaboration and financial model of Open Source Software (OSS) projects. Some examples are the Apache, Linux, or Mozilla foundations. However, the mission and support provided by these foundations largely differ among them. In this paper we perform a study on the role of foundations in OSS development. We analyze the nature, activities, role and governance of 101 software foundations and
more » ... are foundations and then go deeper on the 27 having as concrete goal the development and evolution of specific open source projects (and not just generic actions to promote the free software movement or similar). Our results reveal the existence of a significant number of foundations with the sole purpose of promoting the free software movement and/or that limit themselves to core legal aspects but do not play any role in the day-to-day operations of the project (e.g., umbrella organizations for a large variety of projects). Therefore, while useful, foundations do not remove the need for specific projects to develop their own specific governance, contribution and development policies. A website to help projects to choose the foundation that best fits their needs is also available.
arXiv:2005.10063v1 fatcat:jhjmzf7iwbcx5f56edbcc5p73a

Doctoral Symposium [chapter]

Marcus Alanen, Jordi Cabot, Miguel Goulão, José Sáez
2005 Lecture Notes in Computer Science  
It was organized by five PhD Students: Marcus Alanen (Åbo Akademi University), Jordi Cabot (Universitat Oberta de Catalunya), Miguel Goulão (Universidade Nova de Lisboa), José Sáez (Universidad de Murcia  ...  The first one proposed creating generic conceptual models for each application domain (Ruth Raventós) while the second one proposed the use of ontologies as the initial conceptual model (Jordi Conesa).  ... 
doi:10.1007/978-3-540-31797-5_10 fatcat:6uh3p4i6unedzebgyh7nvz66rq

Conceptual Modelling Patterns for Roles [chapter]

Jordi Cabot, Ruth Raventós
2006 Lecture Notes in Computer Science  
Acknowledgements We would like to thank Jordi Conesa, Dolors Costal, Xavier de Palol, Cristina Gómez, Antoni Olivé, Anna Queralt, Maria Ribera Sancho, Ernest Teniente for their many useful comments in  ... 
doi:10.1007/11617808_6 fatcat:jq5zo2wzureinepy2gnqljdg4q

Incremental Evaluation of OCL Constraints [chapter]

Jordi Cabot, Ernest Teniente
2006 Lecture Notes in Computer Science  
Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental methods have been developed. The main goal of these methods is to consider as few of the entities in an information base as possible, which is generally achieved by reasoning from the structural events that define the effect of the operations. In this paper, we propose a new method for dealing with the incremental
more » ... cremental evaluation of the OCL integrity constraints specified in UML conceptual schemas. Since our method works at a conceptual level, its results are useful in efficiently evaluating constraints regardless of the technology platform in which the conceptual schema is to be implemented.
doi:10.1007/11767138_7 fatcat:u6itvpnqqzfutigpgakb2s7cs4

Lightweight String Reasoning for OCL [chapter]

Fabian Büttner, Jordi Cabot
2012 Lecture Notes in Computer Science  
Models play a key role in assuring software quality in the modeldriven approach. Precise models usually require the definition of OCL expressions to specify model constraints that cannot be expressed graphically. Techniques that check the satisfiability of such models and find corresponding instances of them are important in various activities, such as model-based testing and validation. Several tools to check model satisfiability have been developed but to our knowledge, none of them yet
more » ... e of them yet supports the analysis of OCL expressions including operations on Strings in general terms. As, in contrast, many industrial models do contain such operations, there is evidently a gap. There has been much research on formal reasoning on strings in general, but so far the results could not be included into model finding approaches. For model finding, string reasoning only contributes a sub-problem, therefore, a string reasoning approach for model finding should not add up front too much computational complexity to the global model finding problem. We present such a lightweight approach based on constraint satisfaction problems and constraint rewriting. Our approach efficiently solves several common kinds of string constraints and it is integrated into the EMFtoCSP model finder.
doi:10.1007/978-3-642-31491-9_19 fatcat:ks6s7lce4ngfjoftcmhbtyuzda

Collaboro: a collaborative (meta) modeling tool

Javier Luis Cánovas Izquierdo, Jordi Cabot
2016 PeerJ Computer Science  
Cánovas Izquierdo and Cabot(2016), PeerJ Comput. Sci., DOI 10.7717/peerj-cs.84 6/35 Cánovas Izquierdo and Cabot(2016), PeerJ Comput.  ...  ., DOI 10.7717/peerj-cs.84 8/35 Cánovas Izquierdo and Cabot(2016), PeerJ Comput. Sci., DOI 10.7717/peerj-cs.84 9/35 Cánovas Izquierdo and Cabot(2016), PeerJ Comput.  ...  Jordi Cabot conceived and designed the experiments, performed the experiments, analyzed the data, contributed reagents/materials/analysis tools, wrote the paper, prepared figures and/or tables, performed  ... 
doi:10.7717/peerj-cs.84 fatcat:47rxx44au5aqhh76k7f25thnta

On Watermarking for Collaborative Model-Driven Engineering

Salvador Martinez, Sebastien Gerard, Jordi Cabot
2018 IEEE Access  
JORDI CABOT received the B.Sc. and Ph.D. degrees in computer science from the Technical University of Catalonia.  ... 
doi:10.1109/access.2018.2841020 fatcat:m6vgws4ourh2tcylutn7fnkj2y

Composing JSON-Based Web APIs [chapter]

Javier Luis Cánovas Izquierdo, Jordi Cabot
2014 Lecture Notes in Computer Science  
The development of Web APIs has become a discipline that companies have to master to succeed in the Web. The so-called API economy is pushing companies to provide access to their data by means of Web APIs, thus requiring web developers to study and integrate such APIs into their applications. The exchange of data with these APIs is usually performed by using JSON, a schemaless data format easy for computers to parse and use. While JSON data is easy to read, its structure is implicit, thus
more » ... mplicit, thus entailing serious problems when integrating APIs coming from different vendors. Web developers have therefore to understand the domain behind each API and study how they can be composed. We tackle this issue by presenting an approach able to both discover the domain of JSON-based Web APIs and identify composition links among them. Our approach allows developers to easily visualize what is behind APIs and how they can be composed to be used in their applications. 10 11
doi:10.1007/978-3-319-08245-5_24 fatcat:yzpq5mep6ndsrmmpxgplkulnpa

Representing Temporal Information in UML [chapter]

Jordi Cabot, Antoni Olivé, Ernest Teniente
2003 Lecture Notes in Computer Science  
The UML is a non-temporal conceptual modeling language. Conceptual schemas in the UML assume that the information base contains the current instances of entity and relationship types. For many information systems, the above assumption is acceptable. However, there are some information systems for which that assumption is a severe limitation. This happens when the functions of the information system require the knowledge of past states of the information base. In this paper we extend the UML to
more » ... extend the UML to define a set of temporal features of entity and relationship types, and to provide notational devices to refer to any past state of the information base. Using this extension, a designer may use the UML/OCL as if it were a temporal conceptual modeling language. We also present a method for the transformation of a conceptual schema in this extended language into a conventional one. The method can be automated, and we describe an implementation. The result of our transformation method is a conceptual schema that can be processed by ordinary CASE tools.
doi:10.1007/978-3-540-45221-8_5 fatcat:gwnj6wwxtrguxifznet3eaoagu

Cloning in DSLs: Experiments with OCL [chapter]

Robert Tairas, Jordi Cabot
2012 Lecture Notes in Computer Science  
Code cloning (i.e., similar code fragments) in general purpose languages has been a major focus of the research community. For domain specific languages (DSLs), cloning related to domain-specific graphical languages has also been considered. This paper focuses on domainspecific textual languages in an effort to evaluate cloning in these DSLs where instances of such DSLs allow for less code to express domainspecific features, but potentially more frequently used code constructs. We suggest
more » ... s. We suggest potential application scenarios of using clone detection for the maintenance of DSL code. We introduce a clone detection mechanism using a Model Driven Engineering (MDE) based approach to evaluate the extent of cloning in an initial DSL (i.e., the Object Constraint Language (OCL)). The evaluation reveals the existence of cloning in OCL, which suggests the relevance and potential applications of clone detection and analysis in DSLs.
doi:10.1007/978-3-642-28830-2_4 fatcat:zkmvglgflvd5hg6fzti2e633oi

VirtualEMF: A Model Virtualization Tool [chapter]

Cauê Clasen, Frédéric Jouault, Jordi Cabot
2011 Lecture Notes in Computer Science  
Specification of complex systems involves several heterogeneous and interrelated models. Model composition is a crucial (and complex) modeling activity that allows combining different system perspectives into a single cross-domain view. Current composition solutions fail to fully address the problem, presenting important limitations concerning efficiency, interoperability, and/or synchronization. To cope with these issues, in this demo we introduce VirtualEMF: a model composition tool based on
more » ... tion tool based on the concept of a virtual model, i.e., a model that do not hold concrete data, but that redirects all its model manipulation operations to the set of base models from which it was generated.
doi:10.1007/978-3-642-24574-9_43 fatcat:if7r6k66gjeejpfsccguutlixq

Verifying UML/OCL Operation Contracts [chapter]

Jordi Cabot, Robert Clarisó, Daniel Riera
2009 Lecture Notes in Computer Science  
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to ensure the quality of the final application. Research on model consistency has focused mostly on the models' static aspects. Instead, this paper addresses the verification of their dynamic aspects, expressed as a set of operations defined by means of pre/postcondition contracts. This paper presents an automatic method
more » ... n automatic method based on Constraint Programming to verify UML models extended with OCL constraints and operation contracts. In our approach, both static and dynamic aspects are translated into a Constraint Satisfaction Problem. Then, compliance of the operations with respect to several correctness properties such as operation executability or determinism are formally verified.
doi:10.1007/978-3-642-00255-7_4 fatcat:nm5l4bzstjejdcfvxmzrolsl4i

Hydrogen photogeneration using ternary CuGaS2-TiO2-Pt nanocomposites

Uriel Caudillo-Flores, Anna Kubacka, Taisiia Berestok, Ting Zhang, Jordi Llorca, Jordi Arbiol, Andreu Cabot, Marcos Fernández-García
2019 International journal of hydrogen energy  
In this contribution we synthesized ternary CuGaS 2 -TiO 2 -Pt materials. The semiconductor components were surface functionalized with mercapto-alifatic acids to drive their linking and were platinized prior to or after contact between the semiconductors. The corresponding samples were utilized in the photo-production of hydrogen using methanol as a sacrificial agent. The testing under UV and visible illumination conditions together with the calculation of the true quantum efficiency of the
more » ... fficiency of the process demonstrate the outstanding performance of these ternary materials under sunlight operation. Optimum activity was achieved for samples having a 3 to 5 wt % of the chalcogenide and a selective interaction of the noble metal with the major oxide component. The physico-chemical characterization and particularly the use of photoluminescence spectroscopy showed that photo-activity is controlled by charge separation under illumination, which drives to charge location of electrons and holes in different components of the powders and the efficient use of charge carriers in the chemical reaction.
doi:10.1016/j.ijhydene.2019.11.019 fatcat:z4yoh5zbtvewtpzk2m5mcvc5dm
« Previous Showing results 1 — 15 out of 384 results