www.bptrends.com 123456789012345678901234567890121234567890123456 123456789012345678901234567890121234567890123456 123456789012345678901234567890121234567890123456 123456789012345678901234567890121234567890123456 123456789012345678901234567890121234567890123456 123456789012345678901234567890121234567890123456 123456789012345678901234567890121234567890123456 1234567890123456789012345678901212345...

Including provision for continuously varying behaviour as well as discrete state change is considered for Event-B. An extension of Event-B is sketched that accommodates continuous events (called pliant events) in between familiar discrete events (called mode events).

Abstract. In this paper, a Cascaded Lattice Boltzmann Method with second order slip boundary conditions is developed to study gas flows in a microchannel in the slip and transition flow regimes with a wide range of Knudsen numbers. For the first time the effect of wall confinement is considered on the effective mean free path of the gas molecules using a function with nonconstant Bosanquet para...

This paper is concerned with the problem of design and implementation a robust adaptive control strategy for flexible joint electrically driven robots (FJEDR), while considering to the constraints on the actuator voltage input. The control design procedure is based on function approximation technique, to avoid saturation besides being robust against both structured and unstructured uncertaintie...

In this paper we introduce a quality-driven architecture design (QAD) method with three phases: system analysis, conceptual architecture design and design of a concrete architecture. Architecture design phases produce an aspect of software architecture at two different levels of abstraction. System analysis provides a bigger picture of the software system and its properties. Conceptual architec...

Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interrelating all possible data, is almost impossible and by far too expensive and labor intensive. To minimize the information to be recorded and to reduce the additional costs the types of trace information to be captured should be...

Introduction 1 Randomness manifests itself in many aspects of real-world problems, such as initial/boundary conditions, model parameters, measurements, to name a few. 2 Its effect may span many scales and grow with time through nonlinear interactions, which results in dramatic difference compared with that of the deterministic model. 3 A typical scenario occurring frequently in practice is that...

Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These models are supposed to span the entire life cycle of a software system and ease the software production and maintenance tasks. Consequently, tools will be needed that support these tasks. In this paper, we present a meth...