Data processing: database and file management or data structures – Database design – Data structure types
Reexamination Certificate
2008-05-20
2008-05-20
Alam, Hosain (Department: 2166)
Data processing: database and file management or data structures
Database design
Data structure types
C707S793000, C707S793000, C717S114000
Reexamination Certificate
active
07376663
ABSTRACT:
A methodology is provided for encoding mobile process calculi in XML. Mobile process calculi (e.g., Π-calculus, Join Calculus, Blue Calculus) are often employed in modeling business processes. The present method provides for encoding a mobile process algebra in XML by providing a mobile process algebra, reducing the process algebra to infix notation, transforming the mobile process algebra from infix notation to prefix notation, and then transforming the prefix notation to a set of tags via structural induction. Annotating tags can then be provided around the basic process algebra constructors. The set of tags represent an XML schema. The XML schema can then be reduced to a programming language. An example of reducing a specific algebra (combinators—a derivative of Π-calculus) to an XML schema is provided. The XML schema is reduced to a programming language ideal for business workflow processes.
REFERENCES:
patent: 5261069 (1993-11-01), Wilkinson et al.
patent: 5522014 (1996-05-01), Clark et al.
patent: 5524241 (1996-06-01), Ghoneimy et al.
patent: 5581691 (1996-12-01), Hsu et al.
patent: 5630069 (1997-05-01), Flores et al.
patent: 5706429 (1998-01-01), Lai et al.
patent: 5867649 (1999-02-01), Larson
patent: 5918218 (1999-06-01), Harris et al.
patent: 5940839 (1999-08-01), Chen et al.
patent: 5960420 (1999-09-01), Leymann et al.
patent: 6009405 (1999-12-01), Leymann et al.
patent: 6061515 (2000-05-01), Chang et al.
patent: 6076060 (2000-06-01), Lin et al.
patent: 6120552 (2000-09-01), Kurtzberg et al.
patent: 6356920 (2002-03-01), Vandersluis
patent: 6487566 (2002-11-01), Sundaresan
patent: 6510406 (2003-01-01), Marchisio
patent: 6516322 (2003-02-01), Meredith
patent: 6618766 (2003-09-01), Eshghi
patent: 6629097 (2003-09-01), Keith
patent: 6675370 (2004-01-01), Sundaresan
patent: 6681383 (2004-01-01), Pastor et al.
patent: 6708164 (2004-03-01), Cseri et al.
patent: 6918053 (2005-07-01), Thatte et al.
patent: 6968503 (2005-11-01), Chang et al.
patent: 2002/0019797 (2002-02-01), Stewart et al.
patent: E 0082225 (1983-06-01), None
Horowitz et al, Fundamentals of Data Structures, Computer Science Press 1977, pp. 93 and 102.
XML Specification. http://www.w3.org/XML/Last Viewed on Aug. 17, 2005. 60 pages.
R. Milner. Communicating and Mobile Systems: the Pi-calculus. Cambridge University Press, 1999.
P. Sewell, Applied Pi—A Brief Tutorial, Computer Laboratory, University of Cambridge, Jul. 28, 2000, 65 pages.
J. Parrow, Interaction Diagrams, Nordic Journal of Computing 2, 1995, pp. 407-433.
“Workflow Management Coalition Workflow Standard—Interoperability Wf-XML Binding” (Jan. 11, 2000) Workflow Management Coalition, Doc. No. WFMC-TC-1023, 40 pages.
XML based Process Managment Standard Launched by Workflow Management Coalition-‘Wf-XML’, (Jul. 7, 1999) wfmc.org/pr/pr1999-07-07.pdf> last accessed Jan. 3, 2006, 4 pages.
Alam Hosain
Amin Turocy & Calvin LLP
Lin Shew-Fen
Microsoft Corporation
LandOfFree
XML-based representation of mobile process calculi does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with XML-based representation of mobile process calculi, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and XML-based representation of mobile process calculi will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2757979