We develop a notion of spatial-behavioral typing suitable to discipline interactions in service-based systems modeled in a distributed object calculus. Our type structure reflects a resource aware model of behavior, where a parallel composition type operator expresses resource independence, a sequential composition type operator expresses implicit synchronization, and a modal operator expresses...

C&C and deployment are base views for describing software architectures. Both views typically exist of several models that highlight particular aspects of the software. From our experience, managing the dependencies between architectural models is a challenging, yet crucial task for maintaining consistency of an architectural description. In this paper, we focus on the composition of architectu...

the theory of c-frames and c-bessel mappings are the generalizationsof the theory of frames and bessel sequences. in this paper, weobtain several equivalent conditions for dual of c-bessel mappings.we show that for a c-bessel mapping $f$, a retrievalformula with respect to a c-bessel mapping $g$ is satisfied if andonly if $g$ is sum of the canonical dual of $f$ with a c-besselmapping which  wea...

A structural view is a base view for describing software architectures. A structural view typically comprises several structural models that highlight particular aspects of the software. From our experience, managing the dependencies between structural models is a challenging, yet crucial task for maintaining consistency of an architectural description. In this paper, we focus on the compositio...

In this note we characterize the compact weighted Frobenius-Perron operator $p$ on $L^1(Sigma)$ and determine their spectra. We also show that every weakly compact weighted Frobenius-Perron operator on $L^1(Sigma)$ is compact.

The notion of switched discrete event systems (DES) has been introduced recently. This is a class of DES where each automaton is the composition of two basic automata, but with different composition operators. A switching occurs when there is a change of the composition operator, but keeping the same two basic automata. A mode behavior is defined as the active DES behavior for a given compositi...