The Experts below are selected from a list of 318 Experts worldwide ranked by ideXlab platform
Doron Peled - One of the best experts on this subject based on the ideXlab platform.
-
Compositional message sequence charts
International Journal on Software Tools for Technology Transfer, 2003Co-Authors: Elsa L. Gunter, Anca Muscholl, Doron PeledAbstract:A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication protocols. MSCs enjoy both a visual and a Textual Representation. High-level MSCs (HMSCs) allow specifying infinite scenarios and different choices. Specifically, an HMSC consists of a graph, where each node is a finite MSC with matched send and receive events, and vice versa. In this paper we demonstrate a weakness of HMSCs, which disallows one to model certain interactions. We will show, by means of an example, that some simple finite state communication protocol cannot be represented using HMSCs. We then propose an extension to the MSC standard which allows HMSC nodes to include unmatched messages. The corresponding graph notation will be called HCMSC, which stands for high-level Compositional message sequence charts. With the extended framework, we provide an algorithm for automatically constructing an MSC Representation for finite state asynchronous message passing protocols.
-
compositional message sequence charts
Tools and Algorithms for Construction and Analysis of Systems, 2001Co-Authors: Elsa L. Gunter, Anca Muscholl, Doron PeledAbstract:Message sequence charts (MSCs) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication protocols. MSCs enjoy both a visual and a Textual Representation. High level MSCs (HMSCs) allow specifying infinite scenarios and different choices. Specifically, an HMSC consists of a graph, where each node is a finite MSC with matched send and receive events, and vice versa. In this paper we demonstrate a weakness of HMSCs, which disallows one to model certain interactions. We will show, by means of an example, that some simple finite state and simple communication protocol cannot be represented using HMSCs. We then propose an extension to the MSC standard, which allows HMSC nodes to include unmatched messages. The corresponding graph notation will be called HCMSC, which stands for High level Compositional Message Sequence Charts. With the extended framework, we provide an algorithm for automatically constructing an MSC Representation for finite state asynchronous message passing protocols.
Elsa L. Gunter - One of the best experts on this subject based on the ideXlab platform.
-
Compositional message sequence charts
International Journal on Software Tools for Technology Transfer, 2003Co-Authors: Elsa L. Gunter, Anca Muscholl, Doron PeledAbstract:A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication protocols. MSCs enjoy both a visual and a Textual Representation. High-level MSCs (HMSCs) allow specifying infinite scenarios and different choices. Specifically, an HMSC consists of a graph, where each node is a finite MSC with matched send and receive events, and vice versa. In this paper we demonstrate a weakness of HMSCs, which disallows one to model certain interactions. We will show, by means of an example, that some simple finite state communication protocol cannot be represented using HMSCs. We then propose an extension to the MSC standard which allows HMSC nodes to include unmatched messages. The corresponding graph notation will be called HCMSC, which stands for high-level Compositional message sequence charts. With the extended framework, we provide an algorithm for automatically constructing an MSC Representation for finite state asynchronous message passing protocols.
-
compositional message sequence charts
Tools and Algorithms for Construction and Analysis of Systems, 2001Co-Authors: Elsa L. Gunter, Anca Muscholl, Doron PeledAbstract:Message sequence charts (MSCs) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication protocols. MSCs enjoy both a visual and a Textual Representation. High level MSCs (HMSCs) allow specifying infinite scenarios and different choices. Specifically, an HMSC consists of a graph, where each node is a finite MSC with matched send and receive events, and vice versa. In this paper we demonstrate a weakness of HMSCs, which disallows one to model certain interactions. We will show, by means of an example, that some simple finite state and simple communication protocol cannot be represented using HMSCs. We then propose an extension to the MSC standard, which allows HMSC nodes to include unmatched messages. The corresponding graph notation will be called HCMSC, which stands for High level Compositional Message Sequence Charts. With the extended framework, we provide an algorithm for automatically constructing an MSC Representation for finite state asynchronous message passing protocols.
Anca Muscholl - One of the best experts on this subject based on the ideXlab platform.
-
Compositional message sequence charts
International Journal on Software Tools for Technology Transfer, 2003Co-Authors: Elsa L. Gunter, Anca Muscholl, Doron PeledAbstract:A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication protocols. MSCs enjoy both a visual and a Textual Representation. High-level MSCs (HMSCs) allow specifying infinite scenarios and different choices. Specifically, an HMSC consists of a graph, where each node is a finite MSC with matched send and receive events, and vice versa. In this paper we demonstrate a weakness of HMSCs, which disallows one to model certain interactions. We will show, by means of an example, that some simple finite state communication protocol cannot be represented using HMSCs. We then propose an extension to the MSC standard which allows HMSC nodes to include unmatched messages. The corresponding graph notation will be called HCMSC, which stands for high-level Compositional message sequence charts. With the extended framework, we provide an algorithm for automatically constructing an MSC Representation for finite state asynchronous message passing protocols.
-
compositional message sequence charts
Tools and Algorithms for Construction and Analysis of Systems, 2001Co-Authors: Elsa L. Gunter, Anca Muscholl, Doron PeledAbstract:Message sequence charts (MSCs) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication protocols. MSCs enjoy both a visual and a Textual Representation. High level MSCs (HMSCs) allow specifying infinite scenarios and different choices. Specifically, an HMSC consists of a graph, where each node is a finite MSC with matched send and receive events, and vice versa. In this paper we demonstrate a weakness of HMSCs, which disallows one to model certain interactions. We will show, by means of an example, that some simple finite state and simple communication protocol cannot be represented using HMSCs. We then propose an extension to the MSC standard, which allows HMSC nodes to include unmatched messages. The corresponding graph notation will be called HCMSC, which stands for High level Compositional Message Sequence Charts. With the extended framework, we provide an algorithm for automatically constructing an MSC Representation for finite state asynchronous message passing protocols.
Adam Presslee - One of the best experts on this subject based on the ideXlab platform.
-
the effect of business process Representation type on assessment of business and control risks diagrams versus narratives
Issues in Accounting Education, 2012Co-Authors: Efrim J Boritz, Faye A Borthick, Adam PressleeAbstract:ABSTRACT : The Sarbanes-Oxley Act (SOX) (U.S. House of Representatives 2002) mandates the assessment of internal controls over financial reporting, and many organizations are using diagrams to document their internal control processes. While educators regularly stress the effectiveness of diagrammatic Representation of process information over Textual Representation, no prior study has offered convincing evidence that diagrammatic Representation leads to improved performance. In an experiment, we examine students' performance on a business process risk and control assessment task using two informationally equivalent methods that are commonly taught in the classroom to document business processes: descriptive narrative (hereafter, Textual) and diagrammatic. We also examine whether students' academic achievement and perceptions of their ability (self-efficacy) affect performance by type of Representation. First, we find that while the method of Representation has no effect on students' accuracy, those recei...
-
does the type of business process Representation affect auditors ability to assess control risk
2011Co-Authors: Efrim J Boritz, Faye A Borthick, Adam PressleeAbstract:The Sarbanes-Oxley Act (SOX) mandates managers and auditors to assess the effectiveness of internal controls over financial reporting. Our study investigates two methods that organizations commonly use to document their business processes – descriptive narrative (hereafter, Textual) and diagrammatic – and their effect on the accuracy of auditors’ assessment of internal controls and audit risk. Further, we consider whether auditors’ general ability and/or perception of their ability (termed self-efficacy) moderate the effectiveness of the type of Representation. We conduct an experiment where 115 master of accounting (MACC) students with 15 months of practitioner experience complete a modified version of the task developed by Borthick, Schneider, and Vance (2011). We find that those using Textual Representation were more accurate at identifying internal control and audit risks than those using diagrammatic Representation. Further, those higher in ability and lower in self-efficacy were also more accurate in their assessments. Finally, ability and efficacy are found to moderate the effects of Representation on performance. Implications for practice and training are discussed.
-
the effects of business process Representation type on the assessment of business and control risk diagrams versus narratives
2011Co-Authors: Efrim J Boritz, Faye A Borthick, Adam PressleeAbstract:The Sarbanes-Oxley Act (SOX) mandates the assessment of internal controls over financial reporting and many organizations are using diagrams to express their internal control processes. While educators regularly stress the effectiveness of diagrammatic Representation of process information over Textual Representation, no prior study has offered convincing evidence that diagrammatic Representation leads to improved performance. In an experiment, we examine students’ performance on a business process risk and control assessment task using two informationally equivalent methods that are commonly taught in the classroom to document business processes: descriptive narrative (hereafter, Textual) and diagrammatic. We also examine whether students’ academic achievement and perceptions of their ability (self-efficacy) affect performance by type of Representation. First, we find that while the method of Representation has no effect on students’ accuracy, those receiving the Textual Representation were more efficient and had a greater weighted-average performance than those receiving the diagrammatic Representation. Second, we find academic achievement increases students’ accuracy, decreases their efficiency, and has no effect on their weighted-average performance. Third, we find self-efficacy has no effect on students’ accuracy, has no effect on their efficiency, and decreases their weighted-average performance. Finally, we find that both self-efficacy and academic achievement interact with the type of Representation to affect students’ performance. Implications for education and practice are discussed.
Andreas Vogelsang - One of the best experts on this subject based on the ideXlab platform.
-
what is a good Textual Representation of activity diagrams in requirements documents
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), 2017Co-Authors: Martin Beckmann, Andreas VogelsangAbstract:The use of graphical models has become a widely adopted approach to specify requirements of complex systems. Still, in practice, graphical models are often accompanied by Textual descriptions to provide more detail, because of legal considerations, and to enable stakeholders with different backgrounds to understand a requirements document. One of our industry partners (Daimler AG) uses activity diagrams to specify vehicle functions in combination with a Textual Representation thereof in their requirements documents. Since graphical and Textual Representations serve different purposes, it is not obvious how Textual Representations of activity diagrams should be structured. In this paper, we present different Textual Representations of activity diagrams for use in requirements documents. The Representation currently in use is presented as well as four alternatives. For each Representation, we discuss advantages and disadvantages. To evaluate the Representations, we asked five stakeholders of one system to create a preference ranking of the Representations. The resulting ranking showed that the currently used Representation is not considered to be the best possible option. The stakeholders' favorite Textual Representation emphasizes structural similarity with the activity diagram, which however does not resemble the diagram's structure exactly.
