29,366 Hits in 3.6 sec

Compositional Message Sequence Charts [chapter]

Elsa L. Gunter, Anca Muscholl, Doron A. Peled
2001 Lecture Notes in Computer Science  
doi:10.1007/3-540-45319-9_34 fatcat:pysydi3enbelbkdgezutjn5ehi

Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs [chapter]

Blaise Genest
2005 Lecture Notes in Computer Science  
Communicating Finite States Machines (CFMs) and Message Sequence Graphs (MSC-graphs for short) are two popular specification formalisms for communicating systems.  ...  For instance, as soon as we add data to messages, any local-choice MSC-graph is implementable [9].  ...  Message Sequence Charts (MSCs) Message Sequence Charts (MSC for short) is a scenario language standardized by the ITU ( [14] ).  ... 
doi:10.1007/978-3-540-31980-1_28 fatcat:4bgsfabjlzbqjmm6cqqr6b5rdy

Correspondence: Comments on a Proposed Semantics for Basic Message Sequence Charts

P. B. Ladkin
1994 Computer journal  
They de ne \the semantics of a Basic Message Sequence Chart as] the free merge of its constituent instances.  ...  But calculating the interleavings of a Basic Message Sequence Chart is easy, and doesn't need such apparatus.  ...  They de ne \the semantics of a Basic Message Sequence Chart as] the free merge of its constituent instances.  ... 
doi:10.1093/comjnl/37.9.814 fatcat:pcuisupeqjbfvnhmxosj3lgzdu

An Algebraic Semantics of Basic Message Sequence Charts

S. Mauw
1994 Computer journal  
The second Basic Message Sequence Chart in Figure 1 de nes the same Basic Message Sequence Chart, but in an alternative drawing.  ...  THE SEMANTICS OF BASIC MESSAGE SEQUENCE CHARTS 5.1.  ... 
doi:10.1093/comjnl/37.4.269 fatcat:pkbfhb6c5je2xaviifuxl5k6l4

Delayed choice: an operator for joining Message Sequence Charts [chapter]

J. C. M. Baeten, S. Mauw
1995 IFIP Advances in Information and Communication Technology  
An application is in joining Message Sequence Charts.  ...  The current proposal of the formal semantics only considers single Message Sequence Charts, while the application of Message Sequence Charts often consists of a collection of Message Sequence Charts.  ...  The reason is that the integration of compositional operators and Message Sequence Charts must be uniform for all operators proposed.  ... 
doi:10.1007/978-0-387-34878-0_27 fatcat:zywngba5znhshmowzvbt3fvray

Software Specification

Derek Partridge
1994 Intelligent Tutoring Media  
In its simplest form, a Message Sequence Chart describes a class of traces of the system under consideration. An example of a Message Sequence Chart is given in Figure 6 .1.  ...  Sequence Charts (or sequence diagrams in the UML terminology).  ...  Give a Basic Message Sequence Chart that represents the vertical composition of the Basic Message Sequence Charts Lost and Delivered, i.e., Lost • Delivered. 3.  ... 
doi:10.1080/14626269409408775 fatcat:73whn3lz5jfgng56evcm4w5yoa

Tutorial on Message Sequence Charts

Ekkart Rudolph, Peter Graubmann, Jens Grabowski
1996 Computer networks and ISDN systems  
Sequence Charts FORTE/PSTV'96 Message Sequence Charts FORTE/PSTV'96 msc REPLY_B_BUSY Network_B release B-channel reservation STATUS (confirm_busy) User_B_busy from status request  ...  recall CCBS_Await_Status User_A_Busy Message Sequence Charts msc MONITORING_ERROR_EXIT2 CCBS_Activated USER_B_Busy Status_Check_A CCBS_Free User_A_Free SUSPENSION monitoring of user  ...  mechanisms based on conditions and those based on process algebra operators Other language issues remote procedure synchronous communication construct grouping of instances hierarchy of messages additional  ... 
doi:10.1016/0169-7552(95)00122-0 fatcat:smjcxjgpjzczde2f7dxlysbfae

A Novel Approach to Generate the Property for Web Service Verification from Threat-Driven Model

Yonghua Zhu, Honghao Gao
2014 Applied Mathematics & Information Sciences  
First, it introduces a scenario description tool, mainly Probabilistic Timed Live Sequence Chart (PTLSC), on which kinds of implication threats are discussed, specifying the insecure behaviours which should  ...  Second, it gives corresponding transformation methods to extract the verification property from threat-driven model, in which the message coverage criterion and partial relation are employed.  ...  Definition 9 (Timed Sub-Chart Composition Behaviors Conflict). There are two compositions for using sub-charts, mainly sequence and choice. The former executes charts one by one.  ... 
doi:10.12785/amis/080224 fatcat:2lv6orhr2vaobbd5s2tlfxuvdu

Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications [chapter]

