6,386 Hits in 3.7 sec

Can UML be a System-Level Language for Embedded Software? [chapter]

João M. Fernandes, Ricardo J. Machado
2002 IFIP Advances in Information and Communication Technology  
The main purpose of this paper is to discuss if the Unified Modeling Language (UML) can be used as a system-level language (SLL) for specifying embedded systems. in co-design environments.  ...  The requirements that a language has to fulfil to be considered as an SLL are presented and the advantages and disadvantages of using UML as an SLL are also indicated.  ...  Since it is quite obvious that traditional languages, especially procedural lll..Ls and IIDLs (Hardware Description Languages), are not able to cope with the ever increasing complexity of embedded systems  ... 
doi:10.1007/978-0-387-35599-3_1 fatcat:c45lvn7xzvbqbjck2ij4xt5e24

UML Modeling for Visually-Impaired Persons

Brad Doherty, Betty H. C. Cheng
2015 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
The Unified Modeling Language (UML) is the de facto standard for modeling object-oriented software.  ...  Towards this end, this paper describes preliminary PRISCA work into developing software that automatically generates a haptic 3D representation of the UML diagrams from the output of an existing UML diagram  ...  The authors gratefully acknowledge the early work with the OpenSCAD libraries for the PRISCA project done by Marcos Botros.  ... 
dblp:conf/models/DohertyC15 fatcat:gxhdt2uz6fdnjeawrb3df6a22m

Embedded UML

Grant Martin, Luciano Lavagno, Jean Louis-Guerin
2001 Proceedings of the ninth international symposium on Hardware/software codesign - CODES '01  
Embedded UML represents a synthesis of various ideas in the real-time UML community, and concepts drawn from the Hardware-Software co-design field.  ...  Embedded UML first selects from among the competing real-time UML proposals, the set of ideas which best allow specification and analysis of mixed HW-SW systems.  ...  INTRODUCTION The last several years of development have seen the emergence in more pragmatic form of hardware-software co-design tools among the more 'hardware-centric' EDA community, for example, Cadence's  ... 
doi:10.1145/371636.371660 dblp:conf/codes/MartinLL01 fatcat:of4rfctsmrfldje6m55mkoi3ku

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  
Starting from a UML specification, SHE enables constructing formal executable models based on the expressive modeling language POOSL (Parallel Object-Oriented Specification Language).  ...  Recent extensions to the Unified Modeling Language (UML) that enable specifying schedulability, performance and time provide a means to start developing such models directly after defining the concepts  ...  An example of a modeling language is the Unified Modeling Language (UML) [14] , which provides a set of graphical notations for specifying the functionality of a system.  ... 
doi:10.1007/0-306-48734-9_12 fatcat:22mvpkmv2bfq7oghd2gurxzube

Integrating verifiable Assume/Guarantee contracts in UML/SysML

