Unified Mogramming with Var-Oriented Modeling and Exertion-Oriented Programming Languages

نویسندگان

  • Michael Sobolewski
  • Raymond Kolonay
چکیده

The Service ORiented Computing EnviRonment (SORCER) targets service abstractions for transdisciplinary complexity with support for heterogeneous service-oriented (SO) computing. SORCER’s models are expressed in a top-down Var-oriented Modeling Language (VML) unified with programs in a bottoms-up Exertion-Oriented Language (EOL). In this paper the introduction to mogramming (modeling and programing), which uses both languages, is described. First, the emphasis is on modeling with service variables that allow for computational fidelity within VML. Then, seven types of service providers, both local and distributed, are described to form collaborative federations described in EOL. Finally, the unified hybrid of SO modeling and SO programming is presented. Fourteen simple mogramming examples illustrate the syntax and usage of both VML and EOL.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Impact of Dual Core on Object Oriented Programming Languages through UML

-----------------------------------------------ABSTRACT-----------------------------------------------Nowadays, different kinds of processors are appearing in the computer market, therefore it is necessary to observe the performance of these processors at the early stage of computation of object oriented programs. In this context, the present paper deals with the evaluation of the performance o...

متن کامل

Incorporating Aspects into the UML

As aspect-oriented programming techniques move into mainstream use, it is likely that more software developers will be modeling systems with aspect-oriented features using the Unified Modeling Language. And with the Object Management Group considering revised standards for UML 2.0, it is an appropriate time to consider UML standards for aspect-oriented elements. This paper considers how aspect-...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Provisioning Object-oriented Service Clouds for Exertion-oriented Programming

Each computing system requires a platform that allows software to run. The computing platform includes a programming environment to create application software with a coherent operating system and processor. Each platform’s programming environment reflects a relevant abstraction, and usually the type and quality of the abstraction implies the complexity of problems we are able to solve. The Ser...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013