NDLI: An example of process description in HFSP

Please wait, while we are loading the content...

Review of the state-of-the-art (session summary)

Mechanisms (session summary)

Policies (session summary)

Data (session summary)

Control (session summary)

Emerging issues (session summary)

Tolerating inconsistency

Experiences with the spiral model as a process model generator

System dynamics models of software developments

Process programming and process models

Studying the process of software design teams

Process programming: a structured multi-paradigm approach could be achieved

Software process support through software configuration management

A structural framework for the formal representation of cooperation

The role of formalized domain-specific software frameworks

P4: a logic language for process programming

Software process instantiation and the planning paradigm

Modeling implications of the personal software process

Mechanisms for software process dynamics

Experience with Marvel

Experience with enactable software process models

Position paper for ISPW

The role of process models in software and systems development and evolution

A software process model based on unit workload network

Law-governed software processes

Product-based process models

A method for recording and analyzing design processes

Experiences with process programming

Acquiring experiences with executable process models

Software process dependability

Conceptual programming

Dynamics of process models in PML

Specification of software process measurement

Experiences with operational software process modeling in the system factory project

OPM: an object process modeling environment0

The software process as a goal-directed activity

Experiments with typing in process modeling

Domain understanding and the software process

An example of software development modelling

An example P4 process program for Rebus

GRAPPLE example: processes as plans

Marvel strategy language example

An example of process description in HFSP

Software process modeling example

An example of a software process model based on unit workload network

Example process program code, coded in Appl/A

Describing working environments in OPM

An overview of the ALF project

The Arcadia research project

ESF and software process modeling

Dynamics of process models in PML

Summary of software designer's associates project

An example of process description in HFSP

Content Provider	ACM Digital Library
Author	Katayama, Takuya Suzuki, Masato
Abstract	HFSP considers software activities, in the first approximation, as mathematical functions which map their input objects to output objects and define them though hierarchical functional definition. Activity A with input x1, …, xn and output y1, …, ym is denoted by A(x1, …, xn \| y1, …, ym). Execution of A is performed functionally and it does nothing other than computing y1, …, ym from x1, …, xn. We call x1, … xn, y1, … ym attributes of A. If the activity is complex and cannot be performed by simply invoking tools, we have to decompose it into subactivities. We continue this decomposition process until every activity resulted from decomposition becomes a primitive one which could be performed by invoking existing tools or performed by human mental activity such as thinking or decision making.Activity decomposition must specify how an activity, say A, is decomposed into subactivities A1, … Ak and what relationship E holds among attributes of the activities involved. It also has to specify the condition C when this decomposition can happen. A ⇏ A1, …, Ak when C where E. Figure 1 shows a HFSP description of a simplified version JSP process where every step can be completed successfully. It consists of type definition, object and tool definition and activity definition part. The activity definition part defines JSP process as a set of activity decompositions. It also specifies how attributes are bind to the values of objects in the objectbase and this is described in the with section using get and put. For the activities defined here, no decomposition condition is attached as every activity is decomposed uniquely.Explicit definitions for attributes are omitted in this example as we use the following convention: When an output attribute y of an activity Ai is given to another activity Aj as one of its input attribute x, we omit the attribute definition x = y. Instead, we put y for x in Aj. We also used the convention that the name of a type is used as the name of an attribute of the type. If there are several attributes of the same type, we distinguish them by attaching modifier of the form `.xxx` to the type, like in `dataTree.in` and `dataTree.out`.This process description is only valid for the case that we never make a mistake in performing activities and the specification given is simple enough. Redoing is introduced in HFSP to handle the cases when these conditions are not met[2,3]. Figure 2 is an example of a redoing decomposition applied to the case where (1) extracting data structure is mistaken in `MakeProgTree` step, (2) it is detected in `ComposeTree' and (3) `MakeProgTree` has to be redone. In Figure 3, redoing is used to cope with structure clash. `OrderCarsh` found in `ComposeTree` is handled by redoing `MakeProgTree`.
Starting Page	161
Ending Page	162
Page Count	2
File Format	PDF
ISBN	0818621044
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1990-10-01
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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