Bisimulation for component-based development

Guaranteeing that assembled components will behave as required is one of the main aspects in working with Component-Based Development. In this paper we present a formal approach for tackling this problem by applying the concept of bisimulation, originally presented in the study of concurrency theory...

Descripción completa

Detalles Bibliográficos
Autores principales:	Estévez, Elsa Clara, Fillottrani, Pablo Rubén
Formato:	Articulo
Lenguaje:	Inglés
Publicado:	2002
Materias:	Ciencias Informáticas component-based development bisimulation
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/9434 http://journal.info.unlp.edu.ar/wp-content/uploads/p61.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Formal specifications in component-based development
por: Estévez, Elsa Clara, et al.
Publicado: (2002)

Algebraic specifications and refinement for component-based development using RAISE
por: Estévez, Elsa Clara, et al.
Publicado: (2002)

Rooted branching bisimulation as a congruence for probabilistic transition systems
por: Lee, Matías David, et al.
Publicado: (2022)

Rooted branching bisimulation as a congruence for probabilistic transition systems
por: Lee, Matías David, et al.
Publicado: (2022)

Issues for assessing component-based systems
por: Cechich, Alejandra, et al.
Publicado: (2002)

Bisimulation abstraction for selecting software components in RAISE
por: Estévez, Elsa Clara, et al.
Publicado: (1999)

Formal concept analysis-based service classification to dynamically build efficient software component directories
por: Arévalo, Gabriela Beatriz, et al.
Publicado: (2009)

Logical characterization of bisimulation for transition relations over probability distributions with internal actions
por: Lee, Matías David, et al.
Publicado: (2023)

An approach based on feature models and quality criteria for adapting component-based systems
por: Sánchez, Luis Emiliano, et al.
Publicado: (2016)

Component assessment using testing
por: Sánchez, Marisa, et al.
Publicado: (2001)

Software Product Line Reengineering: A Case Study on the Geographic Domain
por: Buccella, Agustina, et al.
Publicado: (2016)

Development of component-based information systems /
Publicado: (2006)

A heterogeneous characterisation of component-based system design in a categorical setting
por: López Pombo, Carlos Gustavo
Publicado: (2014)

A heterogeneous characterisation of component-based system design in a categorical setting
por: Lopez Pombo, C.G., et al.

A systematic review of the application of modern software engineering techniques to the development of robotic systems
por: Pons, Claudia, et al.
Publicado: (2011)

Component Based Model Driven Development : An Approach for Creating Mobile Web Applications from Design Models
por: Vera, Pablo Martín, et al.
Publicado: (2015)

Discovering geographic services from textual use cases
por: Saldaño, Viviana E., et al.
Publicado: (2010)

Stability for component integration assessment
por: Cechich, Alejandra, et al.
Publicado: (2003)

Construction of a taxonomy for requirements engineering commercial-off-the-shelf components
por: Ayala, Claudia, et al.
Publicado: (2005)

Practical Assessment Scheme to Service Selection for SOC-based Applications
por: Garriga, Martín, et al.
Publicado: (2012)

Practical Assessment Scheme to Service Selection for SOC-based Applications
por: Garriga, Martín, et al.
Publicado: (2011)

Automated architectural component classification using concept lattices
por: Aboud, Nour Alhouda, et al.
Publicado: (2009)

Behavior assessment based selection method for service oriented applications integrability
por: Garriga, Martín, et al.
Publicado: (2012)

Component-oriented development and assembly : paradigm, principles, and practice using Java /
por: Manickam, Piram
Publicado: (2014)

Abstract processes in orchestration languages
por: Buscemi, M.G., et al.
Publicado: (2009)

Abstract processes in orchestration languages
Publicado: (2009)

Abstract processes in orchestration languages
por: Buscemi, M.G., et al.

Abstract processes in orchestration languages
por: Buscemi, M.G., et al.
Publicado: (2009)

A UML profile for documenting the component-and-connector view of software architectures
por: Anacleto, Valerio Adrián
Publicado: (2008)

AASII: a novel algorithm for assessing services interfaces integrability
por: Crasso, Marco, et al.
Publicado: (2012)

A new way to classify and retrieve reusable components: the finder metaphor
por: Barros Justo, José Luís, et al.
Publicado: (1999)

The lattice of congruences of a finite line frame
por: Areces, Carlos Eduardo, et al.
Publicado: (2024)

Selecting COTS components: a comparative study on E-Payment systems
por: Cechich, Alejandra, et al.
Publicado: (2003)

Independent component analysis /
por: Hyvarinen, Aapo
Publicado: (2001)

Considerations upon interoperability on pervasive computing environments
por: Flores, Andrés P., et al.
Publicado: (2004)

Static checking of system behaviors using derived component assumptions
Publicado: (2000)

Static checking of system behaviors using derived component assumptions
por: Inverardi, P., et al.

Integración de bases de datos heterogéneas para servicios web en gobierno electrónico
por: Cesetti, Angela, et al.
Publicado: (2009)

Readings in unobserved components models
Publicado: (2005)

Cellular gas with active components of PSO: mutation and crossover
por: Villagra, Andrea, et al.
Publicado: (2012)