Filters








13 Hits in 5.8 sec

S2A: A Compiler for Multi-modal UML Sequence Diagrams [chapter]

David Harel, Asaf Kleinbort, Shahar Maoz
Fundamental Approaches to Software Engineering  
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

David Lo, Shahar Maoz, Siau-Cheng Khoo
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
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

David Harel, Shahar Maoz
2007 Journal of Software and Systems Modeling  
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

David Harel, Shahar Maoz
2006 Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools - SCESM '06  
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

Shahar Maoz, David Harel, Asaf Kleinbort
2011 ACM Transactions on Software Engineering and Methodology  
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]

Shahar Maoz
2009 Lecture Notes in Computer Science  
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

David Lo, Shahar Maoz, Siau-Cheng Khoo
2007 Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07  
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

Shahar Maoz, David Harel
2010 Journal of Software and Systems Modeling  
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]

David Harel, Assaf Marron, Gera Weiss
2010 Lecture Notes in Computer Science  
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]

Pontus Wärnestål
2005 Lecture Notes in Computer Science  
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

Opeyemi Adesina, Université D'Ottawa / University Of Ottawa, Université D'Ottawa / University Of Ottawa
2017
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]

Andrei Malchanau, Universität Des Saarlandes, Universität Des Saarlandes
2019
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

Marek Rychly, Steffen Fries, Vagan Terziyan, Steffen Fries, Vagan Terziyan, Charlie Abela, Markus Aleksy, Giner Alor Hernandez, Instituto Tecnologico De Orizaba -Veracruz, México Feda, Alshahwan, Liliana Ardissono (+122 others)
unpublished
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