[go: up one dir, main page]

Acciai et al., 2005 - Google Patents

XPi: a typed process calculus for XML messaging

Acciai et al., 2005

View PDF
Document ID
7576943051470173108
Author
Acciai L
Boreale M
Publication year
Publication venue
International Conference on Formal Methods for Open Object-Based Distributed Systems

External Links

Snippet

We present XPi, a core calculus for XML messaging. XPi features asynchronous communications, pattern matching, name and code mobility, integration of static and dynamic typing. Flexibility and expressiveness of this calculus are illustrated by a few …
Continue reading at opendl.ifip-tc6.org (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogramme communication; Intertask communication
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/4421—Execution paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30861—Retrieval from the Internet, e.g. browsers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G06F17/21—Text processing
    • G06F17/22—Manipulating or registering by use of codes, e.g. in sequence of text characters
    • G06F17/2247—Tree structured documents; Markup, e.g. Standard Generalized Markup Language [SGML], Document Type Definition [DTD]
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30908—Information retrieval; Database structures therefor; File system structures therefor of semistructured data, the undelying structure being taken into account, e.g. mark-up language structure data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/62—Protecting access to data via a platform, e.g. using keys or access control rules
    • G06F21/6218—Protecting access to data via a platform, e.g. using keys or access control rules to a system of files or objects, e.g. local or distributed file system or database
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L69/00—Application independent communication protocol aspects or techniques in packet data networks
    • H04L69/30—Definitions, standards or architectural aspects of layered protocol stacks
    • H04L69/32—High level architectural aspects of 7-layer open systems interconnection [OSI] type protocol stacks
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00—Network-specific arrangements or communication protocols supporting networked applications
    • H04L67/02—Network-specific arrangements or communication protocols supporting networked applications involving the use of web-based technology, e.g. hyper text transfer protocol [HTTP]
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00—Network-specific arrangements or communication protocols supporting networked applications
    • H04L67/28—Network-specific arrangements or communication protocols supporting networked applications for the provision of proxy services, e.g. intermediate processing or storage in the network

Similar Documents

Publication Publication Date Title
US7165239B2 (en) Application program interface for network software platform
US6658625B1 (en) Apparatus and method for generic data conversion
Damiani et al. Design and implementation of an access control processor for XML documents
US6996833B1 (en) Protocol agnostic request response pattern
US20050273772A1 (en) Method and apparatus of streaming data transformation using code generator and translator
US6651108B2 (en) Method and apparatus for generating object-oriented world wide web pages
US8626803B2 (en) Method and apparatus for automatically providing network services
US7584422B2 (en) System and method for data format transformation
US20030037181A1 (en) Method and apparatus for providing process-container platforms
US7873678B2 (en) Lightweight directory access protocol (LDAP) schema definition using extensible markup language (XML)
US7895604B2 (en) Method and device for event communication between documents
US20020122054A1 (en) Representing and managing dynamic data content for web documents
US7437742B1 (en) Protocol agnostic web listener
US6728750B1 (en) Distributed application assembly
KR100715846B1 (en) Application Reconfiguration Method and Its System using SUB ｂ ｙ ｐ Resilient Service Configuration in Pervasive Environment
WO2006093528A2 (en) Extendable data-driven system and method for issuing certificates
Acciai et al. XPi: a typed process calculus for XML messaging
JP2006510955A (en) Context-independent framework system and method for managing and executing XML processing tasks
Buttner et al. Common platform enumeration (cpe)-specification
WO2005082102A2 (en) Method and apparatus of streaming data transformation using code generator and translator
Carpineti et al. Piduce—a project for experimenting web services technologies
Acciai et al. XPi: A typed process calculus for XML messaging
Yusuf Enterprise messaging using JMS and IBM websphere
Boreale XPi: a typed process calculus for XML messaging
Eisenhauer “FFS Users Guide and Reference