Skip to search formSkip to main contentSkip to account menu

Process specification

Process specification is a generic term for the specification of a process. Its context is not unique to "business activity" but can be applied to… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Activity diagramIDEF0Lifecycle Modeling LanguageNassi–Shneiderman diagram

Broader (1)

Software development process

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Inter-organizational business process verification in public administration
Purpose – Public services can be modelled, analysed and implemented using notations and tools for the business process (BP… 
2013
2013
Toward A Knowledge Transfer Framework for Process Abstraction in Manufacturing Robotics
Robust methods for representing, generalizing, and sharing knowledge across dierent robotic systems and congurations are… 
2012
2012
A State Synchronization Mechanism for Orchestrated Processes
Two orchestrated processes interacting with each other have to maintain their own states. Messages are used to synchronize states… 
2011
2011
A Model-driven Approach to Social BPM Applications
2010
2010
Achieving Recovery in Service Composition with Assurance Points and Integration Rules - (Short Paper)
This paper defines the concept of Assurance Points (APs) together with the use of integration rules to provide a flexible way of… 
2007
2007
Obtaining Use Cases and Security Use Cases from Secure Business Process through the MDA Approach
The invention relates to novel [(5,6,9a-substituted-3-oxo-1,2,9,9a-tetrahydro-3H-fluoren-7-yl)-oxy]al kanoic and cycloalkanoic… 
2004
2004
Computer-Aided Systems Engineering Methodology Support and Its Effect on the Output of Structured Analysis
The information systems development literature indicates that there is no conclusive, empirical evidence that CASE improves the… 
1995
1995
Algebraic specification of dynamic leader election protocols in broadcast networks
The problem of leader election in distributed systems is considered. Components communicate by means of buffered broadcasting as… 
1993
1993
Mechanisms for generic process support
As more and more programming environments incorporate explicit process descriptions, generic process capabilities will become… 
1984
1984
Process Specification of Logic Programs
In this paper, we show that logic programs serve as a specification language for distributed processes. This is achieved by… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)