Hillel Kugler, Itai Segall
2009 Lecture Notes in Computer Science  
In this paper, we suggest a translation of a Live Sequence Chart specification into a two-player game for the purpose of synthesis.  ...  Even though this algorithm may fail to compose the systems, or to prove the joint specification to be inconsistent, we present some promising results for which the composition algorithm does succeed and  ...  Preliminaries Live Sequence Charts Live sequence charts (LSCs) [8] are an extension of message sequence charts (MSCs) [18] .  ... 
doi:10.1007/978-3-642-00768-2_9 fatcat:4vplqzrjzvfd3glzeyhihmqhfe

Representing Embedded System Sequence Diagrams as a Formal Language [chapter]

Elizabeth Latronico, Philip Koopman
2001 Lecture Notes in Computer Science  
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts.  ...  Embedded Systems View The hierarchical graph approach used by the Message Sequence Chart community [6, 9, 10] explicitly represents state and composition information not shown in standard UML sequence  ...  The notation of sequence diagrams is based on, and highly similar to, the Message Sequence Chart standard for the telecommunications industry [6] .  ... 
doi:10.1007/3-540-45441-1_23 fatcat:ncruatd345gx5hzv3hnxmhuemy

A Comparison between the Service Addition language SAL and the ITU-T recommendation Z.120 [chapter]

S. Somé, R. Dssouli, J. Vaucher
1996 IFIP Advances in Information and Communication Technology  
The ITU-T Recommendation Z.120 is a standard for Message Sequence Charts, however before this standardization, Message Sequence Charts have been used for many purposes.  ...  Message Sequence Charts describe the behavior of system components by showing the message exchange between these components and their environment.  ...  Conditions may be used in Z.120, as syntactic separators or as composition and decomposition places, of Message Sequence Charts.  ... 
doi:10.1007/978-0-387-34945-9_20 fatcat:khk6kjaufja7nezcb56wqphcfu

A Formal Syntax for Probabilistic Timed Property Sequence Charts

Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li
2009 2009 IEEE/ACM International Conference on Automated Software Engineering  
To overcome this problem, we define a formal and graphical property specification language called Probabilistic Timed Property Sequence Charts (PTPSC) which is a probabilistic extension of Property Sequence  ...  Charts (PSC).  ...  Thirdly, according to the idea of live sequence charts [6] , we add pre-charts to PTPSC. The messages in the pre-charts are restricted to the regular type.  ... 
doi:10.1109/ase.2009.56 dblp:conf/kbse/ZhangGTL09 fatcat:twexmuhcbndsjfna6kefhflgbu

Synthesis of Distributed Processes from Scenario-Based Specifications [chapter]

Jun Sun, Jin Song Dong
2005 Lecture Notes in Computer Science  
In this paper, we propose a systematic way of synthesizing distributed processes from Live Sequence Charts.  ...  On the level of a chart, events and conditions and locations are also labelled with modalities.  ...  Sequence Diagrams in Unified Modelling Languages (UML [12] ), Messages Sequence Charts (MSCs) in Specification and Description Language (SDL) [18] .  ... 
doi:10.1007/11526841_28 fatcat:emaxtznwm5hy5mjtpnhuxvbgfq

An Algebraic Semantics for Message Sequence Chart Documents [chapter]

Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim
1998 IFIP Advances in Information and Communication Technology  
Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation of message passing systems, in particular telecommunication systems.  ...  According to the ITU-T standard Z.120 8], a Message Sequence Chart document consists of a collection of Message Sequence Charts and Message Sequence Chart diagrams (i.e., high-level MSCs).  ...  Message Sequence Chart Documents 3 Instance creation: the generation of a new instance and its eventual termination.  ... 
doi:10.1007/978-0-387-35394-4_1 fatcat:fz22atebtbhrbbyk6gau7joghq

Synthesis and Traceability of Scenario-Based Executable Models

Ankit Goel, Abhik Roychoudhury
2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)  
Message Sequence Charts (MSCs) or Sequence Diagrams are one of the behavioral diagram types in the Unified Modeling Language or UML.  ...  In the recent past, there have been concerted attempts to develop executable system modeling languages directly based on MSCs -Live Sequence Charts, Triggered Message Sequence Charts and Interacting Process  ...  Triggered Message Sequence Charts Triggered Message Sequence Charts (TMSCs) [4] extend Message Sequence Charts with conditional and partial scenarios together with mathematically precise semantics for  ... 
doi:10.1109/isola.2006.36 dblp:conf/isola/GoelR06 fatcat:6o4sfija35dizn3eqiat6llavu
« Previous Showing results 1 — 15 out of 29,366 results