Mapping Component Specifications to Enterprise JavaBeans Implementations

Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advantages of the component-based approach in theory. Most of this research pays little attention to the mappings from component specifications to component implementations. However, the mappings are important because they determine whether the implementations perform satisfactorily to meet the specifications. After presenting a general approach to component specification and the technology of Enterprise JavaBeans (EJB) component model, this paper presents three approaches to mapping from component specification to EJB implementation. This paper uses a course registration system as an example to demonstrate the ideas. The approaches presented will be helpful to those who are working on the realizations of component systems

Composição dinâmica de aplicações em ambientes de execução sob demanda

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.Esta dissertação propõe uma abordagem para minimizar o problema da reduzida flexibilidade funcional verificada nos complexos sistemas industriais, que são comprados como pacotes ou módulos inteiros, geralmente caros, mesmo que não se adaptem completamente às necessidades das empresas. Esta abordagem baseia-se na composição dinâmica e inteligente de componentes de software. Esta composição irá ocorrer somente quando determinada funcionalidade for efetivamente necessitada e adaptada para o corrente ambiente de utilização em tempo de execução. A composição é feita sob demanda, através de uma nova visão dos Provedores de Serviços de Aplicação - PSAs (Application Service Providers - ASPs) - e aproveitando-se algumas idéias da abordagem de Aplicações Compostas (Composite Applications). Um dos principais conceitos a serem introduzidos no modelo proposto é o de Federação de Provedores de Aplicação (FPA), uma entidade distribuída que reúne logicamente uma série de provedores de aplicação (componentes). Um protótipo foi elaborado e testado. Além disso, procurou-se esboçar um pequeno modelo de negócios que englobasse alguns aspectos que poderão vir a ser úteis para quem desejar levar o conceito adiante em termos comerciais, na ótica de software como serviço

SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings

This is the proceedings of the 2004 SAVCBS workshop. The workshop is concerned with how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for the specification and verification of component-based systems. Component-based systems are a growing concern for the software engineering community. Specification and reasoning techniques are urgently needed to permit composition of systems from components. Component-based specification and verification is also vital for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop considers formalization of both functional and non-functional behavior, such as performance or reliability