A logic-based calculus of events
New Generation Computing
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Cognitive dimensions of notations
Proceedings of the fifth conference of the British Computer Society, Human-Computer Interaction Specialist Group on People and computers V
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
A calculus of mobile processes, I
Information and Computation
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
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
The Complexity of Propositional Linear Temporal Logics in Simple Cases (Extended Abstract)
STACS '98 Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science
Model-Checking for Extended Timed Temporal Logics
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Modeling E -service Orchestration through Petri Nets
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
ALT '95 Proceedings of the 6th International Conference on Algorithmic Learning Theory
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
Automata-Based Verification of Temporal Properties on Running Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
A dynamic approach to characterizing termination of general logic programs
ACM Transactions on Computational Logic (TOCL)
Web Service Composition Languages: Old Wine in New Bottles?
EUROMICRO '03 Proceedings of the 29th Conference on EUROMICRO
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Cremona: an architecture and library for creation and monitoring of WS-agreents
Proceedings of the 2nd international conference on Service oriented computing
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Associating assertions with business processes and monitoring their execution
Proceedings of the 2nd international conference on Service oriented computing
Smart monitors for composed services
Proceedings of the 2nd international conference on Service oriented computing
Interoperability among independently evolving web services
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Consistency between Executable and Abstract Processes
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
WWW '05 Proceedings of the 14th international conference on World Wide Web
OWL-P: OWL for protocol and processes
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Process-aware information systems: bridging people and software through process technology
Process-aware information systems: bridging people and software through process technology
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
An abductive framework for a-priori verification of web services
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A parametric analysis of the state-explosion problem in model checking
Journal of Computer and System Sciences
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Business Process Adaptations via Protocols
SCC '06 Proceedings of the IEEE International Conference on Services Computing
DECLARE: Full Support for Loosely-Structured Processes
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Runtime monitoring of web service choreographies using streaming XML
Proceedings of the 2009 ACM symposium on Applied Computing
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Modeling and Model Checking Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
A top-down Petri net-based approach for dynamic workflow modeling
BPM'03 Proceedings of the 2003 international conference on Business process management
Efficient model checking of safety properties
SPIN'03 Proceedings of the 10th international conference on Model checking software
ProM 4.0: comprehensive support for real process analysis
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
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
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
A priori conformance verification for guaranteeing interoperability in open environments
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
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
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Mining workflow recovery from event based logs
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Let's dance: a language for service behavior modeling
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
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
Verifying the conformance of web services to global interaction protocols: a first step
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
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Execution semantics for service choreographies
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Security protocols verification in abductive logic programming: a case study
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Producing compliant interactions: conformance, coverage, and interoperability
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
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
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
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
A distributed framework for reliable and efficient service choreographies
Proceedings of the 20th international conference on World wide web
A declarative approach to enable flexible and dynamic service compositions
Proceedings of the 33rd International Conference on Software Engineering
Commitment-based protocols with behavioral rules and correctness properties of MAS
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Autonomous Agents and Multi-Agent Systems
NIÑOS take five: the management infrastructure for distributed event-driven workflows
Proceedings of the 5th ACM international conference on Distributed event-based system
An interaction-oriented agent framework for open environments
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Fuzzy conformance checking of observed behaviour with expectations
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Incorporating business logics into RFID-enabled applications
Information Processing and Management: an International Journal
Event condition expectation (ECE-) rules for monitoring observable systems
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Distributed process discovery and conformance checking
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
An operational decision support framework for monitoring business constraints
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Writing dynamic service orchestrations with DSOL
Proceedings of the 34th International Conference on Software Engineering
On profiles and footprints --- relational semantics for petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Where did i misbehave? diagnostic information in compliance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
OWL-DL domain-models as abstract workflows
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
A Computational Logic Application Framework for Service Discovery and Contracting
International Journal of Web Services Research
Reliable Web service selection in choreographed environments
Decision Support Systems
Towards data-aware constraints in declare
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Declarative modeling: an academic dream or the future for BPM?
BPM'13 Proceedings of the 11th international conference on Business Process Management
Monitoring business constraints with the event calculus
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
Engineering commitment-based business protocols with the 2CL methodology
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
Service-oriented computing, an emerging paradigm for architecting and implementing business collaborations within and across organizational boundaries, is currently of interest to both software vendors and scientists. While the technologies for implementing and interconnecting basic services are reaching a good level of maturity, modeling service interaction from a global viewpoint, that is, representing service choreographies, is still an open challenge. The main problem is that, although declarativeness has been identified as a key feature, several proposed approaches specify choreographies by focusing on procedural aspects, leading to over-constrained and over-specified models. To overcome these limits, we propose to adopt DecSerFlow, a truly declarative language, to model choreographies. Thanks to its declarative nature, DecSerFlow semantics can be given in terms of logic-based languages. In particular, we present how DecSerFlow can be mapped onto Linear Temporal Logic and onto Abductive Logic Programming. We show how the mappings onto both formalisms can be concretely exploited to address the enactment of DecSerFlow models, to enrich its expressiveness and to perform a variety of different verification tasks. We illustrate the advantages of using a declarative language in conjunction with logic-based semantics by applying our approach to a running example.