Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,723,382 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.
2017
2017
Information Technology for Management. Ongoing Research and Development
Lecture Notes in Business Information Processing
2017
Corpus ID: 263873611
2012
2012
A State Synchronization Mechanism for Orchestrated Processes
Lei Wang
,
A. Wombacher
,
L. F. Pires
,
M. V. Sinderen
,
Chihung Chi
IEEE International Enterprise Distributed Object…
2012
Corpus ID: 10216296
Two orchestrated processes interacting with each other have to maintain their own states. Messages are used to synchronize states…
Expand
Review
2007
Review
2007
Specification , authoring and prototyping of personalised workplace 287 Maristella Matera
Peter Dolog
2007
Corpus ID: 269236464
The main goal of this document is to survey the existing approaches for the authoring and engineering of personalisation and…
Expand
2005
2005
Refinancing Mortgages in Switzerland
K. Frauendorfer
,
Michael Schürle
2005
Corpus ID: 53453258
This paper presents a multistage stochastic programming model for refinancing mortgages with non-contractual maturity under…
Expand
1995
1995
A Generic Framework for Inter-Cell Control of a Semiconductor Manufacturing Facility
N. Chaudhry
,
J. Moyne
,
Elke A. Rundensteiner
1995
Corpus ID: 14804395
Abstract: Whenever the fabrication process consists of several steps and the dynamic modification of individual steps or step…
Expand
1994
1994
Underlying concepts in process specification
J. Soares
Proceedings of IEEE International Conference on…
1994
Corpus ID: 12601365
Underlying concepts in process specification are discussed, such as function, functioning, ordering and conservation. The author…
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
1989
1989
ACTtau: A Universal Axiom System for Process Specification
J. Bergstra
,
J. Klop
Algebraic Methods
1989
Corpus ID: 39456682
Starting with Basic Process Algebra (BPA), an axiom system for alternative composition (+) and sequential composition (·) of…
Expand
1987
1987
A process specification of expert lawyer reasoning
Peter O’Neif
International Conference on Artificial…
1987
Corpus ID: 15989721
The ability to think like a lawyer is an often heard phrase but a vaguely understood phenomena. What is lawyer reasoning? Does it…
Expand