Sciweavers

49 search results - page 1 / 10
» A Modular Action Description Language for Protocol Compositi...
Sort
View
82
Voted
AAAI
2007
15 years 2 months ago
A Modular Action Description Language for Protocol Composition
Protocols are modular abstractions that capture patterns of interaction among agents. The compelling vision behind protocols is to enable creating customized interactions by refi...
Nirmit Desai, Munindar P. Singh
JLP
2007
159views more  JLP 2007»
15 years 8 days ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
112
Voted
ENTCS
2008
158views more  ENTCS 2008»
15 years 13 days ago
Aspect-Oriented Action Semantics Descriptions
The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of ot...
Luis Carlos de Sousa Menezes
ENTCS
2002
132views more  ENTCS 2002»
15 years 5 days ago
Action Semantics and ASF+SDF: System Demonstration
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...
Peter D. Mosses
101
Voted
JUCS
2008
172views more  JUCS 2008»
15 years 10 days ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley