TW358183B - Automatic checking of public contracts and private constraints on distributed objects - Google Patents

Automatic checking of public contracts and private constraints on distributed objects

Info

Publication number
TW358183B
TW358183B TW086113542A TW86113542A TW358183B TW 358183 B TW358183 B TW 358183B TW 086113542 A TW086113542 A TW 086113542A TW 86113542 A TW86113542 A TW 86113542A TW 358183 B TW358183 B TW 358183B
Authority
TW
Taiwan
Prior art keywords
automatic checking
distributed objects
constraints
private
specifications
Prior art date
Application number
TW086113542A
Other languages
English (en)
Inventor
Sriram Sankar
Mark E Hefner
Roong-Ko Doong
Original Assignee
Sun Microsystems Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Sun Microsystems Inc filed Critical Sun Microsystems Inc
Application granted granted Critical
Publication of TW358183B publication Critical patent/TW358183B/zh

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/16—Combinations of two or more digital computers each having at least an arithmetic unit, a program unit and a register, e.g. for a simultaneous processing of several programs
    • G—PHYSICS
    • G07—CHECKING-DEVICES
    • G07F—COIN-FREED OR LIKE APPARATUS
    • G07F19/00—Complete banking systems; Coded card-freed arrangements adapted for dispensing or receiving monies or the like and posting such transactions to existing accounts, e.g. automatic teller machines
    • G07F19/20—Automatic teller machines [ATMs]
    • G07F19/211—Software architecture within ATMs or in relation to the ATM network
    • G—PHYSICS
    • G07—CHECKING-DEVICES
    • G07F—COIN-FREED OR LIKE APPARATUS
    • G07F17/00—Coin-freed apparatus for hiring articles; Coin-freed facilities or services
    • G07F17/0014—Coin-freed apparatus for hiring articles; Coin-freed facilities or services for vending, access and use of specific services not covered anywhere else in G07F17/00
    • G—PHYSICS
    • G07—CHECKING-DEVICES
    • G07F—COIN-FREED OR LIKE APPARATUS
    • G07F17/00—Coin-freed apparatus for hiring articles; Coin-freed facilities or services
    • G07F17/16—Coin-freed apparatus for hiring articles; Coin-freed facilities or services for devices exhibiting advertisements, announcements, pictures or the like
    • G—PHYSICS
    • G07—CHECKING-DEVICES
    • G07F—COIN-FREED OR LIKE APPARATUS
    • G07F19/00—Complete banking systems; Coded card-freed arrangements adapted for dispensing or receiving monies or the like and posting such transactions to existing accounts, e.g. automatic teller machines
    • G07F19/20—Automatic teller machines [ATMs]
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00—Network arrangements or protocols for supporting network services or applications
    • H04L67/01—Protocols
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00—Network arrangements or protocols for supporting network services or applications
    • H04L67/01—Protocols
    • H04L67/10—Protocols in which an application is distributed across nodes in the network

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Engineering & Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • Accounting & Taxation (AREA)
  • Finance (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer And Data Communications (AREA)
TW086113542A 1996-09-25 1997-09-18 Automatic checking of public contracts and private constraints on distributed objects TW358183B (en)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
US08/719,657 US6336148B1 (en) 1996-09-25 1996-09-25 Automatic checking of public contracts and private constraints on distributed objects

Publications (1)

Publication Number Publication Date
TW358183B true TW358183B (en) 1999-05-11

Family

ID=24890865

Family Applications (1)

Application Number Title Priority Date Filing Date
TW086113542A TW358183B (en) 1996-09-25 1997-09-18 Automatic checking of public contracts and private constraints on distributed objects

Country Status (5)

Country Link
US (1) US6336148B1 (zh)
EP (1) EP0836307A3 (zh)
KR (1) KR19980024914A (zh)
SG (1) SG92609A1 (zh)
TW (1) TW358183B (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
TWI418386B (zh) * 2007-10-02 2013-12-11 Legend Entertainment Co Ltd X 線上遊戲之位址鎖定系統及其方法

Families Citing this family (24)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20040199863A1 (en) * 1998-06-04 2004-10-07 Hitchcock Michael D. Universal forms engine
US6345278B1 (en) * 1998-06-04 2002-02-05 Collegenet, Inc. Universal forms engine
US6601192B1 (en) * 1999-08-31 2003-07-29 Accenture Llp Assertion component in environment services patterns
US6519627B1 (en) * 1999-09-27 2003-02-11 International Business Machines Corporation System and method for conducting disconnected transactions with service contracts for pervasive computing devices
JP3888827B2 (ja) * 2000-03-15 2007-03-07 富士通株式会社 プログラム置換システム、分散処理システム及びプログラム置換方法
US6842786B1 (en) * 2001-02-09 2005-01-11 Adobe Systems Incorporated Method and apparatus for remote communication of data associated with dynamically generated type object at runtime to describe the data type
GB2373073A (en) * 2001-03-08 2002-09-11 Escher Technologies Ltd Process and system for developing validated and optimised object-oriented software
RU2258959C9 (ru) 2001-03-19 2006-05-27 Дайболд, Инкорпорейтед Система и способ обработки данных посредством банкоматов
US6883172B1 (en) * 2001-03-29 2005-04-19 Microsoft Corporation System and method for bridging managed and unmanaged object systems by utilizing an interface wrapper to facilitate transparent communications
US7822684B2 (en) * 2001-10-05 2010-10-26 Jpmorgan Chase Bank, N.A. Personalized bank teller machine
US7523169B1 (en) 2003-02-28 2009-04-21 Verizon Data Services Llc Method and system for mapping network data for network database access
US8090943B1 (en) * 2003-04-28 2012-01-03 Teradata Us, Inc. Preventing unauthorized access of routines in a library
US7882495B2 (en) 2007-06-14 2011-02-01 Microsoft Corporation Bounded program failure analysis and correction
US8250524B2 (en) * 2007-12-21 2012-08-21 Microsoft Corporation Contract programming for code error reduction
US8782607B2 (en) 2009-02-20 2014-07-15 Microsoft Corporation Contract failure behavior with escalation policy
US9389606B2 (en) * 2011-11-11 2016-07-12 Rockwell Automation Technologies, Inc. Agile control model system and method
US9374417B1 (en) * 2014-05-27 2016-06-21 Amazon Technologies, Inc. Dynamic specification auditing for a distributed system
US9535811B2 (en) 2014-10-31 2017-01-03 AppDynamics, Inc. Agent dynamic service
US9529691B2 (en) 2014-10-31 2016-12-27 AppDynamics, Inc. Monitoring and correlating a binary process in a distributed business transaction
US9535666B2 (en) * 2015-01-29 2017-01-03 AppDynamics, Inc. Dynamic agent delivery
US9811356B2 (en) 2015-01-30 2017-11-07 Appdynamics Llc Automated software configuration management
US11176519B2 (en) 2016-11-11 2021-11-16 International Business Machines Corporation Smart contract admission check and fault tolerance in a blockchain
CN109876447A (zh) * 2019-01-15 2019-06-14 珠海金山网络游戏科技有限公司 一种大型游戏资源规范监测方法及装置
US10957153B2 (en) * 2019-03-15 2021-03-23 Ags Llc Technician input-free reconfiguration of secured gaming system

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CA2041992A1 (en) * 1990-05-18 1991-11-19 Yeshayahu Artsy Routing objects on action paths in a distributed computing system
US6157961A (en) * 1992-12-21 2000-12-05 Sun Microsystems, Inc. Client-side stub interpreter
DE69327448T2 (de) * 1992-12-21 2004-03-04 Sun Microsystems, Inc., Mountain View Verfahren und Vorrichtung für Teilaufgaben in verteiltem Verarbeitungssystem
EP0643349B1 (en) * 1993-09-10 2000-10-18 Sun Microsystems, Inc. Client-side stub interpreter
DE69533148T2 (de) * 1994-05-26 2005-08-25 Sun Microsystems, Inc., Santa Clara Verfahren und Gerät zur Erzeugung und Verwendung kurzer Operationsidentifizierer in objektorientierten Systemen
US5751967A (en) * 1994-07-25 1998-05-12 Bay Networks Group, Inc. Method and apparatus for automatically configuring a network device to support a virtual network
US5754857A (en) * 1995-12-08 1998-05-19 Sun Microsystems, Inc. Distributed asynchronous workflow on the net

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
TWI418386B (zh) * 2007-10-02 2013-12-11 Legend Entertainment Co Ltd X 線上遊戲之位址鎖定系統及其方法

Also Published As

Publication number Publication date
KR19980024914A (ko) 1998-07-06
US6336148B1 (en) 2002-01-01
EP0836307A2 (en) 1998-04-15
EP0836307A3 (en) 2003-01-08
SG92609A1 (en) 2002-11-19

Similar Documents

Publication Publication Date Title
TW358183B (en) Automatic checking of public contracts and private constraints on distributed objects
TW328629B (en) Production line analysis method and production line analysis device
EP0813326A3 (en) Apparatus and method for predicted response generation
WO2001065371A3 (en) Method and system for updating an archive of a computer file
AU5587400A (en) System and method for database retrieval, indexing and statistical analysis
EP0833259A3 (en) Method and apparatus for coupling object state and behavior in a database management system
EP1152352A3 (en) System and method for handling files in a distributed data storage environment
EP1833266A3 (en) Distributed communications network management and control system
WO2004044686A3 (en) Emissions reduction portfolio
AU2035600A (en) Development tool, method, and system for client server appications
WO2002033525A3 (en) A method and system for detecting rogue software
WO2001069455A3 (en) A system and method for analyzing a query and generating results and related questions
EP1148423A4 (en) INFORMATION TERMINAL, SERVER, INFORMATION PRESENTATION SYSTEM AND INFORMATION REPRESENTATION METHOD
WO1996018157A3 (en) Object-oriented system for configuration history management
GB0002516D0 (en) Network accounting and billing system and method
ITTO980720A0 (it) Procedimento per l'installazione e la verifica del software per un si- stema di computer prodotto su ordinazione.
EP0633538A3 (en) Relational database management system.
AU3438401A (en) System and method for automated financial project management
EP0651346A3 (en) Form recognition management method and system.
MY115597A (en) Software installation and testing for a build-to-order computer system
HUP0102564A3 (en) Computer application integration system, improved enterprise system, agent-adapter and method for passing messages between computer applications
BR9402027A (pt) Processo para gerenciar uma configuração e assegurar compatibilidade entre componentes num sistema de computação, e, processo para eliminar incompatibilidades entre software residente e software de migração num sistema de computador automatizado
WO2005050402A3 (en) A method and apparatus for matter-centric document management
AU5321998A (en) Computer sorting system for data compression
EP0756224A3 (en) Computer power management