Sciweavers

1722 search results - page 204 / 345
» Ontology Formalism Transformation
Sort
View
127
Voted
UML
2005
Springer
15 years 6 months ago
Refactoring OCL Annotated UML Class Diagrams
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
Slavisa Markovic, Thomas Baar
110
Voted
DEXA
2007
Springer
126views Database» more  DEXA 2007»
15 years 4 months ago
Compiling Declarative Specifications of Parsing Algorithms
Abstract. The parsing schemata formalism allows us to describe parsing algorithms in a simple, declarative way by capturing their fundamenntics while abstracting low-level detail. ...
Carlos Gómez-Rodríguez, Jesús...
90
Voted
ICWS
2003
IEEE
15 years 2 months ago
Towards Agent-Based Rational Service Composition - RACING Approach
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
Vadim Ermolayev, Natalya Keberle, Sergey Plaksin
85
Voted
CJ
2010
85views more  CJ 2010»
15 years 29 days ago
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes
A contract specifies an interorganizational process together with a distribution of responsibilities for the activities among the parties involved. In this paper, we formally show ...
Wil M. P. van der Aalst, Niels Lohmann, Peter Mass...
JUCS
2008
117views more  JUCS 2008»
15 years 24 days ago
Disentangling Denotational Semantics Definitions
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
Fabio Tirelo, Roberto da Silva Bigonha, Joã...