Filters








4,917 Hits in 5.7 sec

Formal Semantics for Interacting UML Subsystems [chapter]

Jan Jürjens
2002 Formal Methods for Open Object-Based Distributed Systems V  
We give consistency conditions for the diagrams in a subsystem and define a notion of behavioural equivalence and two kinds of refinement for UML subsystems.  ...  We provide a formal semantics for UML subsystems that incorporates a formal semantics of the diagrams contained in a subsystem.  ...  Cavarra about formal semantics for UML and constructive suggestions by the anonymous referees to improve the presentation of the paper are gratefully acknowledged.  ... 
doi:10.1007/978-0-387-35496-5_4 fatcat:v4rhqoagvfa5nn4iesepguhtde

Using the DC Abstract Model to support application profile developers

Sarah Pulis, Liddy Nevile
2006 International Conference on Dublin Core and Metadata Applications  
A number of characteristics of the DCAM are analysed and refinements suggested to enable a UML-conformant version of the DCAM which is required to build a new UML metamodel for DC Application profile developers  ...  We propose a UML compliant model of the DCAM as a first step towards the final development of a UML meta-model that will allow for the use of valid UML by those developing DC conformant Application Profiles  ...  We also correct inaccurate or missing cardinality within the UML diagram. 5.1 Modified DCMI Resource Model We removed (with no loss of information), the 3 classes of semantics, and refined class/property  ... 
dblp:conf/dc/PulisN06 fatcat:cize6eg7fvfb3ftkdq7bvhwmma

A Coalgebraic Semantic Framework for Component-based Development in UML

Sun Meng, Bernhard K. Aichernig, Luís S. Barbosa, Zhang Naixiao
2005 Electronical Notes in Theoretical Computer Science  
The principles of a coalgebraic semantics for class, object and statechart diagrams as well as for use cases, are developed.  ...  It is also discussed how to formalize the refinement steps in the development process based upon a suitable notion of behavior refinement.  ...  Actually, this paper intends to be a step towards a unifying coalgebraic semantics for UML.  ... 
doi:10.1016/j.entcs.2004.06.051 fatcat:7jftzsakubgjbmeiwaabeef7u4

A model-driven design environment for embedded systems

E. Riccobene, P. Scandurra, A. Rosti, S. Bocchio
2006 Proceedings of the 43rd annual conference on Design automation - DAC '06  
This paper presents a prototype environment for HW/SW co-design of embedded systems based on the Unified Modeling Language (UML) and SystemC.  ...  The environment supports a model-driven SoC design methodology which provides a graphical high-level representation of hardware and software components, and allows either C/C++/SystemC code generation  ...  The system is refined through a set of abstraction levels, towards a final implementation in hardware and software.  ... 
doi:10.1145/1146909.1147141 dblp:conf/dac/RiccobeneSRB06 fatcat:y2ht4clxxnctjh2ji3unty36n4

A model-driven design environment for embedded systems

E. Riccobene, P. Scandurra, A. Rosti, S. Bocchio
2006 Proceedings - Design Automation Conference  
This paper presents a prototype environment for HW/SW co-design of embedded systems based on the Unified Modeling Language (UML) and SystemC.  ...  The environment supports a model-driven SoC design methodology which provides a graphical high-level representation of hardware and software components, and allows either C/C++/SystemC code generation  ...  The system is refined through a set of abstraction levels, towards a final implementation in hardware and software.  ... 
doi:10.1109/dac.2006.229412 fatcat:nnm6vaanz5hyfkoamqs72x37aq

Multi-view Consistency in UML [article]

Alexander Knapp, Till Mossakowski
2016 arXiv   pre-print
We study the question of consistency of multi-view models in UML and OCL. We first critically survey the large amount of literature that already exists.  ...  We find that only limited subsets of the UML/OCL have been covered so far and that consistency checks mostly only cover structural aspects, whereas only few methods also address behaviour.  ...  The system model approach builds a uniform semantic domain offering the necessary mechanism to interpret the different UML sub-languages and diagrams.  ... 
arXiv:1610.03960v1 fatcat:pv54iuodbjeknasghsxvbhldue

UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources

Jagadish Suryadevara, R.K. Shyamasundar
2007 Journal of Object Technology  
The approach is largely inspired from the language constructs of CDL*. A light-weight extension of UML 2.0 meta-model is proposed for the required constructs and semantics.  ...  The goal of the approach is to develop the UML specification with precise executional semantics, yet independent of low-level synchronization primitives and implementation environment.  ...  towards semantic refinement of UML As UML is intended by its designers to be a family of languages, its specification left several semantic variation points to be defined by the requirements of the domain  ... 
doi:10.5381/jot.2007.6.1.a3 fatcat:x5dpycalvzfzzh44nttohbkcmi

Improving the Definition of UML [chapter]

