Cornel Klein, Bernhard Rumpe, and Manfred Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model - . In Jean-Bernard Stefani Elie Naijm, editor, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... an interface is realized by a subsystem consisting of one or several classes whose dynamic behavior is described by sequence, collaboration and state diagrams [JBR99] It should be straightforward to integrate our class speci cations and the OCL semantics into the stream based system model of [KRB96]. Extending our behavioral interface speci cations by sequence diagrams seems to be more dicult since it requires integrating the observational logic of [BH99] with nondeterministic rewriting (for a possible approach see [D96] or once more with the system model of [KRB96] Acknowledgment: Thanks ....

.... system model of [KRB96] Extending our behavioral interface speci cations by sequence diagrams seems to be more dicult since it requires integrating the observational logic of [BH99] with nondeterministic rewriting (for a possible approach see [D96] or once more with the system model of [KRB96]. Acknowledgment: Thanks go to the anonymous referees for many constructive remarks which helped us to improve the paper. ....

C. Klein, B. Rumpe and M. Broy. A stream-based mathematical model for distributed information processing systems - Syslab system model. Proc. FMOODS '96, Chapmann & Hall, 1996.

....generate part of the code, the documentation, and the test cases for the system. Beyond that, many applications are possible, ranging from consistency checks over simulation to development workflow support [HSSS96] Based on former work on system models and formal description techniques [Bro95, KRB96, GKR96, BHH 97] we have presented a formal componentware system model in [BRS ar] yet without explicit support for test concepts. The base concepts of the model in its current form are as follows: Instances represent the individual operational units of a component system that ....

Cornel Klein, Bernhard Rumpe, and Manfred Broy. A stream-based mathematical model for distributed information processing systems: The SysLab system model. In J.-B. Stefani E. Naijm, editor, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

....of asynchronous message exchange. Each actor offers a set of services. Service calls are a particular type of messages. Actors can constrain the service call acceptance. Services operate exclusively on the data encapsulated by the actor. A mathematical system model along these lines is given in [KRB96] The architecture design of a system is described by roles and actors. Roles are used to decompose the data and services of actors into meaningful units to be used in a particular context. The roles of one actor are activated concurrently. As a first example consider the ubiquitous Pipe ....

....postconditions defining the involved data changes, if only the effects on the state space and the triggering input and final output are relevant. If the full (interaction) behaviour of a service is relevant, it is described by an enhanced form of nondeterminstic input output automata defined in [GKRB96] In the example such an automaton is given for the read service. role pipe = f attributes Data : sequence of data partner reader, writer : any service write = f trigger input d : data from writer post Data = Data ffi d g service write close = f trigger from writer post Data = Data ffi ....

[Article contains additional citation context not shown here]

C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model. In E. Naijm and J. Stefani, editors, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

No context found.

Cornel Klein, Bernhard Rumpe, and Manfred Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model - . In Jean-Bernard Stefani Elie Naijm, editor, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

No context found.

C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model - . In Jean-Bernard Stefani Elie Naijm, editor, FMOODS'96 Formal Methods 6 for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

No context found.

Cornel Klein, Bernhard Rumpe, and Manfred Broy. A streambased mathematical model for distributed information processing systems - syslab system model -. In Elie Naijm and Jean-Bernard Stefani, editors, FMOODS'96, Formal Methods for Open Objectbased Distributed Systems. ENST France Telecom,1fieco

.... techniques, their semantics and transformations may be coded within a logic, e.g. HOL ( 8] and then proved with a theorem prover like Isabelle ( 18] A more detailed explanation of a more general system model, allowing combined use of hardware and software components can be found in [24] and [12]. Outline of the System Model The system model aims at describing distributed object oriented systems. It formalizes a system as a set of interacting components, called objects. All objects interact by asynchronous message passing. Data (states) of objects are encapsulated, no sharing occurs. ....

....in specifying real time object oriented systems, the medium may be refined to a medium without as well as with a restricted sort of delay. Although the medium is not a component that is intended to be implemented, we can describe the communication medium as an ordinary component, as done in [12]. State Box Behavior Besides the object signature that constitutes the interface, objects also have an internal state, composed of a finite set of attributes. The behaviour of an object can be given either in a property oriented way as a black box or based on internal states. The state space ....

Cornel Klein, Bernhard Rumpe, and Manfred Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model. In E. Naijm and J.B. Stefani, editors, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

....appropriate type, characterizing the state of objects. We do not elaborate on the underlying type system here, but assume an appropriate one to be given. In addition, to add a precise characterization of behavioral concepts, a mapping of the above given definitions into a system model as given in [KRB96] using state machines as behavioral entities [PR97, GKRB96] could be defined. 2.3 A Model for Component Based Systems Our model for a component based system is introduced on top of the model for objectoriented systems. Definition 4 Component A Component (name; os; pr; If; Int) is given by ffl ....

C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model - . In J.- B. Stefani E. Naijm, editor, FMOODS'96 Formal Methods for Open Objectbased Distributed Systems, pages 323--338. ENST France Telecom, 1996.

..... 32 7.2 RS Flip Flop . 35 8 Conclusion 39 2 Chapter 1 Introduction The SysLab project aims at providing a scientifically well founded approach for software and system development. Within SysLab, the system model (see [RKB95] KRB96] serves as a common reference model for the definition of the semantics of the SysLab description techniques, for defining notions of correctness for transformation rules and for the tool system to be developed. The main emphasis of the technical report [RKB95] was to motivate the need for such ....

....of data states and to have control states represented. As the input of a component is timed, we have to accept input messages at every time. To get a further degree of description freedom we decide to add an input buffer for not yet processed input messages and thus get a state space similar to [GKRB96] The state space of every basic component c 2 ID b can be seen as: State c = In c D ) Theta Data c Theta (Out c D ) and the initial state space as: State 0 c ffflg Theta Data c Theta ffflg where Data c is the data space of a basic component. 6.7 Sorts in the System Model The ....

[Article contains additional citation context not shown here]

C. Klein, B. Rumpe, and M. Broy. A stream based mathematical model for distributed information processing systems. In Elie Najm, editor, 1st Workshop on Formal Methods for Open Object-based Distributed Systems, Paris 1996. Proceedings. Chapmann & Hall, 1996. to appear.

....of messages flowing along one port is called a communication history. The behavior of a component is modeled by the relationship between the histories of the input ports and the histories of the output ports. A formal model in which systems and their components are modeled this way is given in [KRB96] and [GKR96] The behavior of a component can be modeled in a functional way by (sets of) stream processing functions, in a relational way with relations between input and output histories, in a trace oriented way with interleaved sequences of messages and last but not least, in a state based ....

C. Klein, B. Rumpe, and M. Broy. A stream based mathematical model for distributed information processing systems. In Elie Najm, editor, 1st Workshop on Formal Methods for Open Object-based Distributed Systems, Paris 1996. Proceedings. Chapmann & Hall, 1996. to appear.

....3.1 Informal Description of MSM The mathematical system model serves as a basis for the creation of the semantics of the description techniques. The MSM describes the whole set of systems SM that can be specified by the SysLab method. The MSM is formalized using mathematical techniques [RKB95, KRB96] However, for an understanding of the SysLab method it is not necessary to know the formalization of the MSM. For this reason, we only roughly sketch the MSM below. A system consists of a dynamically changing set of objects. The objects are grouped by a finite set of classes. A state is ....

C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model - . In Jean-Bernard Stefani Elie Naijm, editor, FMOODS'96 Formal Methods 6 for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

....the refinement calculus can be used for the incremental addition of features to an existing system. In Sections 7 and 8, we discuss related work and draw some conclusions. 2 The Semantic Model The semantic model we are using is based on stream processing functions. It is in detail presented in [10, 9, 18, 13] and it is based on dataflow networks as originating from the work of G. Kahn [16] We model a component of a system as an entity communicating asynchronously with its environment by the exchange of messages. We restrict components to have exactly one port where messages arrive and one port where ....

C. Klein, B. Rumpe, and M. Broy. A Stream based Mathematical Model for Distributed Information Processing Systems. In Elie Najm, editor, 1st Workshop on Formal Methods for Open Object-based Distributed Systems, Paris 1996. Proceedings. Chapmann & Hall, 1996.

....the model to a small number of basic concepts which are sufficiently abstract to incoporate most of the current technical componentware approaches. The presented model builds on related work on description techniques [Gro99, BHH 97] as well as existing models of distributed systems [Bro95, KRB96] based on the Focus methodology [BDD 92] Its main A Formal Model for Componentware 3 concepts to model component oriented systems are instances, types, and descriptions: Instances represent the individual operational units of a component system that determine its overall behavior. A system ....

....by this equation, as we use strong equality on components. In the example of Figure 1.1, a direct connection between the interfaces i3 and i8 would be invalid, as it violates the encapsulation boundary of component c1. 1.3. 2 Time and System Configuration Histories Like related formal models [KRB96] we work with discrete time and regard time as an infinite chain of time intervals of equal length. We use N as an abstract time axis, and denote it by T for clarity. Furthermore, we assume a time synchronous 6 K. Bergner, A. Rausch, M. Sihling, A. Vilbig, M. Broy model because of the ....

Cornel Klein, Bernhard Rumpe, and Manfred Broy. A stream-based mathematical model for distributed information processing systems: The SysLab system model. In J.-B. Stefani E. Naijm, editor, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

No context found.

KRB96. C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model - . In Jean-Bernard Stefani Elie Naijm, editor, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

....on the theory given above, we have defined a set of concepts to enrich Focus with an object oriented flavor. This allows us to give a formal semantics to object oriented modeling techniques, like UML [BRJ97] as we have done in [BHH 97] For that purpose, we have defined a system model in [KRB96] that characterizes our notion of object oriented systems. Objects can be naturally viewed as components, as defined in the last section. Based on that, communication paths are defined using identifiers, where each object is associated with exactly one identifier (its identity) In the system ....

....a transition is attributed with a set of messages (sometimes restricted to one message) to be processed during the transition and a set of messages to be produced. There are timed and untimed variants, and there are variants incorporating pre and postconditions on transitions [RK96,PR94,GKR96,GKRB96,GR95,Rum96,PR97a] In the object oriented flavor, State Transition Diagrams describe the lifecycle of objects. In STDs, descriptions of state and behavior are combined. STDs can be used at different levels of abstraction that allow both the specification of an object interface as well as the ....

C. Klein, B. Rumpe, and M. Broy. A Stream-based Mathematical Model for Distributed Information Processing Systems - SysLab system model - . In E. Naijm and J.-B. Stefani, editors, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

....System abstract description of : v : class output state behavior id medium communication states id Figure 2: System Model, Models and Specification 2. 2 Definition of the System Models The system characterisation given below is a refinement of the SysLab system model as presented in Klein et al. 1996) and Grosu et al. 1996) and it is rather similar to the one used in Breu et al. 1997)b. Each document, for instance an object diagram, is regarded as a constraint on the system model s universe. The system model introduced below is especially adapted for the formalization of UML. Thus, ....

KLEIN, C., RUMPE, B., & BROY, M. (1996). A stream-based mathematical model for distributed information processing systems - SysLab system model - . Pages 323--338 of: Elie Naijm, Jean-Bernard Stefani (ed), Fmoods'96 formal methods for open object-based distributed systems. ENST France Telecom.

....of the semantic domain correspond to modelling concepts that are independent of particular modelling techniques. In the OO modelling realm this is possible because objects have certain properties that are independent from the modelling techniques, and are thus intrinsic to being an object . In [16] and [19] a system model is defined, and used as the semantic domains for OO notations in papers such as [3] and [19] In this paper, the semantic domain is characterized using the language Z. 4. This step is concerned with defining the meaning function for the OO notation. A mapping between the ....

Cornel Klein, Bernhard Rumpe, and Manfred Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model. In Jean-BernardStefani ElieNaijm, editors FMOODS '96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST. France Telecom, 1996.

....and understandability of the semantics definition considerably. For the semantics definition we employ our experience gained during the SysLab project. In SysLab the formally founded analysis and design method SLM has been developed covering description techniques similar to those of UML [18, 13, 12, 15, 22, 30]. Thus on the one hand we outline the basic ideas and the overall structure of the formal foundation of UML. This foundation revealed several language features which are not yet fully clear. We discuss some of these aspects in the respective sections. On the other hand we compare the description ....

