Application of the invoke facility service to restrict invocation of compound wireless mobile communication services
First Claim
1. A method to invoke or initiate the execution of a compound wireless mobile communication service, also known as an app or smartphone application or wireless mobile terminal application, by using a Boolean expression of events, which when a combination of events occur or do not occur result in a “
- True”
evaluation of the Boolean expression, the associated compound wireless mobile communication service will commence its execution, where the Boolean expression is contained within a service termed Invoke facility service;
such that the Invoke facility service was built as the first Component Service of the said compound wireless mobile communication service;
having the Boolean expression built with events interconnected by the logical connectives of “
And”
, “
Or”
, “
Not”
, “
If X, Then Y”
, “
And Then”
;
such that the negation operation “
Not”
establishes a contradictory event, meaning that an event and its contradictory event are both events, where if the event did not occur (is “
False”
), then its contradictory event did occur (is “
True”
) and conversely; and
such that “
And Then”
is a conjunctive connective, meaning it has the same logical operation as “
And”
;
whereas, “
And Then”
includes a sequential implication for testing the occurrence of events;
as illustrated in the partial Boolean expression “
PrecedingExpression And Then FollowingExpression”
, for which “
PrecedingExpression” and
“
FollowingExpression”
are logic expressions each containing one or more events, wherein the events within “
PrecedingExpression”
are tested for occurrences prior to testing occurrences of the events within “
FollowingExpression”
;
where both logic expressions contain events or their contradictory events that are observable when tested by the wireless mobile terminal.
0 Assignments
0 Petitions
Accused Products
Abstract
The principal purpose of this invention is to provide the mechanism for enhancing the safe use of a wireless mobile terminal (smartphone) in a moving vehicle. The Invoke facility service'"'"'s Boolean expression controls the conditions for which a smartphone app will be invoked into execution. Hence, smartphone apps, which create dangerous circumstances when executed in a moving vehicle, can be prevented from invocation. The total elimination of smartphone use in a moving vehicle is inadvisable. For example, an app that deploys an accelerometer to sense the impact of a vehicle'"'"'s serious collision and thereby calls “911” to transmit a recorded message that includes the vehicle'"'"'s GPS location should be allowed to execute when a vehicle is moving. This invention allows an app builder to select suitable invocation conditions for an app.
Significant and pertinent to the invention is the manner in which the Boolean logic operation “Not” is used. Whereas conventional apps are invoked by a positive assertion of an event; the use of the operation “Not” avails negative event assertions in the Boolean expression of an Invoke facility service. That is, the contradiction of an event is also an event; meaning that if an event is false, its contradictory event is true. Another important Boolean logic aspect of this invention is the conjunctive operation of “and then”. The “And Then” operation possesses the same functionality as the conjunctive operation of “And”, but “And Then” also possesses a sequential implication for determining the occurrence of events. The sequential implication provides an efficient means to evaluate the Boolean expressions of the Invoke facility service.
30 Citations
31 Claims
-
1. A method to invoke or initiate the execution of a compound wireless mobile communication service, also known as an app or smartphone application or wireless mobile terminal application, by using a Boolean expression of events, which when a combination of events occur or do not occur result in a “
- True”
evaluation of the Boolean expression, the associated compound wireless mobile communication service will commence its execution, where the Boolean expression is contained within a service termed Invoke facility service;
such that the Invoke facility service was built as the first Component Service of the said compound wireless mobile communication service;
having the Boolean expression built with events interconnected by the logical connectives of “
And”
, “
Or”
, “
Not”
, “
If X, Then Y”
, “
And Then”
;
such that the negation operation “
Not”
establishes a contradictory event, meaning that an event and its contradictory event are both events, where if the event did not occur (is “
False”
), then its contradictory event did occur (is “
True”
) and conversely; and
such that “
And Then”
is a conjunctive connective, meaning it has the same logical operation as “
And”
;
whereas, “
And Then”
includes a sequential implication for testing the occurrence of events;
as illustrated in the partial Boolean expression “
PrecedingExpression And Then FollowingExpression”
, for which “
PrecedingExpression” and
“
FollowingExpression”
are logic expressions each containing one or more events, wherein the events within “
PrecedingExpression”
are tested for occurrences prior to testing occurrences of the events within “
FollowingExpression”
;
where both logic expressions contain events or their contradictory events that are observable when tested by the wireless mobile terminal. - View Dependent Claims (2, 3, 4, 5, 6, 7, 13, 14, 15, 16, 20, 21, 22, 23, 26, 27, 28, 29, 30, 31)
- True”
-
8. The algorithm, termed the test path efficiency algorithm, to format a Boolean expression so that it implies an event test path tree with improved efficiency for processing event test paths by reducing the quantity of tested events and correctly determining the event test paths to evaluate a Boolean expression'"'"'s truth value;
- such that the algorithm is performed using switching algebra, permitted by a transformation between Boolean logic to and from switching algebra;
wherein the operator symbols of Boolean algebra of “
And Then”
or “
And”
are converted to and from the algebraic notation of“
*”
, named “
product” and
may have its notation omitted without confusion, and “
Or”
is converted to and from the algebraic notation of “
+”
, named “
sum”
;
also including variables transformed between their identifications by words to and from single letters, which may contain subscripts; and
having the operation of “
Not”
transformed to and from an apostrophe following a negated variable;
wherein the binary values “
True” and
“
False”
possess a transformation to and from “
1” and
“
0”
, respectively;
wherein the test path efficiency algorithm possesses the following steps;a) transform the Boolean expression into a switching function; b) apply the negation of the switching function to a minimization procedure to obtain a sum of products expression; c) apply De Morgan'"'"'s theorem to obtain the minimized product of sums form of the switching function, where the second negation operation, achieves the non-negated switching function; d) count each of the event variables appearances in the switching function; e) order the event variables positions in each sum according their number of appearances in the switching function, such that the number of appearances of the event variables increases to the left in each sum; f) order the sums positions in the product of sums function to have the sums containing the fewest event variables to the left; g) for those sums having the same number of event variables, use the counts of the event variables appearances in the switching function to establish a total count for the event variables appearing in each of these sums; h) order the sums having the same number of event variables in the switching function according the total counts for the event variables appearing in each sum, such that their count totals increase to the left, when the number of events within a sum are equal; i) transform the resultant switching function into the Boolean expression of the Invoke facility service, using “
And Then”
between the sums in the product of sums expression. - View Dependent Claims (9, 10, 11, 12)
- such that the algorithm is performed using switching algebra, permitted by a transformation between Boolean logic to and from switching algebra;
-
17. The algorithm, termed the polygon algorithm, to deploy an n-tuple of points, of the form ((x1, y1), (x2, y2), (x3, y3), . . . , (xn, yn)), that the Compound Wireless Services interactive graphical compiler will regard represents the boundary of the polygon;
- such that the subscripts of the pairs are indicative of the sequence of the presented points and imply the edges of the polygon between successive points, having the steps;
a) locate point (x1, y1); b) locate point (x2, y2); c) connect a straight line (i.e., edge) boundary between the preceding and succeeding points, where this step is done automatically by the Compound Wireless Services interactive graphical compiler; d) if the straight line boundary intersects another straight line, provide an error message to choose a different succeeding point, where this step is done automatically by the Compound Wireless Services interactive graphical compiler; e) repeat step b) through step d) until point (xn, yn) is located, for which repetition of step c) and step d) is done automatically by the Compound Wireless Services interactive graphical compiler; f) connect a straight line boundary between point (xn, yn) and (x1, y1), where this step is done automatically by the Compound Wireless Services interactive graphical compiler; g) if the straight line boundary intersects another straight line, provide an error message to choose a different succeeding point, where this step is done automatically by the Compound Wireless Services interactive graphical compiler; h) if no intersection exists, the polygon is completed. - View Dependent Claims (18, 19, 24, 25)
- such that the subscripts of the pairs are indicative of the sequence of the presented points and imply the edges of the polygon between successive points, having the steps;
Specification