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
S2A: A Compiler for Multi-modal UML Sequence Diagrams
[chapter]
Fundamental Approaches to Software Engineering
Preserved Fulltext
We report on S2A, a compiler that translates Modal UML Sequence Diagrams (MSDs), a UML-compliant version of Live Sequence Charts (LSCs), into AspectJ code. ...
The S2A compiler is based on a compilation scheme presented by Maoz and Harel in [13] . ...
Conclusions and Future Work We presented S2A, a compiler for multi-modal UML Sequence Diagrams. ...
doi:10.1007/978-3-540-71289-3_11
dblp:conf/fase/HarelKM07
fatcat:ftj7sqpqgncyzb6rgpsyaqsp2a
Mining modal scenarios from execution traces
2007
Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07
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.
Harel, A. Kleinbort, and S. Maoz. S2A: A compiler for multi-modal UML
mantics of LSC symbolic instances in defining compact and sequence diagrams. In FASE, 2007.
expressive scenarios. ...
Assert and negate revisited: Modal semantics for UML
sequence diagrams. Software and System Modeling, 2007. ...
doi:10.1145/1297846.1297883
dblp:conf/oopsla/LoMK07
fatcat:h3ugbgqtgrf6pkjdu27zvowrqy
Assert and negate revisited: Modal semantics for UML sequence diagrams
2007
Journal of Software and Systems Modeling
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.
We propose an extension of, and a different semantics for this UML language-Modal Sequence Diagrams (MSD)based on the universal/existential modal semantics of LSC. ...
The sequence diagrams of UML 2.0 enrich those of previous versions of UML by two new operators, assert and negate, for specifying required and forbidden behaviors, which appear to have been inspired by ...
We thank Asaf Kleinbort for implementing the MSD profile in the Eclipse UML2 environment and for proofreading the Appendices. We also thank the anonymous reviewers for helpful comments. ...
doi:10.1007/s10270-007-0054-z
fatcat:62zrhsjfmzbztcb7hf7gobkmsi
Assert and negate revisited
2006
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools - SCESM '06
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.
We propose an extension of, and a different semantics for this UML language-Modal Sequence Diagrams (MSD)based on the universal/existential modal semantics of LSC. ...
The sequence diagrams of UML 2.0 enrich those of previous versions of UML by two new operators, assert and negate, for specifying required and forbidden behaviors, which appear to have been inspired by ...
We thank Asaf Kleinbort for implementing the MSD profile in the Eclipse UML2 environment and for proofreading the Appendices. We also thank the anonymous reviewers for helpful comments. ...
doi:10.1145/1138953.1138958
dblp:conf/scesm/HarelM06
fatcat:7sbldhuwtzfqnn46mhxwfzcr4q
A Compiler for Multimodal Scenarios
2011
ACM Transactions on Software Engineering and Methodology
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 transformation/compilation scheme is fully implemented in a UML2-compliant tool we term the S2A compiler (for Scenarios to Aspects), which provides full code generation of reactive behavior from inter-object ...
S2A supports advanced scenario-based programming features, such as multiple instances and exact and symbolic parameters. ...
Finally, we are grateful to Yishai Feldman for his useful comments on a draft of Maoz and Harel [2006] , to Assaf Marron for comments on a draft of this article, to Eli Singerman for comments on our work ...
doi:10.1145/2000799.2000804
fatcat:jbql3o6enjetfiw3xihuuw2c7i
Model-Based Traces
[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 2011; you can also visit the original URL.
The file type is application/pdf.
Specifically, we take visual inter-object scenario-based and intra-object state-based models (sequence charts and statecharts) used for a system's design, and follow their activation and progress as they ...
Thus, a system's runtime is recorded and viewed through abstractions provided by behavioral models used for its design. ...
Acknowledgements I would like to thank David Harel, David Lo, Itai Segall, Yaki Setty, and the anonymous reviewers for comments on a draft of this paper. ...
doi:10.1007/978-3-642-01648-6_12
fatcat:bs3lgrj2afh7fd2lpybe73fug4
Mining modal scenario-based specifications from execution traces of reactive systems
2007
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07
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.
We describe a novel method, framework, and tool, for mining inter-object scenario-based specifications in the form of a UML2-compliant variant of Damm and Harel's Live Sequence Charts (LSC). ...
LSC extends the classical partial order semantics of sequence diagrams with temporal liveness and symbolic class level lifelines, in order to generate compact and expressive specifications. ...
Acknowledgement We thank David Harel for his valuable comments and advice. We also thank Asaf Kleinbort for proofreading the final draft. ...
doi:10.1145/1321631.1321710
dblp:conf/kbse/LoMK07
fatcat:nzmfxuety5aa3miulr57vo2j4q
On tracing reactive systems
2010
Journal of Software and Systems Modeling
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 2011; you can also visit the original URL.
The file type is application/pdf.
The two inputs are a designer's inter-object scenario-based behavioral model, visually described using a UML2-compliant dialect of live sequence charts (LSC), and an execution trace of the system. ...
We present a rich and highly dynamic technique for analyzing, visualizing, and exploring the execution traces of reactive systems. ...
Acknowledgements We are grateful to Peter Kliem for making his excellent jaret timebar component [8] available under GPL, for adding the variable scale feature, and for his most friendly and effective ...
doi:10.1007/s10270-010-0151-2
fatcat:j67jhrdmnjggjfrzkkdeidbthe
Programming Coordinated Behavior in Java
[chapter]
2010
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 2013; you can also visit the original URL.
The file type is application/pdf.
Essentially, runs of programs are sequences of events that result from three kinds of b-thread actions: requesting that events be considered for triggering, waiting for triggered events, and blocking events ...
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. ...
We would like to thank Amir Kantor for suggesting the analysis of the proposed idioms through transition systems, Michal Gordon for many valuable comments, Shahar Maoz for reviewing and commenting on early ...
doi:10.1007/978-3-642-14107-2_12
fatcat:rx2ytg5j5zbuvnixacxuaodora
Modularized User Modeling in Conversational Recommender Systems
[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 2017; you can also visit the original URL.
The file type is application/pdf.
The result of the study is a characterization of recommendation dialogue, and forms a base for a first prototype implementation of a human-computer recommendation dialogue control strategy. ...
In a conversational recommender system, this task is approached by utilizing natural language recommendation dialogue for detecting user preferences, as well as for providing recommendations. ...
Similar to the uml activity diagram 5 , the dbd can use a sub-diagram within a super-state, called a sub-behavior dbd. ...
doi:10.1007/11527886_78
fatcat:c6lfkkv35vhppjqkuhialz5fla
Integrating Formal Methods with Model-Driven Engineering
2017
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.
Our approach is based on generating formal representations of software abstractions expressed in a textual language, called Umple, which is derived from UML. ...
Although a large amount of literature exists with the goal of facilitating the adoption of formal methods for educational and industrial practice, yet the adoption of formal methods in academia and industry ...
Given a UML system with many diagrams, the authors proposed the use of sequence diagrams in describing the behavioral aspects (as opposed to state machines) of the system and activity diagrams to represent ...
doi:10.20381/ruor-20549
fatcat:3genepki6fgidl4vrmy6af5ro4
Cognitive architecture of multimodal multidimensional dialogue management
[article]
2019
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.
This challenges the dialogue system designs based on a reactive interlocutor paradigm and calls for dialog systems that can be characterised as a proactive learner, accomplished multitasking planner and ...
The flexible technical framework for modular distributed dialogue system integration is designed and tested. ...
The code of the module contains conditional macro definitions that enable compilation for multiple OS. UML class and sequence diagrams are presented in Figure 6 .2 and 6.3 respectively. ...
doi:10.22028/d291-27856
fatcat:wehwbyc5jvaftnpjceul4gela4
ICIW 2013 Committee ICIW Advisory Committee ICIW 2013 Technical Program Committee
unpublished
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.
We are grateful to the members of the ICIW 2013 organizing committee for their help in handling the logistics and for their work to make this professional meeting a success. ...
We hope that ICIW 2013 was a successful international forum for the exchange of ideas and results between academia and industry and for the promotion of progress in Web Services. ...
The authors wish to acknowledge the Commission for their support. ...
fatcat:ggddvybjpje6nft4fkf6mihbh4