....captured by a single system. For the same reason, it is not possible to give an operational semantics in the sense that a document specifies a single abstract machine that executes it. 3. 2 System Model The system model described below is a refinement of the SysLab system model as presented in [18], 28] and [11] Each document, for instance an object diagram, is regarded as a constraint on the system model. The system model provides a common basis to define an integrated semantics of all description techniques. On this basis, notions like consistency and refinement of documents can be ....

[Article contains additional citation context not shown here]

C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model -. In Elie Naijm and Jean-Bernard Stefani, editors, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

....and techniques. In the OO modeling realm this is possible because objects have certain properties that are independent from the modeling techniques, and are thus intrinsic to being an object . Examples of such properties include having attributes or having sequentially invocable methods. In [14] and [17] a system model is defined, and used, as described in papers such as [3] and [17] as a basis for formalizing OO diagrams. Such a system model can also be viewed as the semantic domain, as it is used as the domain of the semantics mapping. The second step is to formally define the ....

Cornel Klein, Bernhard Rumpe, and Manfred Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model - . In Jean-Bernard Stefani Elie Naijm, editor, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

....at runtime, either under control of the system itself or initiated by human component developers and component assemblers. 2 Overview The proposed formal system model builds on related work on description techniques [Gro99, Thu98, BHH 97] and existing models of distributed systems [Bro95, KRB96, GKR96] based on the Focus methodology [BDD 92, Bro98] The model considers both static syntactical and structural properties, as well as dynamic and behavioral aspects. The latter include the flow of data and control between components of a system, leading to an understanding of ....

