Filtern
Erscheinungsjahr
Dokumenttyp
- Masterarbeit (19)
- Ausgabe (Heft) zu einer Zeitschrift (13)
- Bachelorarbeit (11)
- Dissertation (6)
- Diplomarbeit (4)
Sprache
- Englisch (53) (entfernen)
Schlagworte
- Internet of Things (4)
- computer clusters (3)
- Beschaffung (2)
- Logistik (2)
- artificial neural networks (2)
- classification (2)
- framework (2)
- parallel algorithms (2)
- social simulation (2)
- Adaptive Services Grid (ASG) (1)
- Agentenorientiertes Software Engineering (1)
- Akzeptanz (1)
- BPM (1)
- BPMS (1)
- Bedarfsanalyse (1)
- Biometric Authentication (1)
- Business Process Management Recommender Systems Survey (1)
- Business Process Modeling (1)
- Business Rule Bases, Inconsistency Measurement (1)
- Bürgerbeiteiligung (1)
- COVID-19 (1)
- CSCW (1)
- Case Study Analysis (1)
- Cloud Computing (1)
- CodeBlue (1)
- Collaboration (1)
- Computer Supported Cooperative Work (1)
- Container Entity Modell (1)
- DMN (1)
- Datenaustausch (1)
- Diffusion (1)
- Documents (1)
- E-Partizipation (1)
- E-participation (1)
- EU (1)
- Einkauf (1)
- Empfehlungssystem (1)
- Enterprise 2.0 (1)
- Enterprise Systems (1)
- Europäischer Schadensbericht (1)
- Evaluierung (1)
- Fingerprint Recognition (1)
- Gamification (1)
- Grounded Theory (1)
- Gruppenarbeit (1)
- Health (1)
- Heimarbeit (1)
- IBM Bluemix (1)
- IT Outsourcing (1)
- IT Security (1)
- IT Services (1)
- Information Asset Register (1)
- Information Audit (1)
- Information Capturing Methods (1)
- Information system (1)
- Insurance (1)
- Internet Voting (1)
- Interoperability (1)
- Interoperabilität (1)
- IoT (1)
- Kollaboration (1)
- Multi-Agenten-Systeme (1)
- ODRL (1)
- OWL (1)
- Organizational Change (1)
- PEPPOL (1)
- Pan European Public Procurement OnLine (1)
- Probabilistic finite automata (1)
- RDF (1)
- Recommender System (1)
- Recommender Systems, Business Process Modeling, Literature Review (1)
- STOF Model (1)
- Security (1)
- Semantic Web (1)
- Sensing as a Service (1)
- Service-oriented Architectures (SOA) (1)
- Service-orientierte Architektur (1)
- Sozialwissenschaftliche Simulation (1)
- Speaker Recognition (1)
- Sustainability (1)
- Telearbeit (1)
- Tenneco Automotive (1)
- Transport (1)
- Umfrage (1)
- Umfrage in Koblenz (1)
- VCD (1)
- Verification (1)
- Virtual Company Dossier (1)
- WSN (1)
- Wearables (1)
- acceptance (1)
- adaptive resonance theory (1)
- analytics (1)
- artifcial neural networks (1)
- artififfcial neural networks (1)
- assessment model (1)
- blood analysis (1)
- business intelligence (1)
- categorisation (1)
- change (1)
- collaboration (1)
- cultural dimensions (1)
- data (1)
- diffusion (1)
- digital transformation (1)
- digital workplace (1)
- distributed information systems (1)
- e-service (1)
- e-service quality (1)
- eGovernment (1)
- eSourcing (1)
- enterprise collaboration platforms (1)
- enterprise collaboration systems (1)
- estimation of algorithm efficiency (1)
- evaluation (1)
- governance (1)
- gradient method of training weight coefficients (1)
- groupwork (1)
- hybrid work (1)
- information infrastructure (1)
- information system (1)
- internet of things (1)
- iot development platforms (1)
- logistic (1)
- longitudinal (1)
- mPayments (1)
- mathematical model (1)
- medical care (1)
- methodology (1)
- micro-agent (1)
- minimum self-contained graphs (1)
- mobile health care (1)
- modulares System (1)
- multi-agent systems (1)
- parallel calculations (1)
- regression analysis (1)
- remote work (1)
- requirements analysis (1)
- risk (1)
- social media (1)
- social object (1)
- survey in Koblenz (1)
- virtual goods (1)
- visualization (1)
- web-portal medical e-services (1)
- wireless sensor networks (1)
- work from anywhere (1)
- work from home (1)
Institut
- Institut für Wirtschafts- und Verwaltungsinformatik (53) (entfernen)
Business Process Querying (BPQ) is a discipline in the field of Business Process Man- agement which helps experts to understand existing process models and accelerates the development of new ones. Its queries can fetch and merge these models, answer questions regarding the underlying process, and conduct compliance checking in return. Many languages have been deployed in this discipline but two language types are dominant: Logic-based languages use temporal logic to verify models as finite state machines whereas graph-based languages use pattern matching to retrieve subgraphs of model graphs directly. This thesis aims to map the features of both language types to features of the other to identify strengths and weaknesses. Exemplarily, the features of Computational Tree Logic (CTL) and The Diagramed Modeling Language (DMQL) are mapped to one another. CTL explores the valid state space and thus is better for behavioral querying. Lacking certain structural features and counting mechanisms it is not appropriate to query structural properties. In contrast, DMQL issues structural queries and its patterns can reconstruct any CTL formula. However, they do not always achieve exactly the same semantic: Patterns treat conditional flow as sequential flow by ignoring its conditions. As a result, retrieved mappings are invalid process execution sequences, i.e. false positives, in certain scenarios. DMQL can be used for behavioral querying if these are absent or acceptable. In conclusion, both language types have strengths and are specialized for different BPQ use cases but in certain scenarios graph-based languages can be applied to both. Integrating the evaluation of conditions would remove the need for logic-based languages in BPQ completely.