Decentralized establishment of consistent, multi-lateral collaborations
暂无分享,去创建一个
[1] Adriano Peron. Statecharts, Transition Structures and Transformations , 1995, TAPSOFT.
[2] Mark Klein,et al. Serching for services on the semantic web using process ontologies , 2001, The Emerging Semantic Web.
[3] George Coulouris,et al. Distributed systems - concepts and design , 1988 .
[4] Scott A. Moore,et al. KQML and FLBC: Contrasting Agent Communication Languages , 2000, Int. J. Electron. Commer..
[5] Franz Baader,et al. A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.
[6] Daniel Kuokka,et al. On Using KQML for Matchmaking , 1995, ICMAS.
[7] Keith D. Swenson,et al. Workflow Interoperability Standards for the Internet , 2000, IEEE Internet Comput..
[8] Johann Eder,et al. Towards Distributed Workflow Process Management , 1999, Cross-Organisational Workflow Management and Co-ordination.
[9] Anne H. H. Ngu,et al. AgFlow: Agent-based Cross-Enterprise Workflow Management System , 2001, VLDB.
[10] Robert Tolksdorf,et al. Coordinating Web-Based Systems with Documents in XMLSpaces , 2001, CoopIS.
[11] Steven Orla Kimbrough,et al. Formal Language for Business Communication: Sketch of a Basic Theory , 1998, Int. J. Electron. Commer..
[12] Hans Weigand,et al. Integrated Semantics for Information and Communication Systems , 1995, DS-6.
[13] Wolfgang Thomas,et al. Report on the Program AMoRE , 1994 .
[14] Axel Martens. Analysis and Re-Engineering of Web Services , 2004, ICEIS.
[15] Christoph Bussler,et al. B2B Integration: Concepts and Architecture , 2003 .
[16] Katia Sycara,et al. Adding OWL-S to UDDI, implementation and throughput , 2004 .
[17] Carsten Lutz,et al. Description Logics with Concrete Domains-A Survey , 2002, Advances in Modal Logic.
[18] Mark Klein,et al. Discovering Services: Towards High-Precision Service Retrieval , 2002, WES.
[19] Paul W. P. J. Grefen,et al. CrossFlow: integrating workflow management and electronic commerce , 2000, SECO.
[20] Kevin Crowston,et al. The interdisciplinary study of coordination , 1994, CSUR.
[21] Andrzej Cichocki,et al. Managing Process and Service Fusion in Virtual Enterprises , 1999, Inf. Syst..
[22] Karl Aberer,et al. A language for information commerce processes , 2001, Proceedings Third International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems. WECWIS 2001.
[23] Takahiro Kawamura,et al. Semantic Matching of Web Services Capabilities , 2002, SEMWEB.
[24] Hartmann J. Genrich. Predicate/transition nets , 1987 .
[25] Hans Weigand,et al. Specifying Dynamic and Deontic Integrity Constraints , 1989, Data Knowl. Eng..
[26] Wil M. P. van der Aalst,et al. Inheritance of behavior , 2001, J. Log. Algebraic Methods Program..
[27] Sanjay Patil,et al. ebXML and Web Services , 2003, IEEE Internet Comput..
[28] George A. Miller,et al. WordNet: A Lexical Database for the English Language , 2002 .
[29] Gerhard Weikum,et al. A Formal Foundation for Distributed Workflow Execution Based on State Charts , 1997, ICDT.
[30] Mogens Nielsen,et al. Decidability Issues for Petri Nets - a survey , 1994, Bull. EATCS.
[31] Ian Horrocks,et al. A software framework for matchmaking based on semantic web technology , 2003, WWW '03.
[32] Massimo Mecella,et al. Compatibility of e -Services in a Cooperative Multi-platform Environment , 2001, TES.
[33] Andreas Wombacher,et al. Classification of ad-hoc multi-lateral collaborations based on local workflow models , 2003, SAC '03.
[34] Katia P. Sycara,et al. Using DAML-S for P2P Discovery , 2003, International Conference on Web Services.
[35] Giovanni Panti,et al. Multi-Valued Logics , 1998 .
[36] J. Beasley. An algorithm for set covering problem , 1987 .
[37] Timothy W. Finin,et al. KQML as an agent communication language , 1994, CIKM '94.
[38] Carla Simone,et al. Coordination mechanisms: Towards a conceptual foundation of CSCW systems design , 1996, Computer Supported Cooperative Work (CSCW).
[39] Wolfgang Reisig,et al. Inter-operability of Workflow Applications: Local Criteria for Global Soundness , 2000, Business Process Management.
[40] Kurt Jensen. Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.
[41] Wil M. P. van der Aalst,et al. Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? , 2003, Inf. Technol. Manag..
[42] Bennet S. Yee,et al. Anonymous Atomic Transactions , 1996 .
[43] Dan C. Marinescu. Internet Based Workflow Management: Towards a Semantic Web , 2002 .
[44] Patrick Valduriez,et al. Principles of Distributed Database Systems , 1990 .
[45] Wil M.P. van der Aalst. Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce , 2002 .
[46] Mario Banville. SONIA: An Adaptation of LINDA for Coordination of Activities in Organisations , 1996, COORDINATION.
[47] Liangzhao Zeng,et al. An agent-based approach for supporting cross-enterprise workflows , 2001, Proceedings 12th Australasian Database Conference. ADC 2001.
[48] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[49] Divyakant Agrawal,et al. A peer-to-peer framework for Web service discovery with ranking , 2004, Proceedings. IEEE International Conference on Web Services, 2004..
[50] Xiang Fu,et al. Realizability of conversation protocols with message contents , 2004, Proceedings. IEEE International Conference on Web Services, 2004..
[51] Jian Yang,et al. Planning for Requests against Web Services , 2002, IEEE Data Eng. Bull..
[52] Jim Gray,et al. Notes on Data Base Operating Systems , 1978, Advanced Course: Operating Systems.
[53] Ian T. Foster,et al. The Anatomy of the Grid: Enabling Scalable Virtual Organizations , 2001, Int. J. High Perform. Comput. Appl..
[54] Katarina Stanoevska-Slabeva,et al. Supporting Market Transactions through XML Contracting Container , 2000 .
[55] Andreas Wombacher. Decentralized decision making protocol for service composition , 2005, IEEE International Conference on Web Services (ICWS'05).
[56] Fabio Casati,et al. Modeling and Managing Interactions among Business Processes , 2001, J. Syst. Integr..
[57] N. Asokan,et al. Asynchronous protocols for optimistic fair exchange , 1998, Proceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186).
[58] Amit P. Sheth,et al. METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services , 2005, Inf. Technol. Manag..
[59] Alberto Montresor,et al. PeerSpaces: data-driven coordination in peer-to-peer networks , 2003, SAC '03.
[60] Erich J. Neuhold,et al. IPSI-PF: a business process matchmaking engine , 2004, Proceedings. IEEE International Conference on e-Commerce Technology, 2004. CEC 2004..
[61] Robert Tolksdorf,et al. Coordination Technology for Workflows on the Web: Workspaces , 2000, COORDINATION.
[62] David Gelernter,et al. Generative communication in Linda , 1985, TOPL.
[63] Thomas R. Gross,et al. Decoupling synchronization and data transfer in message passing systems of parallel computers , 1995, ICS '95.
[64] Jianwen Su,et al. Formal specification and verification of asynchronously communicating web services , 2004 .
[65] Kees M. van Hee,et al. Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.
[66] John-Jules Ch. Meyer,et al. A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..
[67] Terry Winograd,et al. Understanding computers and cognition , 1986 .
[68] Fabio Casati,et al. Adaptive and Dynamic Service Composition in eFlow , 2000, CAiSE.
[69] W.M.P. van der Aalst,et al. Don't go with the flow: web services composition standards exposed , 2003 .
[70] Amir Herzberg,et al. MiniPay: Charging per Plick on the Web , 1997, Comput. Networks.
[71] Rajmohan Rajaraman,et al. Accessing Nearby Copies of Replicated Objects in a Distributed Environment , 1997, SPAA '97.
[72] Ian Horrocks,et al. Extending Datatype Support in Web Ontology Reasoning , 2002, OTM.
[73] M. Z. Muehlen,et al. Workflow Management Coalition , 2000 .
[74] Roy Fielding,et al. Architectural Styles and the Design of Network-based Software Architectures"; Doctoral dissertation , 2000 .
[75] Winfried Lamersdorf,et al. Supporting Electronic Commerce Transactions with Contracting Services , 1998, Int. J. Cooperative Inf. Syst..
[76] Benjamin Cox,et al. NetBill Security and Transaction Protocol , 1995, USENIX Workshop on Electronic Commerce.
[77] Ping Pan,et al. Internet Engineering Task Force , 1995 .
[78] Jerry R. Hobbs,et al. DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.
[79] Wilhelm Hasselbring,et al. Languages for electronic business communication: state of the art , 2001, Ind. Manag. Data Syst..
[80] Anne H. H. Ngu,et al. An agent-based approach for supporting cross-enterprise workflows , 2001, Proceedings 12th Australasian Database Conference. ADC 2001.
[81] Yigal Hoffner,et al. Web services and matchmaking , 2003, Int. J. Netw. Virtual Organisations.
[82] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[83] Philippe Smets,et al. Quantified Representation of Uncertainty and Imprecision , 1998 .
[84] Carl A. Gunter,et al. Models and languages for digital rights , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.
[85] W.M.P. van der Aalst,et al. Interorganizational workflows: An approach based on message sequence charts and petri nets , 1999 .
[86] J. J. Garcia-Luna-Aceves,et al. A coordination architecture for Internet groupwork , 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.
[87] Steven Orla Kimbrough,et al. On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity , 1997, TOIS.
[88] C. Mohan. Workflow Management in the Internet Age , 1998, ADBIS.
[89] Karl Aberer,et al. Separating Business Process from User Interaction in Web-Based Information Commerce , 2003, Electron. Commer. Res..
[90] Gérard Berry,et al. From Regular Expressions to Deterministic Automata , 1986, Theor. Comput. Sci..
[91] Heiko Schuldt,et al. Scalable peer-to-peer process management - the OSIRIS approach , 2004, Proceedings. IEEE International Conference on Web Services, 2004..
[92] Wil M. P. van der Aalst,et al. Inheritance of Interorganizational Workflows to Enable Business-to-Business , 2002, Electron. Commer. Res..
[93] Olegas Vasilecas,et al. Advances in Databases and Information Systems (ADBIS) , 2002, SIGMOD Rec..
[94] Fabio Casati,et al. eFlow: a platform for developing and managing composite e-services , 2000, Proceedings Academia/Industry Working Conference on Research Challenges '00. Next Generation Enterprises: Virtual Organizations and Mobile/Pervasive Technologies. AIWORC'00. (Cat. No.PR00628).
[95] J. Doug Tygar,et al. Atomicity versus Anonymity: Distributed Transactions for Electronic Commerce , 1998, VLDB.
[96] Andreas Wombacher,et al. P2P Evolution: From File-sharing to Decentralized Workflows (P2P Entwicklung: Vom Filesharing zu dezentralisierten Workflows) , 2004, it Inf. Technol..
[97] K. Bach,et al. Linguistic Communication and Speech Acts , 1983 .
[98] David Bernstein,et al. The DigiBox: A Self-Protecting Container for Information Commerce , 1995, USENIX Workshop on Electronic Commerce.
[99] Ian Horrocks,et al. Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.
[100] C. Petri. Kommunikation mit Automaten , 1962 .
[101] T. D. Fletcher,et al. Web Services Choreography Description Language Version 1.0, W3C , 2004 .
[102] Prabir Nandi,et al. Conversation-enabled Web Services for Agents and e-Business , 2002, International Conference on Internet Computing.
[103] Heiko Schuldt,et al. Infrastructure for Information Spaces , 2002, ADBIS.
[104] Vladimir I. Levenshtein,et al. Binary codes capable of correcting deletions, insertions, and reversals , 1965 .
[105] Wilhelm Hasselbring,et al. An Extensible Business Communication Language , 2000, Int. J. Cooperative Inf. Syst..
[106] Benjamin N. Grosof,et al. An Approach to Using XML and a Rule-Based Content Language with an Agent Communication Language , 2000, Issues in Agent Communication.
[107] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[108] Amit P. Sheth,et al. An overview of workflow management: From process modeling to workflow automation infrastructure , 1995, Distributed and Parallel Databases.
[109] M. Bichler. Special Issue on Business Process Integration and E-Commerce Infrastructure , 2003 .
[110] Hans Weigand,et al. Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints , 1996, ISMIS.
[111] Seif Haridi,et al. Distributed Algorithms , 1992, Lecture Notes in Computer Science.
[112] Marco Pistore,et al. A Request Language for Web-Services Based on Planning and Constraint Satisfaction , 2002, TES.
[113] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[114] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[115] Karl Aberer,et al. CrossFlow: Cross-Organizational Workflow Management in Dynamic Virtual Enterprises , 2000 .
[116] Yigal Hoffner,et al. A Web Services Matchmaking Engine for Web Services , 2003, EC-Web.
[117] Santosh K. Shrivastava,et al. Contract representation for run-time monitoring and enforcement , 2003, EEE International Conference on E-Commerce, 2003. CEC 2003..
[118] Peter Radford,et al. Petri Net Theory and the Modeling of Systems , 1982 .
[119] Franco Zambonelli,et al. Coordination middleware for XML-centric applications , 2002, SAC '02.
[120] H. Weigand,et al. Communication and deontic logic , 1995 .
[121] Sebastián Uchitel,et al. Model-based verification of Web service compositions , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
[122] Carsten Lutz,et al. The complexity of description logics with concrete domains , 2002 .
[123] Liangzhao Zeng,et al. PLM flow-Dynamic Business Process Composition and Execution by Rule Inference , 2002, TES.
[124] Ian T. Foster,et al. The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.
[125] Jem Treadwell,et al. Open Grid Services Architecture , 2006, Grid-Based Problem Solving Environments.
[126] Michel Hack,et al. The Equality Problem for Vector Addition Systems is Undecidable , 1976, Theor. Comput. Sci..
[127] Timothy W. Finin,et al. A semantics approach for KQML—a general purpose communication language for software agents , 1994, CIKM '94.
[128] Asit Dan,et al. A Service Level Agreement Language for Dynamic Electronic Services , 2003, Electron. Commer. Res..
[129] Fausto Giunchiglia,et al. Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology , 2002, SEKE '02.
[130] Doug Kaye,et al. Loosely Coupled: The Missing Pieces of Web Services , 2003 .
[131] Benjamin N. Grosof,et al. A declarative approach to business rules in contracts: courteous logic programs in XML , 2015, EC '99.
[132] Mark Lycett,et al. WORKFLOW STANDARDS AND XML , 2001 .
[133] Tony Andrews. Business Process Execution Language for Web Services Version 1.1 , 2003 .
[134] Robert Tolksdorf. Coordinating work on the Web with workspaces , 2000, Proceedings IEEE 9th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2000).
[135] Erwin. openXchange as ebXML implementation and validation ; the first results , 2003 .
[136] Frank Dignum,et al. The Role of Deontic Logic in the Specification of Information Systems , 1998, Logics for Databases and Information Systems.
[137] David Burdett. Internet Open Trading Protocol - IOTP Version 1.0 , 2000, RFC.
[138] Greg Meredith,et al. Contracts and types , 2003, CACM.
[139] Peter Thomas,et al. WS-Specification: Specifying Web Services Using UDDI Improvements , 2002, Web, Web-Services, and Database Systems.
[140] Anura Gurugé,et al. Universal Description, Discovery, and Integration , 2004 .