A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Compositional Message Sequence Charts
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1994
Computer journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1994
Computer journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1995
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
1994
Intelligent Tutoring Media
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1996
Computer networks and ISDN systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Applied Mathematics & Information Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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]
1996
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 IEEE/ACM International Conference on Automated Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
1998
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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