Verification mechanism for lightweight componenent-based environment based on IoC container | Zendy

Leszko Rafal | Zendy; Puspita Annaba Kamil | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Verification mechanism for lightweight componenent-based environment based on IoC container

Author(s) -

Leszko Rafal,

Puspita Annaba Kamil

Publication year - 2013

Publication title -

computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.145

H-Index - 5

eISSN - 2300-7036

pISSN - 1508-2806

DOI - 10.7494/csci.2013.14.4.577

Subject(s) - computer science , component (thermodynamics) , container (type theory) , component based software engineering , software engineering , runtime verification , functional verification , consistency (knowledge bases) , software verification , process (computing) , verification and validation , model checking , distributed computing , formal verification , software , programming language , software development , software construction , mechanical engineering , statistics , physics , mathematics , artificial intelligence , engineering , thermodynamics

The paper presents a concept of component verification framework dedicated to a particular lightweight component environment. A starting point of the paper constitutes a discussion about significance of verification process of syntax inconsistencies in the software development. Next, the need of verification in service-oriented and component-based systems are presented and various approaches of verification in existing component environments are explained. The main part of the paper introduces a concept of a functional integrity of component-based systems that utilize verification mechanisms checking components consistency. The proposed solution is built on fine-grained component environment (close to classes similarly to the Spring Framework) realized in AgE platform. Selected technical aspects of the framework design illustrate the considerations of the paper

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research