Sciweavers

110 search results - page 6 / 22
» A Hierarchy of Communication Models for Message Sequence Cha...
Sort
View
ECOOP
2000
Springer
15 years 1 months ago
Automated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
Peter Fröhlich, Johannes Link
SEFM
2009
IEEE
15 years 4 months ago
Specifying Interacting Components with Coordinated Concurrent Scenarios
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
Prakash Chandrasekaran, Madhavan Mukund
83
Voted
ACSD
1998
IEEE
113views Hardware» more  ACSD 1998»
15 years 1 months ago
Modeling and Analyzing Interorganizational Workflows
Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation ...
Wil M. P. van der Aalst
57
Voted
DIAGRAMS
2008
Springer
14 years 11 months ago
Estimating Effort for Trend Messages in Grouped Bar Charts
Abstract. Information graphics found in popular media contain communicative signals which help the viewer infer the graphic designer's intended message. One signal is the rela...
Richard Burns, Stephanie Elzer, Sandra Carberry
71
Voted
CSR
2010
Springer
15 years 2 months ago
Realizability of Dynamic MSC Languages
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
Benedikt Bollig, Loïc Hélouët