Hello Scholars,
I am trying to make a common domain for input and output of a function. I divide this domain in input scheme and output scheme.
Input scheme contains a set of possible inputs of a function and output schemes contain a set of possible outputs of a function.
For example: function parameter, global variables, inFile pointer are members of input scheme and return variable, reference variable, outFile pointer are member of output scheme.
My question is what else can we add in this domain? These members can be dependent or independent.
Can i add i/o device in this domain?
If I understand the question correctly, the only way the i/o device could be part of the output scheme is if it is physically created during the function execution, otherwise it should be treated identically to inFile / outFile.
I would look at Ada and Modula-2 (if I remember correctly), as both would force you to declare whether the parameters to a function were in (read), out (write), or inout (updated). Additionally, side-effects of a function need to be understood. A function could a) return a value; b) modify a parameter; or c) update global value - or all three!
Thanks peter...
can some outputs be reused as inputs? -yes it can be.
A "reference" is a value in an address domain. There is an evaluation from addresses to values called dereferencing: S->A->D, I suppose. If A is part of I, is it also part of O?
--Reference is a part of both I and O.
I am not sure about global variable. Although global variables have side effects people are using it. So i cannot avoid it.
Domain can be defined as mapping between the elements of input and output scheme. where scheme means input/output element of a function.
Actually I am just building my concept here. So i appreciate your comment.
thanks again peter.
I describe function as mapping between input and output.
We can see a function as a variable, right?Because at the end it return a value.
I assume input is a set of elements which are flows INTO a function and output is a set of elements which are flows FROM a function.
F: I -> O
I = {P, Fp} ; P=parameter, Fip = in file pointer
O = {Rv, Rr, Fop} ; Rv = return variable, Rr = reference variable, Fop = out file pointer
What do exactly you mean by address??
Thank you peter...You have made some good point. I know i have some misconception. I am studying further to clear my concept..
Actually my current study on function abstraction and use it in testing purpose. This abstraction should contain the interacting information. So i am trying to create a mapping between input and output.
Anyways, i am looking through our discussion and come back again.
You might want to look at the IEC 61499 Standard for function blocks. There, the proper uses of inputs, outputs, state machines, and algorithms are clearly delineated. A good, newly updated introductory book to these concepts is "Modelling Control Systems Using IEC 61499" by Alois Zoitl and Robert Lewis, ISBN 978-1-84919-760-1 (hardback) and -8 (PDF).
- Badges
- Science topic
- Similar topics
- Computer Science and Engineering