TY - BOOK ID - 8435220 TI - Semantic methods for execution-level business process modeling : modeling support through process verification and service composition PY - 2009 SN - 3642050840 9786612459078 1282459074 3642050859 PB - Berlin, Germany ; New York, New York : Springer, DB - UniCat KW - Business logistics -- Data processing. KW - Library Science. KW - Semantic computing. KW - Service-oriented architecture (Computer science). KW - World Wide Web. KW - Business KW - Semantic computing KW - Management information systems KW - Reengineering (Management) KW - Service-oriented architecture (Computer science) KW - Computer Science KW - Marketing & Sales KW - Commerce KW - Engineering & Applied Sciences KW - Business & Economics KW - Data processing KW - Semantic Web. KW - Business logistics KW - Data processing. KW - Computer science. KW - Information technology. KW - Business mathematics. KW - Information storage and retrieval. KW - Artificial intelligence. KW - Application software. KW - Computer Science. KW - Information Storage and Retrieval. KW - Business Mathematics. KW - Computer Applications. KW - Information Systems Applications (incl. Internet). KW - IT in Business. KW - Artificial Intelligence (incl. Robotics). KW - Application computer programs KW - Application computer software KW - Applications software KW - Apps (Computer software) KW - Computer software KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Arithmetic, Commercial KW - Business arithmetic KW - Business math KW - Commercial arithmetic KW - Finance KW - Mathematics KW - IT (Information technology) KW - Technology KW - Telematics KW - Information superhighway KW - Knowledge management KW - Informatics KW - Science KW - Semantic integration (Computer systems) KW - Semantic networks (Information theory) KW - World Wide Web KW - Microformats KW - Information storage and retrieva. KW - Artificial Intelligence. KW - Information storage and retrieval systems. KW - Automatic data storage KW - Automatic information retrieval KW - Automation in documentation KW - Computer-based information systems KW - Data processing systems KW - Data storage and retrieval systems KW - Discovery systems, Information KW - Information discovery systems KW - Information processing systems KW - Information retrieval systems KW - Machine data storage and retrieval KW - Mechanized information storage and retrieval systems KW - Computer systems KW - Electronic information resources KW - Data libraries KW - Digital libraries KW - Information organization KW - Information retrieval KW - Business—Data processing. KW - Management information systems. KW - Computer science KW - Semantics KW - Business process reengineering KW - Re-engineering (Management) KW - Management KW - EIS (Information systems) KW - Executive information systems KW - MIS (Information systems) KW - Sociotechnical systems KW - Information resources management KW - Service-oriented network architecture (Computer science) KW - SOA (Computer science) KW - SONA (Computer science) KW - Computer network architectures KW - Electronic data interchange KW - Communication systems UR - https://www.unicat.be/uniCat?func=search&query=sysid:8435220 AB - Ingo Weber develops new approaches for the rapid development and flexible adaption of business processes, which are often the main requirements in today’s IT support for enterprises. Key issues covered by his work are the automatic composition of processes out of predefined components and the verification of specific process properties. His research aims at quickly creating executable process models, which orchestrate the usage of Web services. He investigates how process modelers can be supported by semantic technologies, e.g., by semantically enriched process models or annotated Web services, and puts special emphasis on expressiveness and scalability. ER -