NDLI: ContractCML - A Contract Aware Component Modeling Language

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

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Table of contents

Preface and Conference Organization

Multi-Domain Logic and its Applications to SAT

Communicating Mathematics via Pen-Based Interfaces

Random Numbers for Quantum Key Distribution

Graph Rewriting in Computational Origami

Triangular Decomposition for Algebraic and Geometric Computing

Expansions and Equivalence of Queries Using Views with Parameters and Negation

On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi

Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus

Non-Well-Founded Probabilities and Coinductive Probability Logic

Abstract Matrix Arithmetic

On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter

Groebner Bases and Solutions to Diophantine Equations

Complementaries of Greek Means with Respect to the Logarithmic Mean

A Rewrite Stack Machine for ROC!

Lexical Chains Segmentation in Summarization

Supply Chain Risk Management by Mining Business Dependencies

Grammar-Based Automatic Extraction of Definitions

Building a Textual Entailment System for the RTE3 Competition. Application to a QA System

Clustering Heterogeneous Web Data using Clustering by Compression. Cluster Validity

Constrained Content Distribution and Communication Scheduling for Several Restricted Classes of Graphs

Optimal Scheduling of Two Communication Flows on Multiple Disjoint Packet-Type Aware Paths

Resource Competition and Synchronization in Membranes

Data Compression on Multisets. Submultiset-Free Codes

Coverability Problems for Jumping Petri Nets

A (Timed) State-Transition Semantics for Reflective Petri Nets

The Numerical Solutions for an Elliptic Control Problem

Analytic Approximate Periodic Solutions Based on Harmonic Analysis

Gauss-Lobatto-Kronrod Formulae and Adaptive Numerical Integration

A CRT-Based Solution to Yao's Millionaires' Problem

Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests

Some Structural and Security Properties of the Modular Secret Sharing

A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing

Semi-Automated Wrappers Using Rule Trees

Combining Old-Fashioned Computer Go with Monte Carlo Go

Avoiding Segmentation in Multi-Digit Numeral String Recognition by Combining Single and Two-Digit Classifiers Trained without Negative Examples

Dynamics of a Utility Based Distributed Video Proxy-Cache

Prüfer Number Encoding for Genetic Bayesian Network Structure Learning Algorithm

Automatic Assessment of Cardiac Artery Disease by Using DCAD Module

Concern-Oriented and Ontology-Based Design Approach of Software Architectures

Clustering Based Automatic Refactorings Identification

iComponent: A Platform Independent Component Model for Dynamic Execution Environments

Verbalising R2ML Rules into SBVR

ContractCML - A Contract Aware Component Modeling Language

Termination Analysis by Program Inversion

niSiDe: Interactive Tool for Understanding Distributed Software

Towards a Reverse Engineering Dataflow Analysis Framework for Java and C++

Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming

From Formal Specification of Code Mobility to Design and Implementation: An UML-Based Mobile Agent Approach

Considerations on Using Ontologies in Complex Systems

Solving the Countdown Problem Using Automatic Composition of Semantic Web Services

Using Mobile Agents and Intelligent Data Analysis Techniques for Climate Environment Modeling and Weather Analysis and Prediction

DL-AgentRecom - A Multi-Agent Based Recommendation System for Scientific Documents

A Theory of Adaptable Contract-Based Service Composition

Solving Storage Limitations Using a Peer-to-Peer Web File System

UML Model Refactoring as Refinement: A Coalgebraic Perspective

Primal Congestion Control Algorithms for Multimedia Streams

Time Slot Groups - A Data Structure for QoS-Constrained Advance Bandwidth Reservation and Admission Control

BBUFs: A New Lookup Mechanism Based on IPV6

A Modeling Framework for Generating Security Protocol Specifications

Undecidability Results for Finite Interactive Systems

Workflow Management for Symbolic Grid Services

A Distributed Algorithm for Critical Area Detection in Satellite Imagery

Design and Performance Evaluation of a Resource Allocation System Based on Agreement Services

Designing a Grid-Based Training Platform for Earth Observation

Grid Services and Satellite Image Processing for Urban and River Bed Changes Assessment

Designing a Dynamic Replication Engine for Grid Shared Data Programming

Broadcasting Clouds Masks and Snow Areas Detected in MedioGrid to Mobile Devices

Cluster Based Modeling and Remote Visualization of Virtual Geographical Space

Implementing a Brokered Notification System for Grid Middleware

Practical Issues in Implementing TRNGs in FPGAs Based on the Ring Oscillator Sampling Method

Software Random Number Generation Based on Race Conditions

Data Flow Entropy Collector

Bipolar Junction Effects for High Entropy Data Harvesters

A Cryptographic Algorithm Based on a Pseudorandom Number Generator

Anatomy of Differential Power Analysis for AES

Towards a Real-Time Scheduling Framework for Data Transfers in Tree Networks

Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies

Timed and Hybrid Automata in SAL

Hardware Implementation of P Systems Using Microcontrollers. An Operating Environment for Implementing a Partially Parallel Distributed Architecture

Algorithm for Application of Evolution Rules Based on Linear Diofantic Equations

Searching Ground States of Ising Spin Glasses with a Tree Bond-Based Representation

An Evolutionary Approach for Modeling Time Series

Selective Breeding Analysed as a Communication Channel: Channel Capacity as a Fundamental Limit on Adaptive Complexity

Using Base Pairing Probabilities for MiRNA Recognition

Multi-Population Agent Search: Stigmergy and Heterogeneity

Shaping Up Clusters with PSO

Analysis of Some Mating and Collaboration Strategies in Evolutionary Algorithms

An Adaptive Particle Swarm Optimizer Using Balanced Explorative and Exploitative Behaviors

Investigating Landscape Topology for Subpopulation Differentiation in Genetic Chromodynamics

Decentralized Dynamic Resource Allocation for Workflows in Grid Environments

Towards Validating Prediction Systems for Process Understandability: Measuring Process Understandability

Visualization and Clustering of Business Process Collections Based on Process Metric Values

Checking Correctness and Compliance of Integrated Process Models

Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007)

2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05)

ContractCML - A Contract Aware Component Modeling Language

Content Provider	IEEE Xplore Digital Library
Author	Petrascu, V. Chiorean, D. Petrascu, D.
Copyright Year	2008
Description	Author affiliation: Comput. Sci. Dept., Babes-Bolyai Univ., Cluj-Napoca, Romania (Petrascu, V.; Chiorean, D.; Petrascu, D.)
Abstract	Providing software components with a four level contract specification - syntax, semantics, synchronization, quality of service - is important to their correct (re)use. The mandatory syntactic level is included by all current component models. Academic models also employ one of the others, but use different formalisms to represent it. Through this paper, we propose an integrated approach for handling component contracts. We focus on introducing ContractCML (Contract Component Modeling Language), a domain specific modeling language that ensures the basis of our proposal.
Starting Page	273
Ending Page	276
File Size	215788
Page Count	4
File Format	PDF
ISBN	9780769535234
DOI	10.1109/SYNASC.2008.35
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-09-26
Publisher Place	Romania
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Component Based Software Development Scientific computing Software algorithms Quality of service Domain Specific Modeling Languages Proposals Model Driven Engineering Computer science Software quality Packaging Model driven engineering Contracts Assembly Design by Contract
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