A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Formal Semantics for Interacting UML Subsystems
[chapter]
2002
Formal Methods for Open Object-Based Distributed Systems V
Preserved Fulltext
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
2006
International Conference on Dublin Core and Metadata Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 43rd annual conference on Design automation - DAC '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings - Design Automation Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2007
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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?
2008
Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2015
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the Institution of mechanical engineers. Part B, journal of engineering manufacture
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Innovations in Computing Sciences and Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2001
OOIS 2001
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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