In this paper we propose a programming language known as ConC++ which is extended from C++ to support multithread and concurrent programming using concurrent classes and protected classes. A concurrent class has an ac...
详细信息
In this paper we propose a programming language known as ConC++ which is extended from C++ to support multithread and concurrent programming using concurrent classes and protected classes. A concurrent class has an active function, which executes immediately when an object is instantiated. A protected class encapsulates a group of data and operations on them and it is used to implement synchronization and mutual-exclusion among objects of concurrent classes, with centralized object concurrency control. the approach achieves object autonomous, decreases context switches and deadlocks and improves program performance.
WCOP 2000, held in conjunction with ECOOP 2000 in Sophia Antipolis, France, was the fifth workshop in the successful series of workshops on component- orientedprogramming. the previous workshops were held in conjunct...
ISBN:
(纸本)3540415130
WCOP 2000, held in conjunction with ECOOP 2000 in Sophia Antipolis, France, was the fifth workshop in the successful series of workshops on component- orientedprogramming. the previous workshops were held in conjunction withthe respective ECOOP conferences in Linz, Austria, Jyv?skyl?, Finland, Brussels, Belgium and Lisbon, ***96 had focussed on the principal idea of software components and worked towards definitions of terms. In particular, a high-level definition of what a software component is was formulated. WCOP97 concentrated on compositional aspects, architecture and gluing, substitutability, interface evolution, and non-functional requirements. WCOP98 had a closer look at issues arising in industrial practice and developed a major focus on the issues of adaptation. WCOP’99 moved on to address issues of component frameworks, structured architecture, and some bigger systems built using components frameworks. the topics for WCOP 2000 focussed on component composition, validation and refinement and the use of component technology in the software industry.
We propose a programming language known as ConC++ which is extended of C++ to support multithread and concurrent programming using concurrent classes and protected classes. A concurrent class has an active function, w...
详细信息
We propose a programming language known as ConC++ which is extended of C++ to support multithread and concurrent programming using concurrent classes and protected classes. A concurrent class has an active function, which executes immediately when an object is instantiated. A protected class encapsulates a group of data and operations on them and it is used to implement synchronization and mutual-exclusion among objects of concurrent classes, with centralized object concurrency control. the approach achieves object autonomy, decreases context switches and deadlocks and improves program performance.
Unified Modeling Language (UML) has been widely accepted as the standard object-oriented development methodology in the software industry. However, many graphical notations in UML only have informal English definition...
详细信息
Unified Modeling Language (UML) has been widely accepted as the standard object-oriented development methodology in the software industry. However, many graphical notations in UML only have informal English definitions and thus are error-prone and cannot be formally analyzed. We present our preliminary results on an approach to formally define UML class diagrams using hierarchical predicate transition nets (HPrTNs). We show how to define the main concepts related to class diagrams using HPrTN elements.
the time-triggered message-triggered object (TMO) has been devised as the basic component model for high-level distributed real-time programming as well as real-time application system/subsystem design and modeling. O...
详细信息
the time-triggered message-triggered object (TMO) has been devised as the basic component model for high-level distributed real-time programming as well as real-time application system/subsystem design and modeling. One of the strengths of the TMO is its facilitation of multi-phased top-down modeling of real-time distributed computing application systems. TMO-structured models are capable of representing both a real-time control system and its controlled facilities (composed of sensors, actuators, and monitored infrastructure) in a uniform fashion. Also, TMO-structured real-time simulation models can be generated in attractively simple forms and they can be executed to enable examination of not only the logical accuracy of a real-time control system being developed but also the correctness of its timing behavior. A case study of such simulation modeling has been conducted in the context of constructing a real-time simulator of a real-time control system called the safety injection system (SIS) which is a subsystem of a nuclear power plant. In the course of this case study, some tools that support efficient real-time simulation have been developed. the refined modeling steps, the support tools developed, and the cost-effectiveness confirmed in the course of this case study are the main subjects discussed in this paper.
the time-triggered message-triggered object (TMO) has been devised as the basic component model for high level distributed real time programming as well as real time application system/subsystem design and modeling. O...
详细信息
the time-triggered message-triggered object (TMO) has been devised as the basic component model for high level distributed real time programming as well as real time application system/subsystem design and modeling. One of the strengths of the TMO is its facilitation of multi-phased top-down modeling of real time distributed computing application systems. TMO-structured models are capable of representing both a real time control system and its controlled facilities (composed of sensors, actuators, and monitored infrastructure) in a uniform fashion. Also, TMO-structured real time simulation models can be generated in attractively simple forms and they can be executed to enable examination of not only the logical accuracy of a real time control system being developed but also the correctness of its timing behavior. A case study of such simulation modeling has been conducted in the context of constructing a real time simulator of a real time control system called the safety injection system (SIS) which is a subsystem of a nuclear power plant. In the course of this case study, some tools that support efficient real time simulation have been developed. the refined modeling steps, the support tools developed, and the cost-effectiveness confirmed in the course of this case study are the main subjects discussed.
the proceedings contain 24 papers. the special focus in this conference is on Invited Paper 1 and Mixins. the topics include: A trace model for pointers and objects;synthesizing objects;a core calculus of classes and ...
ISBN:
(纸本)3540661565
the proceedings contain 24 papers. the special focus in this conference is on Invited Paper 1 and Mixins. the topics include: A trace model for pointers and objects;synthesizing objects;a core calculus of classes and mixins;propagating class and method combination;a study of the allocation behavior of the SPECjvm98 java benchmarks;visualizing reference patterns for solving memory leaks in java;dynamic query-based debugging;foundations for virtual types;unifying genericity;an object-oriented effects system;providing persistent objects in distributed systems;inlining of virtual methods;modular statically typed multimethods;multi-method dispatch using multiple row displacement;internal iteration externalized;type-safe delegation for run-time component adaptation;towards automatic specialization of java programs;wide classes;an approach to classify semi-structured objects;object-orientedprogramming on the network;providing fine-grained access control for java programs;formal specification and prototyping of CORBA systems;a process algebraic specification of the new asynchronous CORBA messaging service;object-orientedprogramming.
the proceedings contain 22 papers. the special focus in this conference is on object Interoperability, object-Orientation and Operating Systems. the topics include: Protocol-safe workflow support for santa claus;seman...
ISBN:
(纸本)354066954X
the proceedings contain 22 papers. the special focus in this conference is on object Interoperability, object-Orientation and Operating Systems. the topics include: Protocol-safe workflow support for santa claus;semantic and usage packaging for software components;tackling interoperability problems during system integration;reasoning about object clients and distributed object interaction;automatic selection of problem solving libraries based on competence matching;behavioural mapping for service substitutability;conceptual design and development of applications based on object interoperability;improving the interoperability in multi-agent systems;automatic configuration in the 2K operating system;an explicit binding model for runtime extensible operating systems;supervision of CORBA applications;on the development of object-oriented operating systems for deeply embedded systems;scalable adaptation based on decomposition;an object-oriented operating system;an object-oriented, dynamically adaptable, virtual file system for CHEOPS;eliminating garbage collection by using virtual memory techniques to implement complete object persistence and object model with exchangeable invocation semantics.
this report summarizes the presentations, discussions, and thoughts expressed during the workshop sessions. Full proceedings are available as a technical report of the Department of Software Engineering and Computer S...
详细信息
ISBN:
(纸本)354066954X
this report summarizes the presentations, discussions, and thoughts expressed during the workshop sessions. Full proceedings are available as a technical report of the Department of Software Engineering and Computer Science at the University of Karlskrona/Ronneby, Sweden (http://***/).
this paper is based on a speech delivered at the ECOOP'98 conference Banquet. It is not a literal transcription of my talk, since no recording was made, but has been reconstructed ex post facto based upon my speak...
详细信息
暂无评论