169 search results - page 12 / 34 » Towards a formal framework for Choreography |
FOIKS
2004
Springer
15 years 5 months ago
2004
Springer
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
113
click to vote
FMOODS
2003
15 years 1 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
116
click to vote
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...
121
click to vote
SWS
2004
ACM
15 years 5 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...