Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,292 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Activity diagram
IDEF0
Lifecycle Modeling Language
Nassi–Shneiderman diagram
Expand
Broader (1)
Software development process
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Similarity of business process models in a modular design
Maria Laura Sebu
,
H. Ciocarlie
International Symposium on Applied Computational…
2016
Corpus ID: 16536534
Using sub-processes in business process design enables flexibility, ensures a better understanding of the business scope and…
Expand
2013
2013
Toward A Knowledge Transfer Framework for Process Abstraction in Manufacturing Robotics
J. Huckaby
,
H. Christensen
2013
Corpus ID: 9433228
Robust methods for representing, generalizing, and sharing knowledge across dierent robotic systems and congurations are…
Expand
2011
2011
A Model-driven Approach to Social BPM Applications
P. Fraternali
,
Marco Brambilla
,
Carmen Vaca
2011
Corpus ID: 17132869
2010
2010
Achieving Recovery in Service Composition with Assurance Points and Integration Rules - (Short Paper)
S. Urban
,
Le Gao
,
Rajiv Shrestha
,
A. Courter
OTM Conferences
2010
Corpus ID: 11410752
This paper defines the concept of Assurance Points (APs) together with the use of integration rules to provide a flexible way of…
Expand
2007
2007
Loss Given Default Implied by Cross-sectional No Arbitrage ∗
J. Song
2007
Corpus ID: 12526323
I develop various frameworks for the separation of loss given default and default intensity present in securities with credit…
Expand
2004
2004
Computer-Aided Systems Engineering Methodology Support and Its Effect on the Output of Structured Analysis
D. Jankowski
Empirical Software Engineering
2004
Corpus ID: 13035696
The information systems development literature indicates that there is no conclusive, empirical evidence that CASE improves the…
Expand
1995
1995
Algebraic specification of dynamic leader election protocols in broadcast networks
J. Brunekreef
,
J. Katoen
,
R. Koymans
,
S. Mauw
1995
Corpus ID: 16586590
The problem of leader election in distributed systems is considered. Components communicate by means of buffered broadcasting as…
Expand
1993
1993
Mechanisms for generic process support
R. Balzer
,
K. Narayanaswamy
SIGSOFT '93
1993
Corpus ID: 18485534
As more and more programming environments incorporate explicit process descriptions, generic process capabilities will become…
Expand
1993
1993
A Formal Framework for ASTRAL Intra-Level Proof Obligations
A. Coen-Porisini
,
D. Mandrioli
European Software Engineering Conference
1993
Corpus ID: 9800642
A6stractASTRAL is a formal specification language for real-time systems. It is intended to support formal software development…
Expand
1984
1984
Process Specification of Logic Programs
R. Ramanujam
,
R. Shyamasundar
Foundations of Software Technology and…
1984
Corpus ID: 13118761
In this paper, we show that logic programs serve as a specification language for distributed processes. This is achieved by…
Expand
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)
ACCEPT & CONTINUE