Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
KQML as an agent communication language
Software agents
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
The essence of the process specification language
Transactions of the Society for Computer Simulation International - modeling and simulation in manufacturing
Brokering and matchmaking for coordination of agent societies: a survey
Coordination of Internet agents
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Autonomous Agents and Multi-Agent Systems
IEEE Intelligent Systems
Reasoning About Actions in Narrative Understanding
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Browsing Schedules - An Agent-Based Approach to Navigating the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Concurrent Semantics for the Web Services Specification Language DAML-S
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Calendar Agents on the Semantic Web
IEEE Intelligent Systems
Web Services: Been There, Done That?
IEEE Intelligent Systems
Bringing Semantics to Web Services
IEEE Intelligent Systems
The Self-Serv Environment for Web Services Composition
IEEE Internet Computing
Finding Trading Partners to Establish Ad-hoc Business Processes
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Importing the Semantic Web in UDDI
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Processing Schedules Using Distributed Ontologies on the Semantic Web
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Improving the Functionality of UDDI Registries through Web Service Semantics
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
A Dependency Markup Language for Web Services
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
DAML Enabled Web Services and Agents in the Semantic Web
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Rich service description for a smarter lifestyle
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Enabling conversations with web services
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Ontology support for web service processes
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Autonomous Semantic Web Services
IEEE Internet Computing
Knowledge base grid: a generic grid architecture for semantic web
Journal of Computer Science and Technology - Grid computing
ICEC '03 Proceedings of the 5th international conference on Electronic commerce
BT Technology Journal
Creating Bespoke Applications on Demand from the Agentcities Test-Bed
BT Technology Journal
Autonomic Service Adaptation in ICENI using Ontological Annotation
GRID '03 Proceedings of the 4th International Workshop on Grid Computing
Classification of ad-hoc multi-lateral collaborations based on local workflow models
Proceedings of the 2003 ACM symposium on Applied computing
POESIA: An ontological workflow approach for composing Web services in agriculture
The VLDB Journal — The International Journal on Very Large Data Bases
QoS-Aware Middleware for Web Services Composition
IEEE Transactions on Software Engineering
Meteor-s web service annotation framework
Proceedings of the 13th international conference on World Wide Web
Use of ontologies in a pervasive computing environment
The Knowledge Engineering Review
Using Web Service Technologies to Create an Information Broker: An Experience Report
Proceedings of the 26th International Conference on Software Engineering
Dynamic Configuration of Resource-Aware Services
Proceedings of the 26th International Conference on Software Engineering
A framework for the server-side management of conversations with web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Through different eyes: assessing multiple conceptual views for querying web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Invited talk: towards declarative programming for web services
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Invited talk: towards declarative programming for web services
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A Manifesto for Agent Technology: Towards Next Generation Computing
Autonomous Agents and Multi-Agent Systems
A Conceptual and Practical Framework for Web-Based Processes in Multi-Agent Systems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Model interchange and integration for web services
ACM SIGSOFT Software Engineering Notes
Guest Editors' Introduction: Semantic Web Services
IEEE Intelligent Systems
Automatically Composed Workflows for Grid Environments
IEEE Intelligent Systems
Protocols for processes: programming in the large for open systems (extended abstract)
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Grid metadata catalog service-based OGC web registry service
Proceedings of the 12th annual ACM international workshop on Geographic information systems
Current Solutions for Web Service Composition
IEEE Internet Computing
Synthesis of underspecified composite e-services based on automated reasoning
Proceedings of the 2nd international conference on Service oriented computing
A model for abstract process specification, verification and composition
Proceedings of the 2nd international conference on Service oriented computing
A service-oriented architecture for digital libraries
Proceedings of the 2nd international conference on Service oriented computing
Information Technology and Management
Towards Adaptive Workflow Enactment Using Multiagent Systems
Information Technology and Management
Context-awareness, privacy and mobile access: a web semantic and multiagent approach
UbiMob '04 Proceedings of the 1st French-speaking conference on Mobility and ubiquity computing
Protocols for processes: programming in the large for open systems
ACM SIGPLAN Notices
On automating Web services discovery
The VLDB Journal — The International Journal on Very Large Data Bases
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An OWL-based extensible transcoding system for mobile multi-devices
Journal of Information Science
Web service composition using a deductive XML rule language
Distributed and Parallel Databases
Service discovery and measurement based on DAML-QoS ontology
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
Supporting application development in the semantic web
ACM Transactions on Internet Technology (TOIT)
A verifier for interactive, data-driven web applications
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Resolution and Constraint Propagation for Semantic Web Services Discovery
Distributed and Parallel Databases
Towards a flexible service discovery
Journal of Network and Computer Applications
Virtual and Dynamic Hierarchical Architecture for E-Science Grid
International Journal of High Performance Computing Applications
Ontology translation for interoperability among semantic Web services
AI Magazine - Special issue on semantic integration
Composition flexible de services d'objets communicants
UbiMob '05 Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
A View Based Analysis on Web Service Registries
Distributed and Parallel Databases
OMWSC- An Ontology-Based Model for Web Services Composition
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
The maturity of open systems for B2B
ACM SIGecom Exchanges
Multi-agent system approach to context-aware coordinated web services under general market mechanism
Decision Support Systems
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient and adaptive discovery techniques of Web Services handling large data sets
Journal of Systems and Software
web services customization: a composition-based approach
ICWE '06 Proceedings of the 6th international conference on Web engineering
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Specification and verification of data-driven Web applications
Journal of Computer and System Sciences
Preference-based selection of highly configurable web services
Proceedings of the 16th international conference on World Wide Web
DIANE: an integrated approach to automated service discovery, matchmaking and composition
Proceedings of the 16th international conference on World Wide Web
A Uniform Product Knowledge Representation Semantic Model
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Service oriented architectures: approaches, technologies and research issues
The VLDB Journal — The International Journal on Very Large Data Bases
Semantic model-driven architecting of service-based software systems
Information and Software Technology
Finite State Automata As Conceptual Model For E-Services
Journal of Integrated Design & Process Science
The Estimation Of Invocation Cost For Composite Services
Journal of Integrated Design & Process Science
Framework for Semantic Web Process Composition
International Journal of Electronic Commerce
VsLattice: A vector-based conceptual index structure for web service retrieval
Information Systems Frontiers
Enterprise application reuse: Semantic discovery of business grid services
Information Technology and Management
Semantic Web Service Architecture for Simulation Model Reuse
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Ontology-based models in pervasive computing systems
The Knowledge Engineering Review
A conceptual architecture for semantic web services development and deployment
International Journal of Web and Grid Services
What is needed for semantic service descriptions? A proposal for suitable language constructs
International Journal of Web and Grid Services
On the design, implementation and application of an authorisation architecture for web services
International Journal of Information and Computer Security
Matchmaking and ranking of semantic web services using integrated service profile
International Journal of Metadata, Semantics and Ontologies
Matchmaking for semantic web services with constraints on process models
AIKED'06 Proceedings of the 5th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases
Discovery in grid and web services environments: A survey and evaluation
Multiagent and Grid Systems - Special Issue on "Advances in Grid services Engineering and Management"
Semantic model-driven development of web service architectures
International Journal of Web Engineering and Technology
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
Dynamic Adaptation of Workflow Based Service Compositions
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
An On-Line Semantic Visualization for Heterogeneous Product Information of the Virtual Organization
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence
Business Metrics Discovery by Business Rules
WSKS '08 Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society
Workflow-based resource allocation to optimize overall performance of composite services
Future Generation Computer Systems
International Journal of Electronic Commerce
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
OWL-L: An OWL-based language for Web resources links
Computer Standards & Interfaces
The VLDB Journal — The International Journal on Very Large Data Bases
Amoeba: A methodology for modeling and evolving cross-organizational business processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Considerations on using transactions in workflow design
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
On optimal decision for QoS-aware composite service selection
Expert Systems with Applications: An International Journal
Deploying information agents on the web
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
TAGA: travel market framework in Agentcities
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Requirement Driven Service Agent Collaboration and QoS Based Negotiation
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Journal of Artificial Intelligence Research
Semantic Annotations and Querying of Web Data Sources
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Multi-agent system approach to context-aware coordinated web services under general market mechanism
Decision Support Systems
An interactive service customization model
Information and Software Technology
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
Annotation, composition and invocation of semantic web services
Web Semantics: Science, Services and Agents on the World Wide Web
An ontological account of action in processes and plans
Knowledge-Based Systems
Web Semantics: Science, Services and Agents on the World Wide Web
Peer-to-peer coupled agent systems for distributed situation management
Information Fusion
Translating and searching service descriptions using ontologies
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
A pi-calculus-based business process formal design method
CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
An ontology for software component matching
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
DAML-based policy enforcement for semantic data transformation and filtering in multi-agent systems
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Formal specification of OWL-S with object-Z: the dynamic aspect
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
An e-service-based framework for inter-administration cooperation
KMGov'03 Proceedings of the 4th IFIP international working conference on Knowledge management in electronic government
An efficient web service annotation method utilizing concept mapping and interface expansion
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 2
Structuring agents for adaptation
Adaptive agents and multi-agent systems
Software engineering for large-scale multi-agent systems
European research and development of intelligent information agents: the agentlink perspective
Intelligent information agents
Dynamic aspects for virtual organizations based on intelligent agent technology
MAMECTIS'10 Proceedings of the 12th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems
The Knowledge Engineering Review
Assessing web services quality for call-by-call outsourcing
WISEW'03 Proceedings of the Fourth international conference on Web information systems engineering workshops
E-service classification techniques to support discovery in a mobile multichannel environment
WISEW'03 Proceedings of the Fourth international conference on Web information systems engineering workshops
Temporal specifications for services with unboundedly many passive clients
ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking
Towards Our Real Life- SMMS: Semantic-Based Mobile Mashup System
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Utilizing the interactive techniques to achieve automated service composition for Web Services
Journal of High Speed Networks
Semantics based grid services publishing and discovery
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
ACConv -- An Access Control Model for Conversational Web Services
ACM Transactions on the Web (TWEB)
Contemporary web service discovery mechanisms
Journal of Web Engineering
Ontology-driven service composition for end-users
Service Oriented Computing and Applications
A novel approach to add semantics to web services
AIASABEBI'11 Proceedings of the 11th WSEAS international conference on Applied informatics and communications, and Proceedings of the 4th WSEAS International conference on Biomedical electronics and biomedical informatics, and Proceedings of the international conference on Computational engineering in systems applications
A formal model of the Semantic Web Service Ontology (WSMO)
Information Systems
Service and model-driven dynamic integration of health data
Proceedings of the first international workshop on Managing interoperability and complexity in health systems
Ontological approach to generating personalized user interfaces for web services
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Task knowledge based retrieval for service relevant to mobile user's activity
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Multi-ontology based system for distributed configuration
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
Flexible web service composition based on interface matching
CIS'04 Proceedings of the First international conference on Computational and Information Science
Discovering and using web services in m-commerce
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Ontology-based matchmaking in e-marketplace with web services
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
A qos-aware selection model for semantic web services
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Towards the testing of composed web services in 3rd generation networks
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
OWL-P: a methodology for business process development
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Setup algorithm of web service composition
ICA3PP'05 Proceedings of the 6th international conference on Algorithms and Architectures for Parallel Processing
A semantically enhanced service repository for user-centric service discovery and management
Data & Knowledge Engineering
An ECA-Rule-Based workflow management approach for web services composition
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Resolution of semantic queries on a set of web services
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Specification of access control and certification policies for semantic web services
EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies
An agent construction model for ubiquitous computing devices
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Orchestration of semantic web services for large-scale document annotation
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Semantic annotation framework to manage semantic heterogeneity of process models
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Ontology translation on the semantic web
Journal on Data Semantics II
Simulation-based web service composition: framework and performance analysis
AsiaSim'04 Proceedings of the Third Asian simulation conference on Systems Modeling and Simulation: theory and applications
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Semantic discovery of web services
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
SWSD: a P2P-based system for service discovery from a mobile terminal
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
Communities: concept-based querying for mobile services
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Reasoning support for expressive ontology languages using a theorem prover
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
A composition oriented and graph-based service search method
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Contract-based web service composition framework with correctness guarantees
ISAS'05 Proceedings of the Second international conference on Service Availability
Enhancing web services description and discovery to facilitate composition
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
An efficient algorithm for OWL-S based semantic search in UDDI
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
An agent architecture for ensuring quality of service by dynamic capability certification
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Flexible binding for reusable composition of web services
SC'05 Proceedings of the 4th international conference on Software Composition
Layered ontological modelling for web service-oriented model-driven architecture
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Ontology transformation and reasoning for model-driven architecture
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
A model-driven architectural framework for integration-capable enterprise application product lines
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Ontology-based composition and transformation for model-driven service architecture
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
A tool to generate an adapter for the integration of web services interface
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
A decomposition-based approach for service composition with global QoS guarantees
Information Sciences: an International Journal
ELeGI'05 Proceedings of the 1st international ELeGI conference on Advanced Technology for Enhanced Learning
Towards universal web service clients
EuroWeb'02 Proceedings of the 2002 international conference on EuroWeb
Semantic annotation of image processing tools
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
Ontology-based composition and matching for dynamic cloud service coordination
International Journal of Metadata, Semantics and Ontologies
An ontology-based approach for modelling architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
Access control for semantic data federations in industrial product-lifecycle management
Computers in Industry
Recommending multimedia web services in a multi-device environment
Information Systems
Mixing Workflows and Components to Support Evolving Services
International Journal of Adaptive, Resilient and Autonomic Systems
International Journal of Web Services Research
A concurrent constraint and pi-calculus-based language for service contracting
International Journal of Wireless and Mobile Computing
GOS: a global optimal selection strategies for QoS-aware web services composition
Service Oriented Computing and Applications
Similarity assessment and efficient retrieval of semantic workflows
Information Systems
Context-sensitive Web service discovery over the bipartite graph model
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities of Web Services. Web Services - Web-accessible programs and devices - are garnering a great deal of interest from industry, and standards are emerging for low-level descriptions of Web Services. DAML-S complements this effort by providing Web Service descriptions at the application layer, describing what a service can do, and not just how it does it. In this paper we describe three aspects of our ontology: the service profile, the process model, and the service grounding. The paper focuses on the grounding, which connects our ontology with low-level XML-based descriptions of Web Services.