NDLI: Performance and formal design: a process algebraic perspective

Content Provider	IEEE Xplore Digital Library
Author	Brinksma, E.
Copyright Year	1995
Description	Author affiliation: Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands (Brinksma, E.)
Abstract	So far, most research in the area of formal methods has been focussed on the development of theories, methods, and tools for the design and analysis of functional, or qualitative, aspects of information-processing systems. Performance analysis, on the other hand, has always been concerned with the quantitative analysis of such systems. As a result each community has been doing its research mostly independently of the other, although a number of formal models of system behaviour have made their way into the world of performance analysis. First of all, there is the now established field of stochastic Petri nets and its application to performance modelling. More recently, there is a growing interest in the application of process algebraic techniques to performance modelling, and a number of proposals for timed, probabilistic, and stochastic process algebras have been put forward. At the same time we observe that the once clear distinction between the functional and performance properties of systems is getting blurred. With the technological means and the economical drive in place to offer a host of high-performance services to end-users there is a clear need to treat the quantitative quality-of-service parameters as requirements in functional specifications. The rapidly growing importance and proliferation of such systems not only implies a conceptual merging of functionality and performance, but also calls for the integration of qualitative and quantitative aspects in their design and realization. In our presentation we analyse to what extent the use of process algebraic techniques can contribute to an increased collaboration between the performance analysis and formal methods communities. Ideally, such collaboration should not only lead to further progress in performance analysis, but also contribute to the incorporation of performance analysis in an integrated discipline of formal design. Some of the more specific topics that we address are: design by transformation; derivation of performance models; compositionality; liveness and fairness; and true concurrency.
Starting Page	124
Ending Page	125
File Size	157138
Page Count	2
File Format	PDF
ISBN	0818672102
ISSN	10636714
DOI	10.1109/PNPM.1995.524322
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1995-10-03
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Process design Performance analysis Stochastic processes Collaboration Information analysis Petri nets Proposals Algebra Quality of service Merging
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in