Sciweavers

19 search results - page 2 / 4
» A Fully Abstract Semantics for UML Components
Sort
View
IPPS
2010
IEEE
13 years 8 months ago
Consistency in hindsight: A fully decentralized STM algorithm
Abstract--Software transactional memory (STM) algorithms often rely on centralized components to achieve atomicity, isolation and consistency. In a distributed setting, centralized...
Annette Bieniusa, Thomas Fuhrmann
SEMWEB
2009
Springer
14 years 5 months ago
Towards a Graphical Notation for OWL 2
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
Elisa F. Kendall, Roy Bell, Roger Burkhart, Mark D...
TAOSD
2010
13 years 9 months ago
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christo...
WOA
2004
14 years 6 days ago
Design and development of a visual environment for writing DyLOG programs
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
Claudio Schifanella, Luca Lusso, Matteo Baldoni, C...
METAINFORMATICS
2004
Springer
14 years 4 months ago
Describing Use Cases with Activity Charts
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
Jesús Manuel Almendros-Jiménez, Luis...