• Publications
  • Influence
Web services policy framework (ws-policy framework)
  • 161
  • 29
Web Services Business Activity Framework (WS-BusinessActivity)
This specification provides the definition of the business activity coordinati be used with the extensible coordination framework described in the WS specification. The specification defines twoExpand
  • 94
  • 9
  • Open Access
Semantic subtyping with an SMT solver
tl;dr
We study a first-order functional language with the novel combination of the ideas of refinement type (the subset of a type to satisfy a Boolean expression) and type-test (a Boolean expression testing whether a value belongs to a type). Expand
  • 52
  • 5
  • Open Access
Formal specification of a Web services protocol
tl;dr
We describe a use of formal methods to specify and check a Web Services protocol. Expand
  • 54
  • 4
  • Open Access
ZEITGEIST: Database Support for Object-Oriented Programming
tl;dr
The Zeitgeist Object-Oriented Database System under development in the Information Technologies Laboratory of Texas Instruments is designed to support design applications and large scale programming projects by providing a nearly seamless interface to Common Lisp. Expand
  • 36
Formal Specification of a Web Services Protocol
tl;dr
We describe a use of formal methods to specify and check a Web Services protocol. Expand
  • 12
  • Open Access
Software survivability
tl;dr
This report summarizes an architecture and software mechanisms to make software applications based on the popular Object Services Architecture (e.g., OMGs CORBA or Java/RMI/Jini) model far more survivable than is currently possible, while at the same time maintaining flexibility and ease of construction that characterizes OSA-based applications. Expand
  • 9
Extensibility and Asynchrony in the Brown-Object Storage System
  • 4
Specification of the web services atomic transaction protocol
tl;dr
In combination: means located at an operating site for transmitting signals and for receiving those signals which are reflected by moving targets; and means connected to said transmitting and receiving means for processing those of the received signals which is reflected by targets beginning only at such time as any particular target first comes to within a predetermined distance of the operating site. Expand
  • 4
The Oslo Modeling Language: Draft Specification - October 2008
tl;dr
This book comes from the original creators of "M"--David Langworthy, Brad Lovering, and Don Box--and is the definitive reference to the language. Expand
  • 5