Filters








2,243 Hits in 4.9 sec

Modeling Behavior with Interaction Diagrams in a UML and OCL Tool [chapter]

Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
2015 Lecture Notes in Computer Science  
We present new implementation features in a UML and OCL modeling tool: (1) Sequence diagram lifelines are extended with states from statecharts, and (2) communication diagrams are introduced as an alternative  ...  This paper discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams.  ...  We introduce new features for interactions in a UML tool and discuss how the two interaction diagrams could be handled in a uniform way.  ... 
doi:10.1007/978-3-319-21912-7_2 fatcat:pld67bhkqrezjj6y7xhll56ecq

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool

Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen
2014 Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications - BM-FA '14  
We present new implementation features in a UML and OCL modeling tool: (1) Sequence diagram lifelines are extended with states from statecharts, and (2) communication diagrams are introduced as an alternative  ...  This contribution discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams.  ...  CONCLUSION This contribution has discussed how to handle UML interaction diagrams in a model validation tool and has pointed to the link between protocol machine and interaction diagrams.  ... 
doi:10.1145/2630768.2630772 dblp:conf/bmfa/GogollaHHSN14 fatcat:uerza5zilbcntnofueky6rajfa

Behaviour Models Clarify Definitions of Affordance and Capability

Ella Roubtsova, Vaughan Michell
2014 Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications - BM-FA '14  
We present new implementation features in a UML and OCL modeling tool: (1) Sequence diagram lifelines are extended with states from statecharts, and (2) communication diagrams are introduced as an alternative  ...  This contribution discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams.  ...  CONCLUSION This contribution has discussed how to handle UML interaction diagrams in a model validation tool and has pointed to the link between protocol machine and interaction diagrams.  ... 
doi:10.1145/2630768.2630774 dblp:conf/bmfa/RoubtsovaM14 fatcat:jsjttr7vtnbn7l7ocwgspeyz4y

An Executable UML with OCL-based Action Semantics Language

