X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
conformance checking (222) 222
process mining (137) 137
computer science (126) 126
conformance testing (111) 111
computer science, software engineering (82) 82
conformance (81) 81
software (77) 77
computer science, information systems (75) 75
software engineering (66) 66
petri nets (51) 51
analysis (47) 47
algorithms (43) 43
engineering, electrical & electronic (41) 41
information systems (38) 38
data mining (37) 37
software architecture (37) 37
business (35) 35
computational modeling (35) 35
model checking (35) 35
computer science, theory & methods (34) 34
specifications (34) 34
software engineering/programming and operating systems (33) 33
testing (33) 33
computer programs (32) 32
process models (30) 30
computer architecture (29) 29
process discovery (28) 28
information systems applications (27) 27
verification (26) 26
automata (24) 24
business process management (24) 24
computer science, artificial intelligence (24) 24
design (24) 24
studies (24) 24
unified modeling language (24) 24
protocols (23) 23
semantics (23) 23
analytical models (22) 22
logs (22) 22
prozessmodell (22) 22
architecture (21) 21
artificial intelligence (21) 21
mathematical models (21) 21
web services (20) 20
mineral industry (19) 19
mining industry (19) 19
model-based testing (19) 19
finite state machines (18) 18
management (18) 18
computer science, hardware & architecture (17) 17
programming languages, compilers, interpreters (17) 17
telecommunications (17) 17
business information systems (16) 16
java (16) 16
monitoring (16) 16
software systems (16) 16
theoretical computer science (16) 16
computer communication networks (15) 15
geschäftsprozess (15) 15
software testing (15) 15
theory of computation (15) 15
finite-state machines (14) 14
specification (14) 14
alignment (13) 13
architecture conformance (13) 13
conferences (13) 13
framework (13) 13
information storage and retrieval (13) 13
model repair (13) 13
formal methods (12) 12
informàtica (12) 12
interoperability (12) 12
operations research & management science (12) 12
optimization (12) 12
protocol (12) 12
test generation (12) 12
àrees temàtiques de la upc (12) 12
[ info ] computer science [cs] (11) 11
alignments (11) 11
context (11) 11
fallstudie (11) 11
fitness (11) 11
mining (11) 11
petri-netz (11) 11
research (11) 11
system testing (11) 11
test-generation (11) 11
[ info.info-se ] computer science [cs]/software engineering [cs.se] (10) 10
architecture conformance checking (10) 10
bergbau (10) 10
checking (10) 10
choreography (10) 10
conformance test (10) 10
consistency (10) 10
data models (10) 10
design engineering (10) 10
endlicher automat (10) 10
it in business (10) 10
methods (10) 10
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Software and Systems Modeling, ISSN 1619-1366, 05/2018, Volume 17, Issue 2, pp. 599 - 631
...Softw Syst Model (2018) 17:599–631 https://doi.org/10.1007/s10270-016-0545-x SPECIAL SECTION PAPER Scalable process discovery and conformance checking Sander J... 
Scalable process mining | Rediscoverability | Algorithm evaluation | Block-structured process discovery | Big data | Directly-follows graphs | Conformance checking | PETRI NETS | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Directly | follows graphs | PROCESS MODELS | Algorithms | Fitness | Special Section Paper
Journal Article
Expert systems with applications, ISSN 0957-4174, 2016, Volume 65, pp. 194 - 211
....•We provide a set of algorithms for conformance checking based on MP-Declare•The approach has been implemented in the process mining tool ProM... 
Process mining | Declare | Linear temporal logic | Business constraints | Conformance checking | OPERATIONS RESEARCH & MANAGEMENT SCIENCE | SPECIFICATION | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | VERIFICATION | ENGINEERING, ELECTRICAL & ELECTRONIC | Computer science | Models | Algorithms | Mineral industry | Mining industry | Analysis
Journal Article
ACM Transactions on Internet Technology (TOIT), ISSN 1533-5399, 05/2008, Volume 8, Issue 3, pp. 1 - 30
.... This article addresses the problem of checking and quantifying how much the actual behavior of a service, as recorded in message logs, conforms to the expected behavior as specified in a process model... 
BPEL | Web services | Petri nets | ProM | conformance | Conformance | COMPUTER SCIENCE, SOFTWARE ENGINEERING | languages | web services | COMPUTER SCIENCE, INFORMATION SYSTEMS | measurement | theory | verification | TOOL
Journal Article
Information systems (Oxford), ISSN 0306-4379, 2018, Volume 78, pp. 83 - 95
•We propose a compliance checking technique for textual process descriptions.•The technique can deal with ambiguous language in the process descriptions... 
Business process analysis | Natural language processing | Compliance checking | Ambiguity | Information Systems | Hardware and Architecture | Software | CONFORMANCE CHECKING | COMPUTER SCIENCE, INFORMATION SYSTEMS | PROCESS MODELS | Language processing | Computational linguistics | Analysis | Natural language interfaces
Journal Article
Proceedings of the Institute for System Programming of the RAS, ISSN 2079-8156, 2016, Volume 28, Issue 3, pp. 103 - 122
...). Conformance checking is one of the main sub-fields of process mining. Conformance checking algorithms are aimed to assess how well a given process model, typically represented by a Petri net, and a corresponding event log fit each... 
conformance checking | process mining | hadoop | mapreduce | big data
Journal Article
Software & Systems Modeling, ISSN 1619-1366, 8/2019, Volume 18, Issue 4, pp. 2531 - 2555
Journal Article
Business Process Management - 16th International Conference, BPM 2018, Proceedings, ISSN 1611-3349, 01/2018, Volume 11080, pp. 250 - 267
.... The field of conformance checking aims to quantify the extent to which the execution of a process, captured within recorded corresponding event data, conforms to a given reference process model... 
Behavioural patterns | Computer Science(all) | Online processing | Petri nets | Theoretical Computer Science | Unfoldings | Stream processing | Conformance checking | Mineria de dades | Informàtica | Informàtica teòrica | Petri, Xarxes de | Data mining | Àrees temàtiques de la UPC
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2017, Volume 10573, pp. 607 - 627
Conference Proceeding
Expert Systems With Applications, ISSN 0957-4174, 09/2014, Volume 41, Issue 11, pp. 5340 - 5352
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2016, Volume 9698, pp. 240 - 258
Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions... 
State-space explosion | Boolean formulae | Àlgebra booleana | Petri nets | Infinite state space | Current estimation | Boolean algebra | Conformance checking | Computation theory | Informàtica | Informàtica teòrica | Handling process | Process Modeling | Algebra, Boolean | Satisfiability | Àrees temàtiques de la UPC
Conference Proceeding
Information systems (Oxford), ISSN 0306-4379, 2014, Volume 46, pp. 102 - 122
.... This paper focuses on “conformance checking in the large” and presents a novel decomposition technique that partitions larger process models and event logs into smaller parts that can be... 
Process mining | Decomposition | Process diagnosis | Conformance checking | PETRI NETS | COMPUTER SCIENCE, INFORMATION SYSTEMS | State of the art | Monitors | Diagnostic systems | Logs | Internet | Data mining | Information systems | Mineria de dades | Informàtica | Àrees temàtiques de la UPC | Sistemes d'informació
Journal Article
JOURNAL OF THEORETICAL AND APPLIED ELECTRONIC COMMERCE RESEARCH, ISSN 0718-1876, 05/2020, Volume 15, Issue 2, pp. 93 - 121
Journal Article
IEEE Transactions on Software Engineering, ISSN 0098-5589, 03/2018, Volume 44, Issue 3, pp. 262 - 290
This article presents a method for checking the conformance between an event log capturing the actual execution of a business process, and a model capturing its expected or normative execution... 
Process mining | conformance checking | event structure | Computational modeling | Natural languages | Software systems | process model | event log | Synchronization | Data mining | Business | Context modeling | COMPUTER SCIENCE, SOFTWARE ENGINEERING | PROCESS MODELS | PRECISION | ENGINEERING, ELECTRICAL & ELECTRONIC
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2015, Volume 9447, pp. 3 - 18
Conference Proceeding
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2018, Volume 10795, pp. 111 - 122
Conference Proceeding
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.