Iulia Dragomir, Iulian Ober, Christian Percebois
2013 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In this paper we propose an extension of the UML/SysML language with a syntax and semantics for contracts and for the relations they must satisfy.  ...  In previous work we have defined a formal contract-based theory for Timed Input/Output Automata with the aim of using it to express the semantics of UML/SysML models.  ...  Contracts as a language construct have emerged with the Eiffel programming language [16] and have since been explored for various programming and specification models.  ... 
dblp:conf/models/DragomirOP13 fatcat:2xzuveu4s5ghvluz3diwdas26i

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  
This paper is the result of discussions and exchanges that took place within the second edition of the workshop "UML&AADL" ( thatwas hold in 2007 in Auckland  ...  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  ...  The fourth section introduces the reader to an automotive emerging architecture description language, EAST-ADL. This paper is finally concluded within the last section.  ... 
doi:10.1145/1366546.1366547 fatcat:veblhmfqxfbb7jez3cika6mn7q

UML and model-driven development for SoC design

Wolfgang Mueller, Yves Vanderperren
2006 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis - CODES+ISSS '06  
As electronic systems design moved towards software engineering, there is emerging interest for UML within the hardware community and different UML diagrams and their variations found their application  ...  UML (Unified Modeling Language™) as an OMG standard has received wide acceptance in software engineering over the last years.  ...  In that context, the concepts of the Model Driven Architecture (MDA) are of emerging interest.  ... 
doi:10.1145/1176254.1176255 dblp:conf/codes/MuellerV06 fatcat:btss76dhufb7jhr4zeibu7qzgq

Visualizing and Assessing a Compositional Approach to Service-Oriented Business Process Design Using Unified Modelling Language (UML)

Latef Oladimeji Yusuf, Olusegun Folorunso, Adio Akinwale, I.A. Adejumobi
2011 Computer and Information Science  
Unified Modeling Language (UML) is used as a specification technique for the system analysis 44 and design process which is the only way to visualize one's design and check it against requirements before  ...  The automation of Service Supported Systems (SSS) is the future integral part of core SOA which provides preprocessed information and solution suggestions for the Cloud Computing Users (CCU).  ...  Any type of application, running on any type and combination of hardware, operating system, programming language, and network can be modeled in UML.  ... 
doi:10.5539/cis.v4n3p43 fatcat:olybuusenzdmzjt3oovuxiku24

Towards Integrating Modeling and Programming Languages: The Case of UML and Java

Patrick Neubauer, Tanja Mayerhofer, Gerti Kappel
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Today, modeling and programming constitute separate activities carried out using modeling respectively programming languages, which are neither well integrated with each other nor have a one-to-one correspondence  ...  In this work we present an approach for integrating existing software libraries with fUML models-an executable variant of UML models for which a standardized virtual machine exists-not only at design time  ...  In this work, that emerged from first ideas by Mayerhofer et al.  ... 
dblp:conf/models/NeubauerMK14 fatcat:fjtqrdysdfe4nj4cizb4nnzubi


Colin Snook, Michael Butler
2006 ACM Transactions on Software Engineering and Methodology  
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.  ...  The emergence of the UML as a de facto standard for object-oriented modeling has been mirrored by the success of the B method as a practically useful formal modeling technique.  ...  INTRODUCTION Formal specifications provide a precise supplement to natural language descriptions and can be rigorously validated and verified, leading to the early detection of errors.  ... 
doi:10.1145/1125808.1125811 fatcat:qa6325lwz5eknl2fmitzznwase

Working with UML: A software design process based on inspections for the unified modeling language [chapter]

Guilherme H. Travassos, Forrest Shull, Jeffrey Carver
2002 Advances in Computers  
This text describes a simple and effective object oriented software design process template having UML as the modeling language and extensively using inspections to support the construction and maintenance  ...  This software design process uses a sequential organization, based on the waterfall approach, for two reasons: to simplify the explanation of design activities in the context of 35  ...  The Unified Modeling Language (UML) is an example of such a language.  ... 
doi:10.1016/s0065-2458(01)80015-2 fatcat:fxcul4lf3zejvjlecgvegzthpu

A UMLS-based spell checker for natural language processing in vaccine safety

Herman D Tolentino, Michael D Matters, Wikke Walop, Barbara Law, Wesley Tong, Fang Liu, Paul Fontelo, Katrin Kohl, Daniel C Payne
2007 BMC Medical Informatics and Decision Making  
Our objective in this paper was to create a UMLS-based spelling error correction tool as a first step in the natural language processing (NLP) pipeline for AEFI reports.  ...  To extract Unified Medical Language System (UMLS) concepts from free text and classify AEFI reports based on concepts they contain, we first needed to clean the text by expanding abbreviations and shortcuts  ...  The findings and conclusions in this paper are those of the authors and do not necessarily represent the views of the Centers for Disease Control and Prevention.  ... 
doi:10.1186/1472-6947-7-3 pmid:17295907 pmcid:PMC1805499 fatcat:qwecxsektvbxtefcykhjss6uuy

UML in practice

Marian Petre
2013 2013 35th International Conference on Software Engineering (ICSE)  
UML has been described by some as "the lingua franca of software engineering". Evidence from industry does not necessarily support such endorsements.  ...  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.  ...  The categories of use emerged from the data-driven analysis conducted by the author.  ... 
doi:10.1109/icse.2013.6606618 dblp:conf/icse/Petre13 fatcat:ial7wlfswnbtlp26jfupt777gu

UML for Global Computing [chapter]

Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing
2003 Lecture Notes in Computer Science  
The Unified Modelling Language (UML) is well developed for convenient modelling of behavior, but is not yet so useful for modelling aspects of design relevant to global systems, such as mobility.  ...  Non-functional requirements such as performance and security also assume an increased importance in the context of global systems, and here too, UML requires enhancement.  ...  Code mobility emerged in some scripting languages for controlling network applications like Tcl and is one of the key features of the Java programming language.  ... 
doi:10.1007/978-3-540-40042-4_1 fatcat:jtyhj6reqvb6xj6ulw5ozvh4j4

"UML–ising" Formal Techniques [chapter]

Dines Bjørner, Chris W. George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pěnička
2004 Lecture Notes in Computer Science  
The existence of the Unified Modeling Language [10, 67, 36, 20] has caused, for one reason or another, the research community to try formalise one or another facet of UML.  ...  ) development, as, respectively than UML. 1 The Problem The Issues When we describe, in informal, yet reasonably precise natural (or at least domain specific professional) language the entities, the functions  ...  UML and RSL Relationship While making the modular RSL model of Sect. 3, and the UML model of Sect. 4, it was intuitively decided which constructs to use in the languages.  ... 
doi:10.1007/978-3-540-27863-4_24 fatcat:wcc2vww4abgcnklrxafhorgeoe
« Previous Showing results 1 — 15 out of 6,386 results