Communication protocols–for short protocols–form the basis for the operation of computer
networks and telecommunication systems. They are behavior conventions which describe …

The use of lightweight formal methods (LFM) for the development of industrial applications
has become a major trend. Although the term" lightweight formal methods" has been used …

In addition to static structures, the Unified Modelling Language (UML) supports the
specification of dynamic properties of objects by means of statechart and sequence …

This paper presents two extensions for Statecharts: the Stochastic Statecharts, which use the
original statecharts notation with a minor modification in the formal semantics and the …

Component-structured software, which is coupled from independently developed software
components, introduces new security problems. In particular, a component may attack …

Abstract The Border Gateway Protocol (BGP) is an interdomain routing protocol such that
each autonomous system can independently formulate its routing policies. However, BGP …

This paper presents an extension to the Multiprotocol Label Switching (MPLS) traffic
engineering in IP networks with long-range dependent traffic. The extension provides the …

The description methods introduced in the preceding chapter form the basis for the
development of specification languages or formal description techniques. They are applied …

The core idea of SIMS is that semantic interfaces provide new means to specify and design
service components and to guarantee compatibility in static and dynamic component …

Die Entwicklung komponentenstrukturierter E-Commerce-Software ist kostengünstig und
schnell, da man die Systeme recht einfach aus wiederverwendbaren Softwarekomponenten …