2 Search Results for "Gómez-Zamalloa, Miguel"


Document
Towards Testing Concurrent Objects in CLP

Authors: Elvira Albert, Puri Arenas, and Miguel Gómez-Zamalloa

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)


Abstract
Testing is a vital part of the software development process. It is even more so in the context of concurrent languages, since due to undesired task interleavings and to unexpected behaviours of the underlying task scheduler, errors can go easily undetected. This paper studies the extension of the CLP-based framework for glass-box test data generation of sequential programs to the context of concurrent objects, a concurrency model which constitutes a promising solution to concurrency in OO languages. Our framework combines standard termination and coverage criteria used for testing sequential programs with specific criteria which control termination and coverage from the concurrency point of view, e.g., we can limit the number of task interleavings allowed and the number of loop unrollings performed in each parallel component, etc.

Cite as

Elvira Albert, Puri Arenas, and Miguel Gómez-Zamalloa. Towards Testing Concurrent Objects in CLP. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 98-108, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@InProceedings{albert_et_al:LIPIcs.ICLP.2012.98,
  author =	{Albert, Elvira and Arenas, Puri and G\'{o}mez-Zamalloa, Miguel},
  title =	{{Towards Testing Concurrent Objects in CLP}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{98--108},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.98},
  URN =		{urn:nbn:de:0030-drops-36134},
  doi =		{10.4230/LIPIcs.ICLP.2012.98},
  annote =	{Keywords: Testing, Glass-box Test Data Generation, Active Objects, Symbolic Execution}
}
Document
Ontology Access Provisioning in Grid Environments

Authors: Miguel Esteban Gutiérrez and Asuncion Gomez-Perez

Published in: Dagstuhl Seminar Proceedings, Volume 5271, Semantic Grid: The Convergence of Technologies (2005)


Abstract
The increase of use of semantic technologies has reached almost every computer science related field, including the grid computing field . The next generation Grid should virtualise the notion of distribution in computation, storage, and communication over unlimited resources with well defined computational semantics. A Grid node may provide new services, functions or even new concepts that are unknown to clients. The semantics of such services are defined by means of Ontologies [Gruber, 1993; Gómez-Pérez et al., 2003]. Thus providing the appropriate means for accessing and using Ontologies in the Grid is fundamental if semantic technologies are to be used. So, the transition from monolithic, centralized ontology services to a virtual organization of Grid compliant and Grid aware ontology services that can coordinate and cooperate with each other is crucial to progress towards the Semantic Grid [De Roure et al., 2005].

Cite as

Miguel Esteban Gutiérrez and Asuncion Gomez-Perez. Ontology Access Provisioning in Grid Environments. In Semantic Grid: The Convergence of Technologies. Dagstuhl Seminar Proceedings, Volume 5271, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


Copy BibTex To Clipboard

@InProceedings{gutierrez_et_al:DagSemProc.05271.9,
  author =	{Guti\'{e}rrez, Miguel Esteban and Gomez-Perez, Asuncion},
  title =	{{Ontology Access Provisioning in Grid Environments}},
  booktitle =	{Semantic Grid: The Convergence of Technologies},
  pages =	{1--1},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{5271},
  editor =	{Carole Goble and Carl Kesselman and York Sure},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05271.9},
  URN =		{urn:nbn:de:0030-drops-3832},
  doi =		{10.4230/DagSemProc.05271.9},
  annote =	{Keywords: Ontology Access, WS-DAIO}
}
  • Refine by Author
  • 1 Albert, Elvira
  • 1 Arenas, Puri
  • 1 Gomez-Perez, Asuncion
  • 1 Gutiérrez, Miguel Esteban
  • 1 Gómez-Zamalloa, Miguel

  • Refine by Classification

  • Refine by Keyword
  • 1 Active Objects
  • 1 Glass-box Test Data Generation
  • 1 Ontology Access
  • 1 Symbolic Execution
  • 1 Testing
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2005
  • 1 2012

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail