Filters








4,237 Hits in 5.7 sec

Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML [chapter]

Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva
2003 Lecture Notes in Computer Science  
This work provides the semantical foundation for formal verification of real-time UML models described in the companion paper [11] .  ...  for real-time applications of UML.  ...  of UML to develop hard real-time systems.  ... 
doi:10.1007/978-3-540-39656-7_3 fatcat:245uiavdbrcglkux26xa56bqmi

UML Semantics FAQ [chapter]

Stuart Kent, Andy Evans, Bernhard Rumpe⋆
1999 Lecture Notes in Computer Science  
desirable and, if not, how to set up a framework for defining multiple, interlinked semantics; and some of the outstanding problems for defining a semantics for all of UML.  ...  Questions examined the meaning of the term semantics in the context of UML; approaches to defining the semantics, including the feasibility of the meta-modelling approach; whether a single semantics is  ...  Semantics of UML is a means to understand how UML should be used, and to ensure that when UML models are communicated there is a common shared understanding of what they mean.  ... 
doi:10.1007/3-540-46589-8_3 fatcat:5gkkk7wwjzff5fmmlaepn7kjpe

UML (panel)

Derek Coleman, Viktor Ohnjec, John Artim, Erick Rivas, Jim Rumbaugh, Rebecca Wirfs-Bracle
1997 Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '97  
The Unified Method was launched by Grady Booth and Jim Rumbaugh at an OOPSLA'95 Conference  ...  Where we feel that UML is lacking is in the area of process, In many ways, the UML is a fine notation, with reasonable syntax and semantics; clever use of stereotypes to reduce complexity, and as a general  ...  One of the more subtle, but important characteristics of UML is its formal underpinningthere are semantics behind each modeling construct. UML was also designed to be formally extended.  ... 
doi:10.1145/263698.263736 dblp:conf/oopsla/ColemanAORRW97 fatcat:ehn2cn6pxvhlbgqna2om6tzbzi

UML&AADL '2007 grand challenges

Sébastien Gérard, Peter Feiler, Jean-Francois Rolland, Mamoun Filali, Mark-Oliver Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet
2007 ACM SIGBED Review  
The purpose of this workshop was to gather people of both communities from UML (including its domain specific extensions, with a focus on MARTE) and AADL (including its annexes) in order to foster sharing  ...  for developing real-time embedded systems.  ...  Formal semantics of the AADL execution model in TLA+ In this section, we are concerned by setting a formal semantics for the AADL execution model.  ... 
doi:10.1145/1366546.1366547 fatcat:veblhmfqxfbb7jez3cika6mn7q

UML in practice

Marian Petre
2013 2013 35th International Conference on Software Engineering (ICSE)  
How exactly is UML being used in industry -if it is? This paper presents a corpus of interviews with 50 professional software engineers in 50 companies and identifies 5 patterns of UML use.  ...  UML has been described by some as "the lingua franca of software engineering". Evidence from industry does not necessarily support such endorsements.  ...  This might be a result of UML's lack of formal semantics and large degree of freedom in its application.  ... 
doi:10.1109/icse.2013.6606618 dblp:conf/icse/Petre13 fatcat:ial7wlfswnbtlp26jfupt777gu

UML Profiles for Modeling Real-Time Communication Protocols

Barath Kumar, Juergen Jasperneite
2010 Journal of Object Technology  
The MDD approach promises a well-adapted formalism to bridge real-time protocol complexities and time to market pressure.  ...  Thus, in this paper we explore the capabilities of real-time UML profiles in expressing real-time, functional and non-functional properties of ICPs.  ...  However, in practice, UML is made more formal by binding semantic variations in the UML language and providing a more precise behavior either in the form of a tool or as a language profile [WKH06] .  ... 
doi:10.5381/jot.2010.9.2.a5 fatcat:6hwwgo7dwzdjvhrbnqsggl5xyi

Unifying Views of UML

Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li
2004 Electronical Notes in Theoretical Computer Science  
The purposes are: (a) to unify different views of UML, (b) to enhance UML with the formal method to improve the quality of software systems; and (c) to support effective use of the formal method for system  ...  These together will help to scale up the use of the formal method in software system development. The model is based on Hoare and He's Unifying Theories of Programming (UTP).  ...  Although we have not dealt with concurrency, the power of UTP for describing different features of computing, including concurrency and communication, timing, and higher-order computing [29, 54, 50] ,  ... 
doi:10.1016/j.entcs.2004.02.018 fatcat:3bkzwbfztfepbcgrl55kazitfm

Using the SHE Method for UML-Based Performance Modeling [chapter]

B. D. Theelen, P. H. A. van der Putten, J. P. M. Voeten
2003 System Specification & Design Languages  
and requirements of a system.  ...  In this paper, we present how the Software/Hardware Engineering (SHE) method can be used for the performance modeling of real-time distributed hardware/software systems.  ...  The formal semantics of POOSL prescribes how these tools manage aspects like probabilism, concurrency and time, which are inherent to a POOSL model.  ... 
doi:10.1007/0-306-48734-9_12 fatcat:22mvpkmv2bfq7oghd2gurxzube

What is Behind UML-RT? [chapter]

Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefănescu
1999 Behavioral Specifications of Businesses and Systems  
This standard is currently tuned for real time applications in the form of a new proposal, UML for Real-Time (UML-RT), by Rational Software Corporation and ObjecTime Limited.  ...  Because of the importance of UML-RT we are investigating its formal foundation in a joint project between ObjecTime Limited, Technische Universität München and the University of Bucharest.  ...  More generally, because of the deep connection between interaction graphs and linear logic (see [A96]) other analysis and verification techniques may be used as well.  ... 
doi:10.1007/978-1-4615-5229-1_6 fatcat:b763y6orxrajbovovzx5qi7zri

UML-B

Colin Snook, Michael Butler
2006 ACM Transactions on Software Engineering and Methodology  
The UML provides an accessible visualization of models facilitating communication of ideas but lacks formal precise semantics.  ...  We utilize a derivation of the B notation as an action and constraint language for the UML and define the semantics of UML entities via a translation into B.  ...  UML-B was used successfully to formally develop the safety requirements for a real-time control system [Snook et al. 2003 ].  ... 
doi:10.1145/1125808.1125811 fatcat:qa6325lwz5eknl2fmitzznwase

UML — A Universal Modeling Language? [chapter]

Gregor Engels, Reiko Heckel, Stefan Sauer
2000 Lecture Notes in Computer Science  
It consists of several sublanguages which are suited to model structural and behavioral aspects of a software system.  ...  The paper illustrates the language features of the UML and its adaptation mechanisms.  ...  include a real-time behavior.  ... 
doi:10.1007/3-540-44988-4_3 fatcat:xgxb5c5xrvfdrkre4t3a7ctnmm

Viewing CSP Specifications with UML-RT Diagrams

Patrícia Ferreira, Augusto Sampaio, Alexandre Mota
2008 Electronical Notes in Theoretical Computer Science  
One of the fundamental features of CSP is that it can serve as a notation for describing concurrent and communicating processes at different levels of abstraction.  ...  Some initiatives have been proposed to give formal semantics to UML and to some of its profiles [4, 12] , through translations of diagrams and elements of UML into specifications in formal notations, such  ...  But the size of real concurrent systems can make their implementation problematic and with communication patterns usually very complex.  ... 
doi:10.1016/j.entcs.2007.08.026 fatcat:vupaaydqenbebircdrtuuqk3ze

Executing and debugging UML models

Yoann Laurent, Reda Bendraou, Marie-Pierre Gervais
2013 Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13  
A working UML debugger prototype has been implemented and the use and evaluation of the approach are made on a case study.  ...  The fUML standard defines the precise semantics for executing a subset of UML models by defining a virtual machine. The models are then directly executed without transformation.  ...  [6] present a lightweight modification of fUML to cope with the need of real-time systems concerning the scheduling and concurrency within the Execution Model.  ... 
doi:10.1145/2480362.2480569 dblp:conf/sac/LaurentBG13 fatcat:7bprrslmsrfmdn5kuxaasisdja

On the Semantic Foundations of Standard UML 2.0 [chapter]

Bran V. Selic
2004 Lecture Notes in Computer Science  
This can serve as a convenient starting point for researchers who want to work on the problem of UML semantics and, in particular, those who are interested in producing formal models of those semantics  ...  One of the objectives of this paper is to provide a clear and concise description of the structure and essential content of UML runtime semantics.  ...  In effect, a formalized semantics of standard UML should define a semantic envelope of possible concrete semantics.  ... 
doi:10.1007/978-3-540-30080-9_6 fatcat:4bzg4ymvcbgt3cy4rol3xxzlrm

The HybridUML profile for UML 2.0

Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska
2006 International Journal on Software Tools for Technology Transfer (STTT)  
Whereas hybrid modeling constructs are not available in standard UML, several specification formalisms for this type of system have been elaborated and discussed in the formal methods communities.  ...  In this article, a new UML extension for the specification of hybrid systems, where observables may consist of both discrete and time-continuous parameters, is presented.  ...  The work presented in this article has been investigated by the authors in the context of the HYBRIS (Efficient Specification of Hybrid Systems) project supported by the Deutsche Forschungsgemeinschaft  ... 
doi:10.1007/s10009-005-0211-z fatcat:v2gnr6tjfrctpbulxizwx3ckv4
« Previous Showing results 1 — 15 out of 4,237 results