Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Process models, process programs, programming support
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Communications of the ACM
Systematic concurrent object-oriented programming
Communications of the ACM
Real-time object-oriented modeling
Real-time object-oriented modeling
Systems, models and measures
Towards a compositional interpretation of object diagrams
Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
Fork algebras in algebra, logic and computer science
Fundamenta Informaticae
Software Metrics: A Rigorous and Practical Approach
Software Metrics: A Rigorous and Practical Approach
Software Process Modelling and Technology
Software Process Modelling and Technology
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Proceedings of the Real-Time: Theory in Practice, REX Workshop
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
A Mathematical Toolbox for the Software Architec
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Specifying and Verifying Business Processes Using PPML
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Challenges in software certification
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
| Hi-index | 0.00 |
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction on the basis of the models, and i s based on principles of measurement theory, so as to enable the application of engineering and scientific principles to metricate the business processes. The language models products and processes as the constituents of business processes and uses a control construct, gates, to enable product and process composition. The semantics of the language is based on timed transition systems and processes can be specified using a combined temporal and modal logic with real-time operators. The language thus obtained i s also relevant to modelling threads of execution in object oriented systems and may lead to appropriate constructs for defining timed, concurrent, and synchronised computations over object oriented structures.