Ke Jiang, Lei Zhang, Shigeru Miyake
2007 14th Asia-Pacific Software Engineering Conference (APSEC'07)  
In this paper, we propose an executable UML with OCL-based ASL (OxUML) by extending OCL to support actions with side effects.  ...  We present its support environment-UML Virtual Machine (UVM) and suggest a Model-Driven Development (MDD) process with OxUML.  ...  User can choose preferred UML modeling tool, to which we provide plug-ins with extensions for OxUML.  ... 
doi:10.1109/aspec.2007.21 fatcat:eqi3f2rehvdsvi5ymyjboogsae

An Executable UML with OCL-based Action Semantics Language

Ke Jiang, Lei Zhang, Shigeru Miyake
2007 Asia Pacific Software Engineering Conference. Proceedings  
In this paper, we propose an executable UML with OCL-based ASL (OxUML) by extending OCL to support actions with side effects.  ...  We present its support environment-UML Virtual Machine (UVM) and suggest a Model-Driven Development (MDD) process with OxUML.  ...  User can choose preferred UML modeling tool, to which we provide plug-ins with extensions for OxUML.  ... 
doi:10.1109/apsec.2007.21 dblp:conf/apsec/JiangZM07 fatcat:z3qrxgk5yjdfblfwehhankajdm

DEMOCLES

Christian Glodt, Pierre Kelsen, Elke Pulvermueller
2007 Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07  
them with associations and OCL expressions.  ...  The tool is an Eclipse-plugin that offers overlay views of the structure and behavior with visual editing capabilities and permits execution of a platform-independent system.  ...  The Tool The DEMOCLES tool allows the user to manipulate the structure and behavior of a platform-independent model.  ... 
doi:10.1145/1297846.1297931 dblp:conf/oopsla/GlodtKP07 fatcat:odtzz5iz6re3xeaep4cnkeswuy

Representation of Business Rules in UML&OCL Models for Developing Information Systems [chapter]

Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas
2008 Lecture Notes in Business Information Processing  
In this paper, possibilities of representing business rules by UML&OCL models and their applicability in modern development processes are investigated 1 .  ...  In practice, business rules often are managed by software developers and system analysts; more straightforward and safer processes for capturing and modifying business rules are related with visual business  ...  activities etc in behavioral diagrams (interactions, state machines and activities).  ... 
doi:10.1007/978-3-540-89218-2_14 fatcat:vxglob2cx5aqfhr3ftgbslmusi

Usability of Security Specification Approaches for UML Design: A Survey

Chamseddine Talhi, D. Mouheb, V. Lima, Mourad Debbabi, L. Wang, M. Pourzandi
2009 Journal of Object Technology  
The discussed UML approaches are stereotypes and tagged values, OCL, and behavior diagrams.  ...  The main contribution of this paper is a discussion of these approaches from usability viewpoint. A set of criteria has been defined and used in this usability discussion.  ...  Interaction diagrams include communication, interaction overview, sequence, and timing diagrams. Use for Security Specification: Behavior diagrams can be used for security specification in two ways.  ... 
doi:10.5381/jot.2009.8.6.a1 fatcat:kwkvejot5nfsrp26suryx57vsy

ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams [chapter]

Manuel Clavel, Marina Egea
2006 Lecture Notes in Computer Science  
In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints.  ...  Its implementation is directly based on the equational specification of UML+OCL class diagrams. It is written entirely in Maude making extensive use of its reflective capabilities.  ...  In this paper we present the ITP/OCL tool, a rewriting-based tool that supports automatic validation of UML class diagrams with respect to OCL constraints.  ... 
doi:10.1007/11784180_28 fatcat:ajeqgkd3vree5cppteb24rswqe

UML for Behavior-Oriented Multi-agent Simulations [chapter]

Christoph Oechslein, Franziska Klügl, Rainer Herrler, Frank Puppe
2002 Lecture Notes in Computer Science  
In this paper we show how UML can be used to specify behavior-oriented multi-agent models.  ...  Therefore we focus on activity graphs and the representation of different forms of interactions in these graphs.  ...  Object Constraint Language (OCL) An often overlooked feature in UML is the possibility to augment UML diagrams with OCL expressions.  ... 
doi:10.1007/3-540-45941-3_23 fatcat:7obsqavknvhfpgcz2kdgpgujhm

Teaching UML and OCL models and their validation to software engineering students: an experience report

Loli Burgueño, Antonio Vallecillo, Martin Gogolla
2018 Computer Science Education  
For this, we use a combination of UML and OCL.  ...  First, we list and describe the main issues we have come across when teaching modeling in a dedicated Software Engineering course.  ...  We would like to thank the reviewers of this paper for their valuable comments and suggestions.  ... 
doi:10.1080/08993408.2018.1462000 fatcat:auzhxqghlvcxbnennymbtigu6y

Generation of test cases using UML models

Gurpreet Singh, Rasbir Singh
2014 INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY  
This work mainly focus on the UML sequence diagram and state chart diagram as the model. We Propose a Technique for Test Case Generation using UML Models.  ...  UML models give a lot of information that should not be ignored in testing.  ...  The XMI representation of the UML sequence diagram is generated with the help of a tool called BOUML [8] , in which the XMI generated for java [9] .  ... 
doi:10.24297/ijct.v13i7.2511 fatcat:z4hzn3m4o5hinot4olaclpyhxa

A New Approach to Derive Test Cases from Sequence Diagram

Muthusamy MD, Badurudeen GB
2014 Journal of Information Technology & Software Engineering  
The OCL [15] is a Generalized Model free Language and it is possible to combine programming languages and OCL in UML model processing.  ...  The sequence diagram is built with Object Constraint Language (OCL), which is a generalized language proposed for UML Models by object management group.  ... 
doi:10.4172/2165-7866.1000128 fatcat:nxddf6ndunekvnjm7w4ud4hqru

Executable Modeling with UML. A Vision or a Nightmare? [article]

Bernhard Rumpe
2014 arXiv   pre-print
In this paper, we examine what properties a modeling language like UML must have in order to support the Extreme Programming approach effectively.  ...  One of its principles is not to rely on diagrams to document a system.  ...  Acknowledgements The author wishes to thank Kent Beck and Jutta Eckstein for fruitful discussions on XP, also Wolfgang Schwerin for his comments.  ... 
arXiv:1409.6597v1 fatcat:wwfmpbgub5crtocbare2qxt2vq

UML4PF — A tool for problem-oriented requirements analysis

Isabelle Cote, Maritta Heisel, Holger Schmidt, Denis Hatebur
2011 2011 IEEE 19th International Requirements Engineering Conference  
UML4PF REALIZATION UML4PF 1 consists of a UML 2 profile with formal validation conditions expressed in OCL 3 and an Eclipse 4 plugin. Figure 1 provides an overview of the context of our tool.  ...  We create a new project with a new model both named VacationRentals and apply our UML profile for Problem Frames to the model using a EMF-compatible UML editor such as Papyrus 6 .  ... 
doi:10.1109/re.2011.6051670 dblp:conf/re/CoteHSH11 fatcat:iwfhwpl3cvgm5dw7cnezi7icsm
« Previous Showing results 1 — 15 out of 2,243 results