298 Hits in 3.6 sec

Using UML's Sequence Diagrams for Representing Execution Models Associated to Triggers [chapter]

Harith T. Al-Jumaily, César de Pablo, Dolores Cuadra, Paloma Martínez
2006 Lecture Notes in Computer Science  
Therefore, in this work we suggest a visualization add-in tool that represents and verifies triggers execution by using UML's sequence diagrams.  ...  This tool uses the SQL standard to express the triggers semantics and execution. * This work is part of the project "Software Process Management Platform: modelling, reuse and measurement".  ...  We use UML's sequence diagrams to represent the triggers execution flow in order to verify the triggers behaviour and to Non termination state guarantee the correct execution in Rational Rose Tool.  ... 
doi:10.1007/11788911_3 fatcat:mkubyl5xizcitelqgwbg63ci5y

A Radical Reduction of UML's Core Semantics [chapter]

Friedrich Steimann, Thomas Kühne
2002 Lecture Notes in Computer Science  
UML's current core semantics suffers both from excessive complexity and from being overly general. Resultant is a language definition that is difficult to master and to repair.  ...  To better this unsatisfactory situation, we suggest a simple modelling core with few concepts that are easy to understand, yet cover most static and dynamic modelling aspects.  ...  In particular, they represent the possible relationships between objects that exist independently of the execution of some procedure. Procedural associations.  ... 
doi:10.1007/3-540-45800-x_4 fatcat:mrrutbow75bp5dmp6lpb4mfzaq

Model-Driven Theme/UML [chapter]

Andrew Carton, Cormac Driver, Andrew Jackson, Siobhán Clarke
2009 Lecture Notes in Computer Science  
It is posted here by permission of Springer-Verlag for your personal use. Not for redistribution.  ...  Here, we describe our work on facilitating the use of Theme/UML as part of an MDE process. We have developed a transformation tool that adopts model-driven architecture (MDA) standards.  ...  Thanks also to Jorge Fox for his comments on earlier drafts of this paper.  ... 
doi:10.1007/978-3-642-03764-1_7 fatcat:zdjedzgc6naebitpjlu4uggccm

Representing Agent Interaction Protocols in UML [chapter]

James J. Odell, H. Van Dyke Parunak, Bernhard Bauer
2001 Lecture Notes in Computer Science  
This paper illustrates the approach by presenting a three-layer AUML representation for agent interaction protocols: templates and packages to represent the protocol as a whole; sequence and collaboration  ...  Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts to support the development  ...  Fig. 1 template; Fig. 4 is the resulting model. Templates Level 2: Representing Interactions among agents UML's dynamic models are useful for expressing interactions among agents.  ... 
doi:10.1007/3-540-44564-1_8 fatcat:moovjnebt5aohepgflmglmnjtu

Graphical programming using UML and SDL

M. Bjorkander
2000 Computer  
in this work, as does behavior modeling in the form of state machines and interactions-namely, sequence diagrams.  ...  The asterisk in the save symbol represents a catchall for signals and operations the state does not explicitly trigger.  ... 
doi:10.1109/2.889090 fatcat:2mjlrxzg6vgcpn6oy4yvbpb6eq

Modeling software architectures in the Unified Modeling Language

Nenad Medvidovic, David S. Rosenblum, David F. Redmiles, Jason E. Robbins
2002 ACM Transactions on Software Engineering and Methodology  
UML provides a variety of useful capabilities to the software designer, including multiple, interrelated design views, a semiformal semantics expressed as a UML meta model, and an associated language for  ...  The primary goal of this work is an assessment of UML's expressive power for modeling software architectures in the manner in which a number of existing software architecture description languages (ADLs  ...  ACKNOWLEDGMENTS The authors wish to acknowledge Yuzo Kanomata and Roshanak Roshandel for their help in preparing the final manuscript of this paper.  ... 
doi:10.1145/504087.504088 fatcat:zsxo7fwowfbdjlfx44r57mafce

A UML-Based Conversion Tool for Monitoring and Testing Multi-agent Systems

Nariman Mani, Vahid Garousi, Behrouz H. Far
2008 2008 20th IEEE International Conference on Tools with Artificial Intelligence  
On the other hand model-based software development practices such as the Unified Modeling Languages (UML) are commonly used in practice and are equipped with a rich set of model based testing and monitoring  ...  The increasing demand for Multi-Agent Systems (MAS) in the software industry has led to development of several Agent Oriented Software Engineering (AOSE) methodologies.  ...  UML's state machine diagram is commonly used to describe the behavior of an object by specifying its response to the events triggered by the object itself or its external environment.  ... 
doi:10.1109/ictai.2008.114 dblp:conf/ictai/ManiGF08 fatcat:sl7okaaefbeqfafl3e3v4inty4

Use of Models and Modelling Techniques for Service Development [chapter]

Luís Ferreira Pires, Marten van Sinderen, Cléver Ricardo Guareis de Farias, João Paulo Andrade Almeida
2004 IFIP International Federation for Information Processing  
A platform can be any technology that supports the execution of these models, either directly or after translation to code in a programming language.  ...  This paper aims at identifying the benefits of the MDA approach in the development of services for e-applications.  ...  It contains the same information as sequence diagrams, but it represents the associations (links) explicitly.  ... 
doi:10.1007/1-4020-7907-9_33 fatcat:vlaxrm5c3rb3fhoey67aehzohm

Extending UML for Agent-Based Systems [chapter]

James Odell, H. Van Dyke Parunak, Bernhard Bauer
2003 Practical Foundations of Business System Specifications  
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (object-oriented software development) and using artifacts to support the development  ...  We address both of these requirements in this paper by describing some of the most common requirements for modeling agents and agent-based systems-using a set of UML idioms and extensions.  ...  LEVEL 2: REPRESENTING INTERACTIONS AMONG AGENTS UML's dynamic models are useful for expressing interactions among agents.  ... 
doi:10.1007/978-94-017-2740-2_13 fatcat:wycfrogkb5dbng4rojgxzqrnni

Use-case and scenario metamodeling for automated processing in a reverse engineering tool

Julien Repond, Philippe Dugerdil, Pietro Descombes
2011 Proceedings of the 4th India Software Engineering Conference on - ISEC '11  
Therefore we need to be able to edit the use-cases and the scenarios of the system so that the environment could process this information together with the robustness model and the execution trace to recover  ...  Basically we aim at recovering the traceability links between the robustness model that represents the analysis of the use-case and its actual implementation classes.  ...  Then we showed how the meta model can be extended to account for the association between the flow steps and the elements of the robustness diagram.  ... 
doi:10.1145/1953355.1953375 dblp:conf/indiaSE/RepondDD11 fatcat:rumfihkvnraevkdrjfab62b5i4

Managing embedded systems complexity with aspect-oriented model-driven engineering

Cormac Driver, Sean Reilly, Éamonn Linehan, Vinny Cahill, Siobhán Clarke
2010 ACM Transactions on Embedded Computing Systems  
We also present Model-Driven Theme/UML, a toolset for model-driven engineering of embedded systems that supports modularised design with Theme/UML and automatic transformations to composed models and source  ...  In this article, we illustrate how Theme/UML, an aspect-oriented modeling approach, can be used to separate embedded systems concerns and reduce complexity in design.  ...  The sequence diagram represents how and when the crosscutting behavior is executed with respect to the base themes that it affects.  ... 
doi:10.1145/1880050.1880057 fatcat:z54edo2cmbdlxocxnlczr754bm

Resolving the Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour

Vladimir Estivill-Castro, René Hexel
2019 Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development  
For the UML, state charts are by far the most used modelling tools, both to communicate behaviour and to produce executable models.  ...  Several experiments with software developers enable us to dissect how issues of understandability of state diagrams relate to nesting or event-driven vs logic-labelled.  ...  The attention of our research is the notation used to represent the diagram (De Lucia et al., 2010) .  ... 
doi:10.5220/0007323300510063 dblp:conf/modelsward/Estivill-Castro19 fatcat:akkguzbwfbdprjkbcokznelcle

User interface modeling in UMLi

P.P. da Silva, N.W. Paton
2003 IEEE Software  
Additionally, you can describe interaction objects' associated behavior using standard UML sequence or activity diagrams.  ...  Indeed, representing interfaces using class diagrams can quickly become obscure, a problem that has led to proposals for specialized abstract presentation models for UML.  ...  We'd like to hear from you SEND US EMAIL AT @  ... 
doi:10.1109/ms.2003.1207457 fatcat:ek6evt5b7fflzbnxlfnpildxhi

Specifying Services with UML and UML-RT

Ingolf H. Krüger
2002 Electronical Notes in Theoretical Computer Science  
We give a formal definition for the notion of service, and discuss to what extent the modeling languages provided by UML and UML-RT support a service-oriented development approach.  ...  The key to systematic development of complex, reactive systems is to have a thorough understanding of the services the system provides.  ...  Acknowledgments The author is grateful to Manfred Broy, Bernd Finkbeiner, Bill Griswold, Bill Howden, Leonid Kof, Ramesh Rao, Bernhard Schätz, and Alexander Wisspeintner for interesting discussions and  ... 
doi:10.1016/s1571-0661(04)80483-3 fatcat:pbed6xfmljb53jw3cqk4sn4w6u

cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems

Jagadish Suryadevara, Lawrence Chung, R.K. Shyamasundar
2008 Journal of Object Technology  
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development.  ...  Also associations are represented via tags in cmUML as the profile does not use explicit associations.  ...  Though fig.9 includes behavior specification using UML sequence diagram, it is not formally precise.  ... 
doi:10.5381/jot.2008.7.8.a7 fatcat:6yt7mmfwljfenpz5yuhkqfkrnm
« Previous Showing results 1 — 15 out of 298 results