Title :
Requirements engineering for e-business systems: integrating Jackson problem diagrams with goal modeling and BPM
Author :
Bleistein, Steven J. ; Cox, Karl ; Verner, June
Author_Institution :
Sch. of Comput. Sci. & Eng., New South Wales Univ., Sydney, NSW, Australia
fDate :
30 Nov.-3 Dec. 2004
Abstract :
Jackson problem diagrams, goal modeling, and business process modeling (BPM) are employed in a requirements engineering approach that captures both business strategy and process requirements for e-business systems. As a means of linking abstract, high-level business requirements to low-level system requirements, we leverage the paradigm of projection in both problem diagrams and goal models simultaneously. We use Jackson context diagram to describe the business model domain context while goal modeling is used to represent both requirements and to describe the objectives of business strategy. Role activity diagrams are used to describe business processes in detail where needed. The feasibility of our approach is shown by a proof-of-concept case study.
Keywords :
electronic commerce; formal specification; formal verification; BPM; Jackson problem diagram; business process modeling; e-business system; goal modeling; requirements engineering; Australia; Computer science; Context modeling; IEEE services; Joining processes; Mood; Software design; Software engineering; Systems engineering and theory; Usability;
Conference_Titel :
Software Engineering Conference, 2004. 11th Asia-Pacific
Print_ISBN :
0-7695-2245-9
DOI :
10.1109/APSEC.2004.84