Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Model checking
Distributed and Parallel Databases
Simple on-the-fly automatic verification of linear temporal logic
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Automata-Based Verification of Temporal Properties on Running Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Conformance testing: measuring the fit and appropriateness of event logs and process models
BPM'05 Proceedings of the Third international conference on Business Process Management
A static compliance-checking framework for business process models
IBM Systems Journal
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Curricula Modeling and Checking
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Patterns of business rules to enable agile business processes
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Computational Logic in Multi-Agent Systems
Control and data dependencies in business processes based on semantic business activities
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Verification of Choreographies During Execution Using the Reactive Event Calculus
Web Services and Formal Methods
Agent programming with temporally extended goals
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Verifying Agents' Conformance with Multiparty Protocols
Computational Logic in Multi-Agent Systems
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
A Rule-Based Approach to Match Structural Patterns with Business Process Models
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Constraint-based workflow models: change made easy
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A coordination model for service-oriented interactions
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Extending model checking to data-aware temporal properties of web services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
Inducing declarative logic-based models from labeled traces
BPM'07 Proceedings of the 5th international conference on Business process management
Applying inductive logic programming to process mining
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Design and verification of instantiable compliance rule graphs in process-aware information systems
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Probabilistic declarative process mining
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Enacting declarative languages using LTL: avoiding errors and improving performance
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
On enabling data-aware compliance checking of business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
Collaborative coordination of activities with temporal dependencies
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
On lifecycle constraints of artifact-centric workflows
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Autonomous Agents and Multi-Agent Systems
Pattern-based modeling and formalizing of business process quality constraints
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
A modeling method and declarative language for temporal reasoning based on fluid qualities
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Compliance by design for artifact-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
An artifact-centric approach to dynamic modification of workflow execution
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Safe distribution of declarative processes
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
A formal model for service-oriented interactions
Science of Computer Programming
Representing and visualizing mined artful processes in mailofmine
USAB'11 Proceedings of the 7th conference on Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society: information Quality in e-Health
Computing degree of parallelism for BPMN processes
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Computer Science - Research and Development
Declarative modelling and safe distribution of healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Reasoning-based curriculum sequencing and validation: integration in a service-oriented architecture
EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale
Curriculum model checking: declarative representation and verification of properties
EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale
Declarative choreographies for artifacts
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Compliance by design for artifact-centric business processes
Information Systems
Data management perspectives on business process management: tutorial overview
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Enabling ad-hoc business process adaptations through event-driven task decoupling
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
International Journal of Web Services Research
Hi-index | 0.00 |
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions and proposing standards such as BPEL, while researchers have been advocating the use of formal methods such as Petri nets and π-calculus. The languages developed for service flows, i.e., process specification languages for web services, have adopted many concepts from classical workflow management systems. As a result, these languages are rather procedural and this does not fit well with the autonomous nature of services. Therefore, we propose DecSerFlow as a Declarative Service Flow Language. DecSerFlow can be used to specify, enact, and monitor service flows. The language is extendible (i.e., constructs can be added without changing the engine or semantical basis) and can be used to enforce or to check the conformance of service flows. Although the language has an appealing graphical representation, it is grounded in temporal logic.