The concept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper, we propose to deal with reconfiguration abstraction also in the formal specification level. We show that the process algebra π-calculus, widely applied to specify composable systems, is not suitable to captur...

In implementation verification, we check that an implementation is correct with respect to a specification by checking whether the behaviors of a transition system that models the program’s implementation correlate with the behaviors of a transition system that models its specification. In this paper, we investigate the effect of concurrency on the complexity of implementation verification. We ...

almost multiplier is rather a new concept in the theory of almost functions. in thispaper we discuss on the boundedness of almost multipliers on some special banach algebras,namely stable algebras. we also dene an adjoint and extension for almost multiplier.

Visibly Pushdown Languages (VPL) have been proposed as a formalism useful for specifying and verifying complex, recursive systems such as application software. However, VPL turn out to be unsuitable for the compositional specification of concurrent software, as they are not closed under shuffle. Multi-stack Visibly Pushdown Languages (MVPL) express naturally concurrent constructions. We find ho...

According to the Zachman framework for system architecture, business requirements and user information requirements should be separately modelled to enhance the maintainability and adaptability of the information systems and to improve the flexibility of the system development process. The measurement of business requirements is largely an unexplored field since requirements specification measu...

This specification defines a Uniform Resource Name (URN) namespace for the Global System for Mobile Communications Association (GSMA) and a Namespace Specific String (NSS) for the International Mobile station Equipment Identity (IMEI), as well as an associated parameter for the International Mobile station Equipment Identity and Software Version number (IMEISV). The IMEI and IMEISV were introdu...