NDLI: DEMOCLES: a tool for executable modeling of platform-independent systems

Please wait, while we are loading the content...

Once upon a time, like never before: the challenge of telling the next story

From 0 to 1,169,600 in 3 minutes: nine months of testing by the DevCreek team

Process in oo pedagogy: a "killer" workshop

Selecting object-oriented source code metrics to improve predictive models using a parallel genetic algorithm

Compile-time type-checking for custom type qualifiers in Java

Teaching strategies for reinforcing structural recursion with lists

CodeGenie:: a tool for test-driven source code search

Managing the copy-and-paste programming practice in modern IDEs

Effective preparation for design review: using UML arrow checklist leveraged on the Gurus' knowledge

Celebrating 40 years of language evolution: simula 67 to the present and beyond

Second life: the world's biggest programming environment

PowerPoint and complexity

Complexity management

OOMatch: pattern matching as dispatch in Java

Cruisecontrol.rb: continuous integration the rails way

Continuing professional development by practitioner integrated learning

Compile-time execution structure of object-oriented programs with practical ownership domain annotations

Quality of experience for composite web services (QoE4CWS): focusing on the client

Understanding the value of program analysis tools

Domain specific languages: another silver bullet?

The elephant in the room: who will take care of the code?

1st international workshop on in process software engineering measurement and analysis (ISEMA 2007)

The JastAdd extensible Java compiler

Green: a flexible UML class diagramming tool for eclipse

Introducing computer science with Project Hoshimi

Exploiting code search engines to improve programmer productivity

Types and program transformations

So we thought we knew money

"No silver bullet" reloaded: retrospective on "essence and accidents of software engineering"

Collaboration and telecollaboration in design

X3D web software visualization in action!

The first international workshop on patterns languages: addressing challenges (PLAC 2007)

Open framework for conformance testing via scenarios

Leveraging integrated model-driven development and software product line development technologies

Automatic support for model-driven specialization of object-oriented frameworks

The design and implementation of formal monitoring techniques

IAnticorruption: a domain-driven design approach to more robust integration

The role of objects in a services-obsessed world

Elephant 2000: a programming language based on speech acts

Fifth international workshop on SOA & web services best practices

Mining modal scenarios from execution traces

Debugging and testing behavioral UML models

Activating refactorings faster

A proposal for taming uncertainty in the collaborative conceptual model development process

Agile enterprise software development using domain-driven design and test first

The future of SOA: what worked, what didn't, and where is it going from here?

Precise software documentation: making object-orientation work better

The 7th OOPSLA workshop on domain-specific modeling

Ruby refactoring plug-in for eclipse

Supporting systems QoS design and evolution through model transformations

Round-trip engineering using framework-specific modeling languages

Understanding programmer language

A practical high volume software product line

Context, perspective, and programs

Eclipse technology exchange workshop (ETX2007)

Refactoring support for the C++ development tooling

Green applications: software applications that optimize energy usage

Software speculative multithreading for Java

SmartEMF: guidance in modeling tools

Making frameworks work: a project retrospective

A talk by Patti Maes

Workshop on integration of open source components into large software systems

CUTE: C++ unit testing easier

BigLever software gears and the 3-tiered SPL methodology

The JikesXen Java server platform

Versions, releases, and distribution

A framework for distributed collaborative conceptual model development

Theory-infected: or how i learned to stop worrying and love universal quantification

Detection and correction of design defects in object-oriented designs

The popularity cycle of graphical tools, UML, and libraries of associations

Towards a pattern language for adaptive object models

Using Sybase WorkSpace to build service oriented architecture (SOA) applications quickly

Combining structural subtyping and external dispatch

The first workshop on programming languages and integrated development environments (PLIDE)

Combining structural subtyping and external dispatch

Extracting a domain specific language from an example: a bottom-up method using the ngrease metalanguage

No silver bullet: a retrospective on the essence and accidents of software engineering

Green: a flexible UML class diagramming tool for eclipse

Querying in C#: how language integrated query (LINQ) works

Semantic-based systems development

Adding rigorous statistics to the Java benchmarker's toolbox

TuningFork: a platform for visualization and analysis of complex real-time systems

The first international workshop on unified data mining engine: addressing challenges (UDME 2007)

Checking framework plugins

Finding bugs in eclipse

A mini-plop at OOPSLA '07

Swashup: situational web applications mashups

Democratizing the cloud

Agility unlimited?

Status report on JSR-305: annotations for software defect detection

Synthesizing reactive systems from LSC requirements using the play-engine

Security testing with Selenium

CASE-FX: feature modeling support in an OO Case tool

Ready for distribution?: turning modular into distributed applications with the R-OSGi deployment tool

Using FindBugs on production software

Tools for enforcing and inferring reference immutability in Java

Towards a framework for requirement change management in healthcare software applications

PTIDEJ and DECOR: identification of design patterns and design defects

Compile-time type-checking for custom type qualifiers in Java

DEMOCLES: a tool for executable modeling of platform-independent systems

From developer's head to developer tests: characterization, theories, and preventing one more bug

DigitalAssets discoverer: automatic identification of reusable software components

How can we liberate ourselves from pointers?

Model-driven development with predictable quality

Randoop: feedback-directed random testing for Java

Mining implementation recipes of framework-provided concepts in dynamic framework API interaction traces

A portable javascript thread library for Ajax applications

Improving quality together

Comprehending implementation recipes of framework-provided concepts through dynamic analysis

Improve software quality with SemmleCode: an eclipse plugin for semantic code search

A comparison of compilation techniques for trace monitors with free variables

Lagrein: tracking the software development process

Structured co-evolution of models and web application platforms

The JastAdd extensible Java compiler

Recursive adaptive computations using perobject visitors

A rewriting approach to the design and evolution of object-oriented languages

Optimizing java programs using generic types

DEMOCLES: a tool for executable modeling of platform-independent systems

Content Provider	ACM Digital Library
Author	Glodt, Christian Pulvermueller, Elke Kelsen, Pierre
Abstract	The main goal of model-driven architecture is the generation of the full implementation of a systembased on a precise description of a platform-independent model and a platform model. Such a description must accurately specify the static structure as well as the dynamic behavior of the system. We present a tool -- called DEMOCLES -- that realizes a hybrid approach to platform-independent modeling. It describes the static structure using a modified UML class diagram that separates query operations from modifier operations. The former are defined in the class diagram via OCL constraints, while the latter are defined using a MOF-based metamodel that contains modifier operations and properties as first-class entities and augments them with associations and OCL expressions. The tool is an Eclipse-plugin that offers overlay views of the structure and behavior with visual editing capabilities and permits execution of a platform-independent system.
Starting Page	870
Ending Page	871
Page Count	2
File Format	PDF
ISBN	9781595938657
DOI	10.1145/1297846.1297931
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2007-10-20
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Code generation Platform-independent model Visual programming Model-driven architecture Eclipse Executable models
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in