Cornel Klein, Bernhard Rumpe, and Manfred Broy. A stream-based mathematical model for distributed information processing systems: The SysLab system model. In J.-B. Stefani E. Naijm, editor, FMOODS'96 Formal Methods for Open Objectbased Distributed Systems, pages 323--338. ENST France Telecom, 1996.

....business information systems. For the semantic model we use our experience gained while working on the semantic foundation of software engineering techniques and software architecture using formal methods. In particular, our group has developed a formal model, called system model (cf. KRB96] which is capable of modeling various system views that arise during the development process. These views are modeled abstractly and independently of specific description techniques. The structure of this paper is as follows. In Section 2 we provide examples for the application of sequence ....

....techniques has been explored in the SysLab project. Here, syntactic diagrams (also called documents in this context) are assigned a semantics by defining a mapping that relates each diagram to a set of systems. The notion of a system is defined using an abstract mathematical model (cf. KRB96] an extension appears in [GKR96] The description of a system consists of various documents that describe, for instance, the properties of classes, objects, and object behavior. Every document represents a certain view on the system. One such view is the semantic model of object interaction as ....

C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model - . In Jean-Bernard Stefani Elie Naijm, editor, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

....to increase the readability and understandability of the semantics definition considerably. For the semantics definition we employ our experience gained during the SysLab project. In SysLab a formally founded design method has been developed covering description techniques similar to those of UML [18, 13, 12, 15, 21, 29]. The intention of this paper is to outline the basic ideas and the overall structure of the formal foundation of UML. Through the semantic definition of UML concepts, we detected a number of language features which are not yet fully clear. We discuss some of these aspects in the respective ....

....captured by a single system. For the same reason, it is not possible to give an operational semantics in the sense that a document specifies a single abstract machine that executes it. 3. 2 System Model The system model described below is a refinement of the SysLab system model as presented in [18], 27] and [11] Each document, for instance an object diagram, is regarded as a constraint on the system model. The system model provides a common basis to define an integrated semantics of all description techniques. On this basis, notions like consistency and refinement of documents can be ....

C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model -. In Elie Naijm and Jean-Bernard Stefani, editors, FMOODS'96 Formal Methods for Open Objectbased Distributed Systems, pages 323--338. ENST France Telecom, 1996.

....project and the work on hybrid (and realtime) systems within the BeQuest project. The model is based on two earlier versions developed within SysLab. The first version for this system model was defined in [RKB95] and contained a strong motivational part. This system model was further improved in [KRB96] From now on, we refer to this first version of the system model as SM 1 . The second version, SM 2 , was defined in [GKR96] It clarifies some details and enhances SM 1 by port automata, which were introduced in [GR95] While [GKR96] contains much technical details, it is nevertheless ....

C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model - . In Jean-Bernard Stefani Elie Naijm, editor, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

No context found.

C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model - . In Jean-Bernard Stefani Elie Naijm, editor, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

No context found.

C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model - . In Jean-Bernard Stefani Elie Naijm, editor, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323--338. ENST France Telecom, 1996.

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC