A Unifying Framework for Structured Analysis and Design by T. H. Tse

By T. H. Tse

Established methodologies are a favored and strong device in details structures improvement. many various ones exist, every one using a few versions and so a specification needs to be switched over from one shape to a different throughout the improvement method. to unravel this challenge, Dr. Tse proposes a unifying framework at the back of well known dependent versions. He methods the matter from the viewpoints of algebra and class conception. He not just develops the frameworks but in addition illustrates their sensible and theoretical usefulness. hence, this e-book will offer perception for software program engineers into how methodologies will be formalized, and should open up quite a number purposes and difficulties for theoretical laptop scientists.

Show description

Read or Download A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory PDF

Similar programming languages books

Attribute Grammars: Definitions, Systems and Bibliography

Characteristic Grammars have changed into probably the most primary formalisms of contemporary laptop technology. when you consider that 1968 while Knuth brought the fundamental options, they've been the topic of a truly great amount of literature, proving the significance of the world and the huge variety of its functions. the purpose of the booklet is to place on the disposal of researchers and scholars, but in addition of engineers drawn to functions, crucial definitions and effects identified up to now during this younger area.

ActionScript Developer's Guide to PureMVC

Achieve hands-on event with PureMVC, the preferred open resource framework for constructing maintainable purposes with a Model-View-Controller structure. during this concise advisor, PureMVC author Cliff corridor teaches the basics of PureMVC improvement by means of jogging you thru the development of an entire non-trivial Adobe AIR program.

Conquering Complexity

Software program has lengthy been perceived as advanced, at the very least inside software program Engineering circles. we've got been residing in a regarded country of drawback because the first NATO software program Engineering convention in 1968. again and again we have now been confirmed not able to engineer trustworthy software program as easily/cheaply as we imagined.

CodeIgniter for Rapid PHP Application Development: Improve your PHP coding productivity with the free compact open-source MVC CodeIgniter framework!

CodeIgniter (CI) is a robust open-source personal home page framework with a really small footprint, outfitted for Hypertext Preprocessor coders who want a uncomplicated and stylish toolkit to create full-featured net purposes. CodeIgniter is an MVC framework, related in many ways to the Rails framework for Ruby, and is designed to allow, no longer crush.

Extra resources for A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

Sample text

For example: (/) Commutative law holds for the operations seln and para: se\nE(u, v) = seln^O, u) para£(w, v) = para£(v, u) but it does not hold for the operation sequ. (//) Associative law holds for the operations sequ, seln and para when there is no intermediate process name: 44 Chapter 4 An Initial Algebra Framework sequE(u, v)), w) , sequ^v, ^ ^ ^ £ , v)), H>) = selnE(u, task^Cnull^, seln^v, w))) para^task^null^, para^O, v)), w) = para £ (w, task^null^, para^(v, w))) (///) Furthermore, if we create an error supersort for every sort in our signature, and specify conditional equations, then more complex behavioural rules can also be defined.

2 ALGEBRAS In studying the properties of systems of a complex nature, we often classify the objects under consideration into different types. For example, we may have object types like booleans and integers in computer science, or tasks and events in information systems. We are also interested in the operations which act on these objects and generate other objects. We want to provide an abstract notion of these object types, independent of the objects under study. The formal mechanism for defining these object types and operations is known as a signature (like the key signature in music).

Hence h is an isomorphism or, in order words, A is isomorphic to B. 6 Sample Term in Initial Algebra 48 Chapter 4 An Initial Algebra Framework We shall construct X as a union of X^ for all integers j > 0. We construct X^ by mathematical induction as follows: (a) For any sort s in S, we define X ' ' as the set containing all terms of the form " a " , where each a is a symbol in ZA . , j-l. ; tnY\ where a is a symbol in £ and each t is a term in X ^ such that max{/ } = 7 - 1 . We define x ' " r V 5 5 to be the family of all X^ u ; .

Download PDF sample

Rated 4.31 of 5 – based on 41 votes