liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
PARFORMAN - an Assertion Language for Specifying Behaviour when Debugging Parallel Applications
University of Latvia, Riga.
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.ORCID iD: 0000-0002-3435-4996
1993 (English)In: Parallel and Distributed Processing, 1993, IEEE , 1993, 150-157 p.Conference paper (Refereed)
Abstract [en]

PARFORMAN (PARallel FORMal ANnotation language) is a specification language for expressing the intended behaviour or known types of error conditions when debugging or testing parallel programs. The high-level debugging approach which is supported by PARFORMAN is model-based. Models of intended or faulty behaviour can be succinctly specified in PARFORMAN. These models are then compared with the actual behaviour in terms of execution traces of events, in order to localize possible bugs. PARFORMAN is based on an axiomatic model of target program behaviour. This model, called H-space (history-space), is formally defined through a set of general axioms about three basic relations between events. Events may be sequentially ordered, they may be parallel, or one of them might be included in another composite event. The notion of an event grammar is introduced to describe allowed event patterns over a certain application domain or language. Auxiliary composite events such as snapshots are introduced to be able to define the notion “occurred at the same time” at suitable levels of abstraction. In addition to debugging and testing, PARFORMAN can also be used to specify profiles and performance measurements

Place, publisher, year, edition, pages
IEEE , 1993. 150-157 p.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
URN: urn:nbn:se:liu:diva-110091DOI: 10.1109/EMPDP.1993.336408ISBN: 0-8186-3610-6OAI: diva2:742718
Euromicro Workshop on Parallel and Distributed Processing, Gran Canaria, Jan 27-29, 1993
Available from: 2014-09-02 Created: 2014-09-02 Last updated: 2014-10-01Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Fritzson, Peter
By organisation
PELAB - Programming Environment LaboratoryThe Institute of Technology
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 59 hits
ReferencesLink to record
Permanent link

Direct link