Greg O'Keefe
2006 Lecture Notes in Computer Science  
This is the topic of Harel and Rumpe's excellent article [HR04] , and their position is that "semantics" is a mathematical term: Regardless of the exposition's degree of formality, the semantic mapping  ...  We provide criteria by which these and other questions can be answered. The growing role of UML is examined.  ...  Chapter 18 of [Obj05c] describes the profiles mechanism of UML, which allows subsets and extensions of UML to be defined.  ... 
doi:10.1007/11880240_4 fatcat:452tjvpsv5bebmp7wbkmpjnotm

MARTE: A Profile for RT/E Systems Modeling, Analysis - and Simulation?

Frederic Mallet, Robert de Simone
2008 Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems  
To the early class/objects and use-case diagrams were almost immediately added state-, activity-, collaboration-, and component diagrams.  ...  Somehow this goal of being rather universal and extendible discarded the possibility of UML to adopt too strict and precise a semantics; as users were generally to define and refine it in their stereotyped  ...  One of the most used UML diagram is the class diagram. After a brief description we show on to extend it with a dummy profile.  ... 
doi:10.4108/icst.simutools2008.3097 dblp:conf/simutools/MalletS08 fatcat:psij6hur5naflf6mpiqsfca4na

Variability within Modeling Language Definitions [chapter]

María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
2009 Lecture Notes in Computer Science  
We present a taxonomy of the variability mechanisms offered by modeling languages.  ...  The definition of a formal language encompasses a syntax and a semantic domain as well as the mapping that relates them, thus language variabilities are classified according to which of those three pillars  ...  Like template semantics, the approach is targeted towards behavioral semantics but its mechanisms are more compliant with the UML standard.  ... 
doi:10.1007/978-3-642-04425-0_54 fatcat:qh7npyftmvesfnvrhqmjyarv3a

Executable Modeling with fUML and Alf in Papyrus: Tooling and Experiments

Sahar Guermazi, Jérémie Tatibouet, Arnaud Cuccuru, Ed Seidewitz, Saadia Dhouib, Sébastien Gérard
2015 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
The feedback related to Alf focuses on key end-user functionality: the combined usage of Alf and UML, with or without profiles.  ...  fUML and Alf are two OMG standards dealing with executable modeling in UML. fUML focuses on semantic aspects, while Alf focuses on syntax.  ...  Technological improvements resulting from these refinements of the standards will be integrated in the further development of our tooling.  ... 
dblp:conf/models/GuermaziTCSDG15 fatcat:pklzbymubbgz3jdt27czpv72m4

Towards a meaningful manufacturing enterprise metamodel: A semantic driven framework

E I Neaga, J A Harding, H-K Lin
2007 Proceedings of the Institution of mechanical engineers. Part B, journal of engineering manufacture  
UML class diagrams may be employed for representing concepts and axioms using the object constraint language (OCL).  ...  The resource class describes the entities and mechanisms that enable a process to be executed.  ... 
doi:10.1243/09544054jem503 fatcat:woq4kc6j4jbfxe77pk3ke6vjw4

Extending UML for Conceptual Modeling of Annotation of Medical Images

Mouhamed GaithAyadi, Riadh Bouslimi, Jalel Akaichi
2013 International Journal of Computer Applications  
This gave birth of the annotation of medical image process. The annotation is intended to image analysis and solve the problem of semantic gap.  ...  For this reason, we focus in this paper on presenting the conceptual modeling of the annotation of medical image by defining a new profile using the StarUML extensibility mechanism.  ...  As mentioned earlier, these mechanisms allow the extension of the syntax and semantics of the UML elements, but without violating the original semantics of UML and, therefore, consistent with MOF.  ... 
doi:10.5120/12529-8948 fatcat:66y3igpqkra7niczdnk6dp7ply

Model-Driven Engineering Support for Building C# Applications [chapter]

Anna Derezińska, Przemysław Ołtarzewski
2010 Innovations in Computing Sciences and Software Engineering  
UML models are refined using profiles for assigning class model elements to C# concepts and to elements of implementation project.  ...  Realization of Model-Driven Engineering (MDE) vision of software development requires a comprehensive and user-friendly tool support.  ...  trees and C# compilation items using refined elements of UML class model, 4) Model refinement -step by step gradual model refinement towards a final source code generation, 5) Verification of refined  ... 
doi:10.1007/978-90-481-9112-3_76 dblp:conf/cisse/DerezinskaO09 fatcat:h4e2myfmxfclxa2wshosdbcate

Towards a Model-Driven Approach to Reuse [chapter]

Robert B. France, Sudipto Ghosh, Daniel E. Turk
2001 OOIS 2001  
A model-driven reuse approach that is based on an organization's Enterprise Architecture (EA) and on the Unified Modeling Language (UML) is proposed.  ...  In its fully mature form, the reuse infrastructure, called a ReSyDE (Reusebased System Development Environment), consists of a repository of reusable modeling artifacts, and language front-ends for assembling  ...  It is a variant of the UML Class Diagram in which stereotyped classes represent concepts in the domain.  ... 
doi:10.1007/978-1-4471-0719-4_20 dblp:conf/oois/FranceGT01 fatcat:uepavmduifbkza2bqxbzxlarby
« Previous Showing results 1 — 15 out of 4,917 results